Dave is blue. Dave is nice. Dave is quiet. Dave is rough. Gary is blue. Gary is green. Gary is nice. Gary is quiet. Gary is rough. Gary is young. Smart things are rough. If something is nice then it is green. All smart, green things are young. All rough, quiet things are green. Quiet things are blue. If something is quiet and green then it is smart. If something is young then it is quiet. Smart, nice things are green.
Dave is blue.
("Dave" "is" "blue" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is young.
("Gary" "is" "young" "+")
Smart things are rough.
((("something" "is" "smart" "+")) -> ("something" "is" "rough" "+"))
If something is nice then it is green.
((("something" "is" "nice" "+")) -> ("something" "is" "green" "+"))
All smart, green things are young.
((("something" "is" "smart" "+") ("something" "is" "green" "+")) -> ("something" "is" "young" "+"))
All rough, quiet things are green.
((("something" "is" "rough" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "green" "+"))
Quiet things are blue.
((("something" "is" "quiet" "+")) -> ("something" "is" "blue" "+"))
If something is quiet and green then it is smart.
((("something" "is" "quiet" "+") ("something" "is" "green" "+")) -> ("something" "is" "smart" "+"))
If something is young then it is quiet.
((("something" "is" "young" "+")) -> ("something" "is" "quiet" "+"))
Smart, nice things are green.
((("something" "is" "smart" "+") ("something" "is" "nice" "+")) -> ("something" "is" "green" "+"))
Gary is quiet.
True
1
proof
[(triple8 OR ((triple10) -> rule7))]
("Gary" "is" "quiet" "+")
triple8
((triple10) -> (rule7 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Dave is not rough.
False
1
inv-proof
[(triple4 OR ((((triple3 ((triple2) -> rule2)) -> rule6)) -> rule1))]
("Dave" "is" "rough" "-")
triple4
((((triple3 ((triple2) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Gary is smart.
True
3
proof
[(((triple8 triple6) -> rule6) OR ((triple8 ((triple7) -> rule2)) -> rule6) OR ((triple8 ((triple9 triple8) -> rule4)) -> rule6) OR ((((triple10) -> rule7) triple6) -> rule6) OR ((((triple10) -> rule7) ((triple7) -> rule2)) -> rule6) OR ((((triple10) -> rule7) ((triple9 triple8) -> rule4)) -> rule6) OR ((triple8 ((triple9 ((triple10) -> rule7)) -> rule4)) -> rule6) OR ((((triple10) -> rule7) ((triple9 ((triple10) -> rule7)) -> rule4)) -> rule6))]
("Gary" "is" "smart" "+")
((triple8 triple6) -> (rule6 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
((triple8 ((triple7) -> (rule2 % int2))) -> (rule6 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
((triple8 ((triple9 triple8) -> (rule4 % int2))) -> (rule6 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
((((triple10) -> (rule7 % int2)) triple6) -> (rule6 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
((((triple10) -> (rule7 % int3)) ((triple7) -> (rule2 % int2))) -> (rule6 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
((((triple10) -> (rule7 % int3)) ((triple9 triple8) -> (rule4 % int2))) -> (rule6 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
((triple8 ((triple9 ((triple10) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
((((triple10) -> (rule7 % int3)) ((triple9 ((triple10) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is not smart.
False
3
inv-proof
[(((triple8 triple6) -> rule6) OR ((triple8 ((triple7) -> rule2)) -> rule6) OR ((triple8 ((triple9 triple8) -> rule4)) -> rule6) OR ((((triple10) -> rule7) triple6) -> rule6) OR ((((triple10) -> rule7) ((triple7) -> rule2)) -> rule6) OR ((((triple10) -> rule7) ((triple9 triple8) -> rule4)) -> rule6) OR ((triple8 ((triple9 ((triple10) -> rule7)) -> rule4)) -> rule6) OR ((((triple10) -> rule7) ((triple9 ((triple10) -> rule7)) -> rule4)) -> rule6))]
("Gary" "is" "smart" "-")
((triple8 triple6) -> (rule6 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
((triple8 ((triple7) -> (rule2 % int2))) -> (rule6 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
((triple8 ((triple9 triple8) -> (rule4 % int2))) -> (rule6 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
((((triple10) -> (rule7 % int2)) triple6) -> (rule6 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
((((triple10) -> (rule7 % int3)) ((triple7) -> (rule2 % int2))) -> (rule6 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
((((triple10) -> (rule7 % int3)) ((triple9 triple8) -> (rule4 % int2))) -> (rule6 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
((triple8 ((triple9 ((triple10) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
((((triple10) -> (rule7 % int3)) ((triple9 ((triple10) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Dave is smart.
True
4
proof
[(((triple3 ((triple2) -> rule2)) -> rule6) OR ((triple3 ((triple4 triple3) -> rule4)) -> rule6))]
("Dave" "is" "smart" "+")
((triple3 ((triple2) -> (rule2 % int2))) -> (rule6 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
((triple3 ((triple4 triple3) -> (rule4 % int2))) -> (rule6 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is not smart.
False
4
inv-proof
[(((triple3 ((triple2) -> rule2)) -> rule6) OR ((triple3 ((triple4 triple3) -> rule4)) -> rule6))]
("Dave" "is" "smart" "-")
((triple3 ((triple2) -> (rule2 % int2))) -> (rule6 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
((triple3 ((triple4 triple3) -> (rule4 % int2))) -> (rule6 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is young.
True
7
proof
[(((((triple3 ((triple2) -> rule2)) -> rule6) ((triple2) -> rule2)) -> rule3) OR ((((triple3 ((triple2) -> rule2)) -> rule6) ((triple4 triple3) -> rule4)) -> rule3) OR ((((triple3 ((triple4 triple3) -> rule4)) -> rule6) ((triple2) -> rule2)) -> rule3) OR ((((triple3 ((triple4 triple3) -> rule4)) -> rule6) ((triple4 triple3) -> rule4)) -> rule3))]
("Dave" "is" "young" "+")
((((triple3 ((triple2) -> (rule2 % int3))) -> (rule6 % int2)) ((triple2) -> (rule2 % int3))) -> (rule3 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
((((triple3 ((triple2) -> (rule2 % int3))) -> (rule6 % int2)) ((triple4 triple3) -> (rule4 % int3))) -> (rule3 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
((((triple3 ((triple4 triple3) -> (rule4 % int3))) -> (rule6 % int2)) ((triple2) -> (rule2 % int3))) -> (rule3 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
((((triple3 ((triple4 triple3) -> (rule4 % int3))) -> (rule6 % int2)) ((triple4 triple3) -> (rule4 % int3))) -> (rule3 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is not young.
False
7
inv-proof
[(((((triple3 ((triple2) -> rule2)) -> rule6) ((triple2) -> rule2)) -> rule3) OR ((((triple3 ((triple2) -> rule2)) -> rule6) ((triple4 triple3) -> rule4)) -> rule3) OR ((((triple3 ((triple4 triple3) -> rule4)) -> rule6) ((triple2) -> rule2)) -> rule3) OR ((((triple3 ((triple4 triple3) -> rule4)) -> rule6) ((triple4 triple3) -> rule4)) -> rule3))]
("Dave" "is" "young" "-")
((((triple3 ((triple2) -> (rule2 % int3))) -> (rule6 % int2)) ((triple2) -> (rule2 % int3))) -> (rule3 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
((((triple3 ((triple2) -> (rule2 % int3))) -> (rule6 % int2)) ((triple4 triple3) -> (rule4 % int3))) -> (rule3 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
((((triple3 ((triple4 triple3) -> (rule4 % int3))) -> (rule6 % int2)) ((triple2) -> (rule2 % int3))) -> (rule3 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
((((triple3 ((triple4 triple3) -> (rule4 % int3))) -> (rule6 % int2)) ((triple4 triple3) -> (rule4 % int3))) -> (rule3 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
@0: Dave is blue.[(triple1 OR ((triple3) -> rule5))] Dave is nice.[(triple2)] Dave is quiet.[(triple3)] Dave is rough.[(triple4 OR ((((triple3 ((triple2) -> rule2)) -> rule6)) -> rule1))] Gary is blue.[(triple5 OR ((triple8) -> rule5) OR ((((triple10) -> rule7)) -> rule5))] Gary is green.[(triple6 OR ((triple7) -> rule2) OR ((triple9 triple8) -> rule4) OR ((triple9 ((triple10) -> rule7)) -> rule4))] Gary is nice.[(triple7)] Gary is quiet.[(triple8 OR ((triple10) -> rule7))] Gary is rough.[(triple9 OR ((((triple8 triple6) -> rule6)) -> rule1) OR ((((triple8 ((triple7) -> rule2)) -> rule6)) -> rule1) OR ((((((triple10) -> rule7) triple6) -> rule6)) -> rule1) OR ((((((triple10) -> rule7) ((triple7) -> rule2)) -> rule6)) -> rule1))] Gary is young.[(triple10 OR ((((triple8 triple6) -> rule6) triple6) -> rule3) OR ((((triple8 triple6) -> rule6) ((triple7) -> rule2)) -> rule3) OR ((((triple8 triple6) -> rule6) ((triple9 triple8) -> rule4)) -> rule3) OR ((((triple8 ((triple7) -> rule2)) -> rule6) triple6) -> rule3) OR ((((triple8 ((triple9 triple8) -> rule4)) -> rule6) triple6) -> rule3) OR ((((triple8 ((triple7) -> rule2)) -> rule6) ((triple7) -> rule2)) -> rule3) OR ((((triple8 ((triple7) -> rule2)) -> rule6) ((triple9 triple8) -> rule4)) -> rule3) OR ((((triple8 ((triple9 triple8) -> rule4)) -> rule6) ((triple7) -> rule2)) -> rule3) OR ((((triple8 ((triple9 triple8) -> rule4)) -> rule6) ((triple9 triple8) -> rule4)) -> rule3))] @1: Dave is green.[(((triple2) -> rule2) OR ((triple4 triple3) -> rule4))] Gary is smart.[(((triple8 triple6) -> rule6) OR ((triple8 ((triple7) -> rule2)) -> rule6) OR ((triple8 ((triple9 triple8) -> rule4)) -> rule6) OR ((((triple10) -> rule7) triple6) -> rule6) OR ((((triple10) -> rule7) ((triple7) -> rule2)) -> rule6) OR ((((triple10) -> rule7) ((triple9 triple8) -> rule4)) -> rule6) OR ((triple8 ((triple9 ((triple10) -> rule7)) -> rule4)) -> rule6) OR ((((triple10) -> rule7) ((triple9 ((triple10) -> rule7)) -> rule4)) -> rule6))] @2: Dave is smart.[(((triple3 ((triple2) -> rule2)) -> rule6) OR ((triple3 ((triple4 triple3) -> rule4)) -> rule6))] @3: Dave is young.[(((((triple3 ((triple2) -> rule2)) -> rule6) ((triple2) -> rule2)) -> rule3) OR ((((triple3 ((triple2) -> rule2)) -> rule6) ((triple4 triple3) -> rule4)) -> rule3) OR ((((triple3 ((triple4 triple3) -> rule4)) -> rule6) ((triple2) -> rule2)) -> rule3) OR ((((triple3 ((triple4 triple3) -> rule4)) -> rule6) ((triple4 triple3) -> rule4)) -> rule3))]
Dave is blue.
("Dave" "is" "blue" "+")
triple1
((triple3) -> (rule5 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
triple2
Dave is quiet.
("Dave" "is" "quiet" "+")
triple3
Dave is rough.
("Dave" "is" "rough" "+")
triple4
((((triple3 ((triple2) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
triple5
((triple8) -> (rule5 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
((((triple10) -> (rule7 % int2))) -> (rule5 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
triple6
((triple7) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
((triple9 triple8) -> (rule4 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
((triple9 ((triple10) -> (rule7 % int2))) -> (rule4 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
triple7
Gary is quiet.
("Gary" "is" "quiet" "+")
triple8
((triple10) -> (rule7 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
triple9
((((triple8 triple6) -> (rule6 % int2))) -> (rule1 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
((((triple8 ((triple7) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
((((((triple10) -> (rule7 % int3)) triple6) -> (rule6 % int2))) -> (rule1 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
((((((triple10) -> (rule7 % int4)) ((triple7) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
triple10
((((triple8 triple6) -> (rule6 % int2)) triple6) -> (rule3 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
((((triple8 triple6) -> (rule6 % int3)) ((triple7) -> (rule2 % int2))) -> (rule3 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
((((triple8 triple6) -> (rule6 % int3)) ((triple9 triple8) -> (rule4 % int2))) -> (rule3 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
((((triple8 ((triple7) -> (rule2 % int3))) -> (rule6 % int2)) triple6) -> (rule3 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
((((triple8 ((triple9 triple8) -> (rule4 % int3))) -> (rule6 % int2)) triple6) -> (rule3 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
((((triple8 ((triple7) -> (rule2 % int3))) -> (rule6 % int2)) ((triple7) -> (rule2 % int3))) -> (rule3 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
((((triple8 ((triple7) -> (rule2 % int3))) -> (rule6 % int2)) ((triple9 triple8) -> (rule4 % int3))) -> (rule3 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
((((triple8 ((triple9 triple8) -> (rule4 % int3))) -> (rule6 % int2)) ((triple7) -> (rule2 % int3))) -> (rule3 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
((((triple8 ((triple9 triple8) -> (rule4 % int3))) -> (rule6 % int2)) ((triple9 triple8) -> (rule4 % int3))) -> (rule3 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
((triple2) -> (rule2 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
((triple4 triple3) -> (rule4 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
((triple8 triple6) -> (rule6 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
((triple8 ((triple7) -> (rule2 % int2))) -> (rule6 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
((triple8 ((triple9 triple8) -> (rule4 % int2))) -> (rule6 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
((((triple10) -> (rule7 % int2)) triple6) -> (rule6 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
((((triple10) -> (rule7 % int3)) ((triple7) -> (rule2 % int2))) -> (rule6 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
((((triple10) -> (rule7 % int3)) ((triple9 triple8) -> (rule4 % int2))) -> (rule6 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
((triple8 ((triple9 ((triple10) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
((((triple10) -> (rule7 % int3)) ((triple9 ((triple10) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
((triple3 ((triple2) -> (rule2 % int2))) -> (rule6 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
((triple3 ((triple4 triple3) -> (rule4 % int2))) -> (rule6 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
((((triple3 ((triple2) -> (rule2 % int3))) -> (rule6 % int2)) ((triple2) -> (rule2 % int3))) -> (rule3 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
((((triple3 ((triple2) -> (rule2 % int3))) -> (rule6 % int2)) ((triple4 triple3) -> (rule4 % int3))) -> (rule3 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
((((triple3 ((triple4 triple3) -> (rule4 % int3))) -> (rule6 % int2)) ((triple2) -> (rule2 % int3))) -> (rule3 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
((((triple3 ((triple4 triple3) -> (rule4 % int3))) -> (rule6 % int2)) ((triple4 triple3) -> (rule4 % int3))) -> (rule3 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3