Charlie is green. Charlie is kind. Charlie is nice. Charlie is quiet. Charlie is red. Charlie is smart. Gary is green. Gary is kind. Gary is nice. Gary is red. Gary is rough. Gary is smart. If someone is quiet then they are rough. All quiet, smart people are green. All rough, nice people are red. Smart people are rough. Kind people are green. All rough, red people are quiet. If someone is red and smart then they are rough. All red people are quiet.
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is smart.
("Gary" "is" "smart" "+")
If someone is quiet then they are rough.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "rough" "+"))
All quiet, smart people are green.
((("someone" "is" "quiet" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "green" "+"))
All rough, nice people are red.
((("someone" "is" "rough" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "red" "+"))
Smart people are rough.
((("someone" "is" "smart" "+")) -> ("someone" "is" "rough" "+"))
Kind people are green.
((("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
All rough, red people are quiet.
((("someone" "is" "rough" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "quiet" "+"))
If someone is red and smart then they are rough.
((("someone" "is" "red" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "rough" "+"))
All red people are quiet.
((("someone" "is" "red" "+")) -> ("someone" "is" "quiet" "+"))
Charlie is red.
True
1
proof
[(triple5 OR ((((triple4) -> rule1) triple3) -> rule3) OR ((((triple6) -> rule4) triple3) -> rule3))]
("Charlie" "is" "red" "+")
triple5
((((triple4) -> (rule1 % int2)) triple3) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
((((triple6) -> (rule4 % int2)) triple3) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Gary is not smart.
False
1
inv-proof
[(triple12)]
("Gary" "is" "smart" "-")
triple12
Gary is quiet.
True
2
proof
[(((triple10) -> rule8) OR ((triple11 triple10) -> rule6) OR ((((triple11 triple9) -> rule3)) -> rule8) OR ((triple11 ((triple11 triple9) -> rule3)) -> rule6) OR ((((triple12) -> rule4) triple10) -> rule6) OR ((((triple10 triple12) -> rule7) triple10) -> rule6) OR ((((triple12) -> rule4) ((triple11 triple9) -> rule3)) -> rule6) OR ((((triple10 triple12) -> rule7) ((triple11 triple9) -> rule3)) -> rule6) OR ((((((triple12) -> rule4) triple9) -> rule3)) -> rule8) OR ((triple11 ((((triple12) -> rule4) triple9) -> rule3)) -> rule6) OR ((((triple12) -> rule4) ((((triple12) -> rule4) triple9) -> rule3)) -> rule6) OR ((((triple10 triple12) -> rule7) ((((triple12) -> rule4) triple9) -> rule3)) -> rule6))]
("Gary" "is" "quiet" "+")
((triple10) -> (rule8 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
((triple11 triple10) -> (rule6 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
((((triple11 triple9) -> (rule3 % int2))) -> (rule8 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
((triple11 ((triple11 triple9) -> (rule3 % int2))) -> (rule6 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
((((triple12) -> (rule4 % int2)) triple10) -> (rule6 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
((((triple10 triple12) -> (rule7 % int2)) triple10) -> (rule6 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
((((triple12) -> (rule4 % int3)) ((triple11 triple9) -> (rule3 % int2))) -> (rule6 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
((((triple10 triple12) -> (rule7 % int3)) ((triple11 triple9) -> (rule3 % int2))) -> (rule6 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
((((((triple12) -> (rule4 % int3)) triple9) -> (rule3 % int2))) -> (rule8 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
((triple11 ((((triple12) -> (rule4 % int3)) triple9) -> (rule3 % int2))) -> (rule6 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
((((triple12) -> (rule4 % int3)) ((((triple12) -> (rule4 % int3)) triple9) -> (rule3 % int2))) -> (rule6 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
((((triple10 triple12) -> (rule7 % int3)) ((((triple12) -> (rule4 % int3)) triple9) -> (rule3 % int2))) -> (rule6 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Charlie is not rough.
False
2
inv-proof
[(((triple4) -> rule1) OR ((triple6) -> rule4) OR ((triple5 triple6) -> rule7) OR ((((triple5) -> rule8)) -> rule1))]
("Charlie" "is" "rough" "-")
((triple4) -> (rule1 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
((triple6) -> (rule4 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
((triple5 triple6) -> (rule7 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
((((triple5) -> (rule8 % int2))) -> (rule1 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
@0: Charlie is green.[(triple1 OR ((triple2) -> rule5) OR ((triple4 triple6) -> rule2) OR ((((triple5) -> rule8) triple6) -> rule2) OR ((((((triple6) -> rule4) triple5) -> rule6) triple6) -> rule2) OR ((((((triple5 triple6) -> rule7) triple5) -> rule6) triple6) -> rule2) OR ((((((((triple6) -> rule4) triple3) -> rule3)) -> rule8) triple6) -> rule2) OR ((((((triple6) -> rule4) ((((triple6) -> rule4) triple3) -> rule3)) -> rule6) triple6) -> rule2) OR ((((((triple5 triple6) -> rule7) ((((triple6) -> rule4) triple3) -> rule3)) -> rule6) triple6) -> rule2))] Charlie is kind.[(triple2)] Charlie is nice.[(triple3)] Charlie is quiet.[(triple4 OR ((triple5) -> rule8) OR ((((triple6) -> rule4) triple5) -> rule6) OR ((((triple5 triple6) -> rule7) triple5) -> rule6) OR ((((((triple6) -> rule4) triple3) -> rule3)) -> rule8) OR ((((triple6) -> rule4) ((((triple6) -> rule4) triple3) -> rule3)) -> rule6) OR ((((triple5 triple6) -> rule7) ((((triple6) -> rule4) triple3) -> rule3)) -> rule6))] Charlie is red.[(triple5 OR ((((triple4) -> rule1) triple3) -> rule3) OR ((((triple6) -> rule4) triple3) -> rule3))] Charlie is smart.[(triple6)] Gary is green.[(triple7 OR ((triple8) -> rule5) OR ((((triple10) -> rule8) triple12) -> rule2) OR ((((triple11 triple10) -> rule6) triple12) -> rule2) OR ((((((triple11 triple9) -> rule3)) -> rule8) triple12) -> rule2) OR ((((triple11 ((triple11 triple9) -> rule3)) -> rule6) triple12) -> rule2) OR ((((((triple12) -> rule4) triple10) -> rule6) triple12) -> rule2) OR ((((((triple10 triple12) -> rule7) triple10) -> rule6) triple12) -> rule2) OR ((((((triple12) -> rule4) ((triple11 triple9) -> rule3)) -> rule6) triple12) -> rule2) OR ((((((triple10 triple12) -> rule7) ((triple11 triple9) -> rule3)) -> rule6) triple12) -> rule2) OR ((((((((triple12) -> rule4) triple9) -> rule3)) -> rule8) triple12) -> rule2) OR ((((triple11 ((((triple12) -> rule4) triple9) -> rule3)) -> rule6) triple12) -> rule2) OR ((((((triple12) -> rule4) ((((triple12) -> rule4) triple9) -> rule3)) -> rule6) triple12) -> rule2) OR ((((((triple10 triple12) -> rule7) ((((triple12) -> rule4) triple9) -> rule3)) -> rule6) triple12) -> rule2))] Gary is kind.[(triple8)] Gary is nice.[(triple9)] Gary is red.[(triple10 OR ((triple11 triple9) -> rule3) OR ((((triple12) -> rule4) triple9) -> rule3))] Gary is rough.[(triple11 OR ((triple12) -> rule4) OR ((triple10 triple12) -> rule7) OR ((((triple10) -> rule8)) -> rule1))] Gary is smart.[(triple12)] @1: Charlie is rough.[(((triple4) -> rule1) OR ((triple6) -> rule4) OR ((triple5 triple6) -> rule7) OR ((((triple5) -> rule8)) -> rule1))] Gary is quiet.[(((triple10) -> rule8) OR ((triple11 triple10) -> rule6) OR ((((triple11 triple9) -> rule3)) -> rule8) OR ((triple11 ((triple11 triple9) -> rule3)) -> rule6) OR ((((triple12) -> rule4) triple10) -> rule6) OR ((((triple10 triple12) -> rule7) triple10) -> rule6) OR ((((triple12) -> rule4) ((triple11 triple9) -> rule3)) -> rule6) OR ((((triple10 triple12) -> rule7) ((triple11 triple9) -> rule3)) -> rule6) OR ((((((triple12) -> rule4) triple9) -> rule3)) -> rule8) OR ((triple11 ((((triple12) -> rule4) triple9) -> rule3)) -> rule6) OR ((((triple12) -> rule4) ((((triple12) -> rule4) triple9) -> rule3)) -> rule6) OR ((((triple10 triple12) -> rule7) ((((triple12) -> rule4) triple9) -> rule3)) -> rule6))]
Charlie is green.
("Charlie" "is" "green" "+")
triple1
((triple2) -> (rule5 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
((triple4 triple6) -> (rule2 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
((((triple5) -> (rule8 % int2)) triple6) -> (rule2 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
((((((triple6) -> (rule4 % int3)) triple5) -> (rule6 % int2)) triple6) -> (rule2 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
((((((triple5 triple6) -> (rule7 % int3)) triple5) -> (rule6 % int2)) triple6) -> (rule2 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
((((((((triple6) -> (rule4 % int4)) triple3) -> (rule3 % int3))) -> (rule8 % int2)) triple6) -> (rule2 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
((((((triple6) -> (rule4 % int4)) ((((triple6) -> (rule4 % int4)) triple3) -> (rule3 % int3))) -> (rule6 % int2)) triple6) -> (rule2 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
((((((triple5 triple6) -> (rule7 % int4)) ((((triple6) -> (rule4 % int4)) triple3) -> (rule3 % int3))) -> (rule6 % int2)) triple6) -> (rule2 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
triple2
Charlie is nice.
("Charlie" "is" "nice" "+")
triple3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple4
((triple5) -> (rule8 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
((((triple6) -> (rule4 % int2)) triple5) -> (rule6 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
((((triple5 triple6) -> (rule7 % int2)) triple5) -> (rule6 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
((((((triple6) -> (rule4 % int3)) triple3) -> (rule3 % int2))) -> (rule8 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
((((triple6) -> (rule4 % int3)) ((((triple6) -> (rule4 % int3)) triple3) -> (rule3 % int2))) -> (rule6 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
((((triple5 triple6) -> (rule7 % int3)) ((((triple6) -> (rule4 % int3)) triple3) -> (rule3 % int2))) -> (rule6 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
triple5
((((triple4) -> (rule1 % int2)) triple3) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
((((triple6) -> (rule4 % int2)) triple3) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
triple6
Gary is green.
("Gary" "is" "green" "+")
triple7
((triple8) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
((((triple10) -> (rule8 % int2)) triple12) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
((((triple11 triple10) -> (rule6 % int2)) triple12) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
((((((triple11 triple9) -> (rule3 % int3))) -> (rule8 % int2)) triple12) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
((((triple11 ((triple11 triple9) -> (rule3 % int3))) -> (rule6 % int2)) triple12) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
((((((triple12) -> (rule4 % int3)) triple10) -> (rule6 % int2)) triple12) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
((((((triple10 triple12) -> (rule7 % int3)) triple10) -> (rule6 % int2)) triple12) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
((((((triple12) -> (rule4 % int4)) ((triple11 triple9) -> (rule3 % int3))) -> (rule6 % int2)) triple12) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
((((((triple10 triple12) -> (rule7 % int4)) ((triple11 triple9) -> (rule3 % int3))) -> (rule6 % int2)) triple12) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
((((((((triple12) -> (rule4 % int4)) triple9) -> (rule3 % int3))) -> (rule8 % int2)) triple12) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
((((triple11 ((((triple12) -> (rule4 % int4)) triple9) -> (rule3 % int3))) -> (rule6 % int2)) triple12) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
((((((triple12) -> (rule4 % int4)) ((((triple12) -> (rule4 % int4)) triple9) -> (rule3 % int3))) -> (rule6 % int2)) triple12) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
((((((triple10 triple12) -> (rule7 % int4)) ((((triple12) -> (rule4 % int4)) triple9) -> (rule3 % int3))) -> (rule6 % int2)) triple12) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is kind.
("Gary" "is" "kind" "+")
triple8
Gary is nice.
("Gary" "is" "nice" "+")
triple9
Gary is red.
("Gary" "is" "red" "+")
triple10
((triple11 triple9) -> (rule3 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
((((triple12) -> (rule4 % int2)) triple9) -> (rule3 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
triple11
((triple12) -> (rule4 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
((triple10 triple12) -> (rule7 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
((((triple10) -> (rule8 % int2))) -> (rule1 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
triple12
Charlie is rough.
("Charlie" "is" "rough" "+")
((triple4) -> (rule1 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
((triple6) -> (rule4 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
((triple5 triple6) -> (rule7 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
((((triple5) -> (rule8 % int2))) -> (rule1 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
((triple10) -> (rule8 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
((triple11 triple10) -> (rule6 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
((((triple11 triple9) -> (rule3 % int2))) -> (rule8 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
((triple11 ((triple11 triple9) -> (rule3 % int2))) -> (rule6 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
((((triple12) -> (rule4 % int2)) triple10) -> (rule6 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
((((triple10 triple12) -> (rule7 % int2)) triple10) -> (rule6 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
((((triple12) -> (rule4 % int3)) ((triple11 triple9) -> (rule3 % int2))) -> (rule6 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
((((triple10 triple12) -> (rule7 % int3)) ((triple11 triple9) -> (rule3 % int2))) -> (rule6 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
((((((triple12) -> (rule4 % int3)) triple9) -> (rule3 % int2))) -> (rule8 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
((triple11 ((((triple12) -> (rule4 % int3)) triple9) -> (rule3 % int2))) -> (rule6 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
((((triple12) -> (rule4 % int3)) ((((triple12) -> (rule4 % int3)) triple9) -> (rule3 % int2))) -> (rule6 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
((((triple10 triple12) -> (rule7 % int3)) ((((triple12) -> (rule4 % int3)) triple9) -> (rule3 % int2))) -> (rule6 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3