-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathgraph.dot
70 lines (70 loc) · 2.27 KB
/
graph.dot
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
digraph G{
rankdir=LR;
node0[label="0:Murder(C,A)|Murder(B,A)|Murder(A,A)",color=red];
node1[label="1:Hate(x,A)|!Murder(x,A)",color=red];
node2[label="2:!Hate(C,x)|!Hate(A,x)",color=red];
node3[label="3:Hate(A,A)",color=red];
node4[label="4:Hate(A,C)",color=red];
node5[label="5:Richer(x,A)|Hate(B,x)",color=red];
node6[label="6:!Richer(x,A)|!Hate(B,x)"];
node7[label="7:Hate(A,x)|!Hate(B,x)"];
node8[label="8:!Hate(A,x)|Hate(B,x)",color=red];
node9[label="9:!Hate(A,A)|!Hate(A,B)|!Hate(A,C)"];
node10[label="10:!Hate(B,A)|!Hate(B,B)|!Hate(B,C)",color=red];
node11[label="11:!Hate(C,A)|!Hate(C,B)|!Hate(C,C)"];
node12[label="12:!Richer(x,A)|!Murder(x,A)",color=red];
node13[label="13:!Hate(C,A)",color=red];
node3 -> node13[color=red];
node2 -> node13[color=red];
node14[label="14:Hate(B,A)",color=red];
node3 -> node14[color=red];
node8 -> node14[color=red];
node15[label="15:!Hate(A,B)|!Hate(A,C)"];
node3 -> node15;
node9 -> node15;
node16[label="16:!Hate(C,C)"];
node4 -> node16;
node2 -> node16;
node17[label="17:Hate(B,C)",color=red];
node4 -> node17[color=red];
node8 -> node17[color=red];
node18[label="18:!Hate(A,A)|!Hate(A,B)"];
node4 -> node18;
node9 -> node18;
node19[label="19:!Hate(A,B)"];
node4 -> node19;
node15 -> node19;
node20[label="20:!Murder(C,A)",color=red];
node13 -> node20[color=red];
node1 -> node20[color=red];
node21[label="21:!Richer(A,A)"];
node14 -> node21;
node6 -> node21;
node22[label="22:!Hate(B,B)|!Hate(B,C)",color=red];
node14 -> node22[color=red];
node10 -> node22[color=red];
node23[label="23:!Richer(C,A)"];
node17 -> node23;
node6 -> node23;
node24[label="24:!Hate(B,A)|!Hate(B,B)"];
node17 -> node24;
node10 -> node24;
node25[label="25:!Hate(B,B)",color=red];
node17 -> node25[color=red];
node22 -> node25[color=red];
node26[label="26:Murder(B,A)|Murder(A,A)",color=red];
node20 -> node26[color=red];
node0 -> node26[color=red];
node27[label="27:Richer(B,A)",color=red];
node25 -> node27[color=red];
node5 -> node27[color=red];
node28[label="28:!Murder(B,A)",color=red];
node27 -> node28[color=red];
node12 -> node28[color=red];
node29[label="29:Murder(C,A)|Murder(A,A)"];
node28 -> node29;
node0 -> node29;
node30[label="30:Murder(A,A)",color=red];
node28 -> node30[color=red];
node26 -> node30[color=red];
}