Dave is big. Dave is quiet. Dave is red. Dave is rough. Dave is round. Dave is smart. Gary is big. Gary is nice. Gary is quiet. Gary is red. Gary is rough. Gary is round. Gary is smart. Harry is nice. Harry is quiet. Harry is rough. If something is rough then it is smart. All big things are rough. Rough, smart things are round. All round things are red. All rough, round things are quiet. Quiet things are big.
Dave is big.
("Dave" "is" "big" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is rough.
("Harry" "is" "rough" "+")
If something is rough then it is smart.
((("something" "is" "rough" "+")) -> ("something" "is" "smart" "+"))
All big things are rough.
((("something" "is" "big" "+")) -> ("something" "is" "rough" "+"))
Rough, smart things are round.
((("something" "is" "rough" "+") ("something" "is" "smart" "+")) -> ("something" "is" "round" "+"))
All round things are red.
((("something" "is" "round" "+")) -> ("something" "is" "red" "+"))
All rough, round things are quiet.
((("something" "is" "rough" "+") ("something" "is" "round" "+")) -> ("something" "is" "quiet" "+"))
Quiet things are big.
((("something" "is" "quiet" "+")) -> ("something" "is" "big" "+"))
Dave is big.
True
1
proof
[(triple1 OR ((triple2) -> rule6) OR ((((triple4 triple5) -> rule5)) -> rule6) OR ((((triple4 ((triple4 triple6) -> rule3)) -> rule5)) -> rule6) OR ((((triple4 ((triple4 ((triple4) -> rule1)) -> rule3)) -> rule5)) -> rule6))]
("Dave" "is" "big" "+")
triple1
((triple2) -> (rule6 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
((((triple4 triple5) -> (rule5 % int2))) -> (rule6 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
((((triple4 ((triple4 triple6) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
((((triple4 ((triple4 ((triple4) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
Harry is not quiet.
False
1
inv-proof
[(triple15 OR ((triple16 ((triple16 ((triple16) -> rule1)) -> rule3)) -> rule5))]
("Harry" "is" "quiet" "-")
triple15
((triple16 ((triple16 ((triple16) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is big.
True
2
proof
[(((triple15) -> rule6) OR ((((triple16 ((triple16 ((triple16) -> rule1)) -> rule3)) -> rule5)) -> rule6))]
("Harry" "is" "big" "+")
((triple15) -> (rule6 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
((((triple16 ((triple16 ((triple16) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
Harry is not big.
False
2
inv-proof
[(((triple15) -> rule6) OR ((((triple16 ((triple16 ((triple16) -> rule1)) -> rule3)) -> rule5)) -> rule6))]
("Harry" "is" "big" "-")
((triple15) -> (rule6 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
((((triple16 ((triple16 ((triple16) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
Harry is round.
True
4
proof
[(((triple16 ((triple16) -> rule1)) -> rule3) OR ((((((triple15) -> rule6)) -> rule2) ((triple16) -> rule1)) -> rule3) OR ((triple16 ((((((triple15) -> rule6)) -> rule2)) -> rule1)) -> rule3) OR ((((((triple15) -> rule6)) -> rule2) ((((((triple15) -> rule6)) -> rule2)) -> rule1)) -> rule3))]
("Harry" "is" "round" "+")
((triple16 ((triple16) -> (rule1 % int2))) -> (rule3 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
((((((triple15) -> (rule6 % int4))) -> (rule2 % int3)) ((triple16) -> (rule1 % int2))) -> (rule3 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
((triple16 ((((((triple15) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
((((((triple15) -> (rule6 % int4))) -> (rule2 % int3)) ((((((triple15) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is not round.
False
4
inv-proof
[(((triple16 ((triple16) -> rule1)) -> rule3) OR ((((((triple15) -> rule6)) -> rule2) ((triple16) -> rule1)) -> rule3) OR ((triple16 ((((((triple15) -> rule6)) -> rule2)) -> rule1)) -> rule3) OR ((((((triple15) -> rule6)) -> rule2) ((((((triple15) -> rule6)) -> rule2)) -> rule1)) -> rule3))]
("Harry" "is" "round" "-")
((triple16 ((triple16) -> (rule1 % int2))) -> (rule3 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
((((((triple15) -> (rule6 % int4))) -> (rule2 % int3)) ((triple16) -> (rule1 % int2))) -> (rule3 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
((triple16 ((((((triple15) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
((((((triple15) -> (rule6 % int4))) -> (rule2 % int3)) ((((((triple15) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is red.
True
5
proof
[(((((triple16 ((triple16) -> rule1)) -> rule3)) -> rule4) OR ((((((((triple15) -> rule6)) -> rule2) ((triple16) -> rule1)) -> rule3)) -> rule4) OR ((((triple16 ((((((triple15) -> rule6)) -> rule2)) -> rule1)) -> rule3)) -> rule4) OR ((((((((triple15) -> rule6)) -> rule2) ((((((triple15) -> rule6)) -> rule2)) -> rule1)) -> rule3)) -> rule4))]
("Harry" "is" "red" "+")
((((triple16 ((triple16) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
((((((((triple15) -> (rule6 % int5))) -> (rule2 % int4)) ((triple16) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
((((triple16 ((((((triple15) -> (rule6 % int5))) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
((((((((triple15) -> (rule6 % int5))) -> (rule2 % int4)) ((((((triple15) -> (rule6 % int5))) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
Harry is not red.
False
5
inv-proof
[(((((triple16 ((triple16) -> rule1)) -> rule3)) -> rule4) OR ((((((((triple15) -> rule6)) -> rule2) ((triple16) -> rule1)) -> rule3)) -> rule4) OR ((((triple16 ((((((triple15) -> rule6)) -> rule2)) -> rule1)) -> rule3)) -> rule4) OR ((((((((triple15) -> rule6)) -> rule2) ((((((triple15) -> rule6)) -> rule2)) -> rule1)) -> rule3)) -> rule4))]
("Harry" "is" "red" "-")
((((triple16 ((triple16) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
((((((((triple15) -> (rule6 % int5))) -> (rule2 % int4)) ((triple16) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
((((triple16 ((((((triple15) -> (rule6 % int5))) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
((((((((triple15) -> (rule6 % int5))) -> (rule2 % int4)) ((((((triple15) -> (rule6 % int5))) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
@0: Dave is big.[(triple1 OR ((triple2) -> rule6) OR ((((triple4 triple5) -> rule5)) -> rule6) OR ((((triple4 ((triple4 triple6) -> rule3)) -> rule5)) -> rule6) OR ((((triple4 ((triple4 ((triple4) -> rule1)) -> rule3)) -> rule5)) -> rule6))] Dave is quiet.[(triple2 OR ((triple4 triple5) -> rule5) OR ((triple4 ((triple4 triple6) -> rule3)) -> rule5) OR ((((triple1) -> rule2) triple5) -> rule5) OR ((((triple1) -> rule2) ((triple4 triple6) -> rule3)) -> rule5) OR ((triple4 ((triple4 ((triple4) -> rule1)) -> rule3)) -> rule5) OR ((triple4 ((((triple1) -> rule2) triple6) -> rule3)) -> rule5) OR ((triple4 ((((triple1) -> rule2) ((triple4) -> rule1)) -> rule3)) -> rule5) OR ((((triple1) -> rule2) ((triple4 ((triple4) -> rule1)) -> rule3)) -> rule5) OR ((((triple1) -> rule2) ((((triple1) -> rule2) triple6) -> rule3)) -> rule5) OR ((((triple1) -> rule2) ((((triple1) -> rule2) ((triple4) -> rule1)) -> rule3)) -> rule5) OR ((triple4 ((triple4 ((((triple1) -> rule2)) -> rule1)) -> rule3)) -> rule5) OR ((triple4 ((((triple1) -> rule2) ((((triple1) -> rule2)) -> rule1)) -> rule3)) -> rule5) OR ((((triple1) -> rule2) ((triple4 ((((triple1) -> rule2)) -> rule1)) -> rule3)) -> rule5) OR ((((triple1) -> rule2) ((((triple1) -> rule2) ((((triple1) -> rule2)) -> rule1)) -> rule3)) -> rule5))] Dave is red.[(triple3 OR ((triple5) -> rule4) OR ((((triple4 triple6) -> rule3)) -> rule4) OR ((((triple4 ((triple4) -> rule1)) -> rule3)) -> rule4) OR ((((((triple1) -> rule2) triple6) -> rule3)) -> rule4) OR ((((((triple1) -> rule2) ((triple4) -> rule1)) -> rule3)) -> rule4) OR ((((triple4 ((((triple1) -> rule2)) -> rule1)) -> rule3)) -> rule4) OR ((((((((triple2) -> rule6)) -> rule2) triple6) -> rule3)) -> rule4) OR ((((((triple1) -> rule2) ((((triple1) -> rule2)) -> rule1)) -> rule3)) -> rule4) OR ((((((((triple2) -> rule6)) -> rule2) ((triple4) -> rule1)) -> rule3)) -> rule4) OR ((((((((triple2) -> rule6)) -> rule2) ((((triple1) -> rule2)) -> rule1)) -> rule3)) -> rule4) OR ((((triple4 ((((((triple2) -> rule6)) -> rule2)) -> rule1)) -> rule3)) -> rule4) OR ((((((triple1) -> rule2) ((((((triple2) -> rule6)) -> rule2)) -> rule1)) -> rule3)) -> rule4) OR ((((((((triple2) -> rule6)) -> rule2) ((((((triple2) -> rule6)) -> rule2)) -> rule1)) -> rule3)) -> rule4))] Dave is rough.[(triple4 OR ((triple1) -> rule2) OR ((((triple2) -> rule6)) -> rule2))] Dave is round.[(triple5 OR ((triple4 triple6) -> rule3) OR ((triple4 ((triple4) -> rule1)) -> rule3) OR ((((triple1) -> rule2) triple6) -> rule3) OR ((((triple1) -> rule2) ((triple4) -> rule1)) -> rule3) OR ((triple4 ((((triple1) -> rule2)) -> rule1)) -> rule3) OR ((((((triple2) -> rule6)) -> rule2) triple6) -> rule3) OR ((((triple1) -> rule2) ((((triple1) -> rule2)) -> rule1)) -> rule3) OR ((((((triple2) -> rule6)) -> rule2) ((triple4) -> rule1)) -> rule3) OR ((((((triple2) -> rule6)) -> rule2) ((((triple1) -> rule2)) -> rule1)) -> rule3) OR ((triple4 ((((((triple2) -> rule6)) -> rule2)) -> rule1)) -> rule3) OR ((((triple1) -> rule2) ((((((triple2) -> rule6)) -> rule2)) -> rule1)) -> rule3) OR ((((((triple2) -> rule6)) -> rule2) ((((((triple2) -> rule6)) -> rule2)) -> rule1)) -> rule3))] Dave is smart.[(triple6 OR ((triple4) -> rule1) OR ((((triple1) -> rule2)) -> rule1) OR ((((((triple2) -> rule6)) -> rule2)) -> rule1))] Gary is big.[(triple7 OR ((triple9) -> rule6) OR ((((triple11 triple12) -> rule5)) -> rule6) OR ((((triple11 ((triple11 triple13) -> rule3)) -> rule5)) -> rule6) OR ((((triple11 ((triple11 ((triple11) -> rule1)) -> rule3)) -> rule5)) -> rule6))] Gary is nice.[(triple8)] Gary is quiet.[(triple9 OR ((triple11 triple12) -> rule5) OR ((triple11 ((triple11 triple13) -> rule3)) -> rule5) OR ((((triple7) -> rule2) triple12) -> rule5) OR ((((triple7) -> rule2) ((triple11 triple13) -> rule3)) -> rule5) OR ((triple11 ((triple11 ((triple11) -> rule1)) -> rule3)) -> rule5) OR ((triple11 ((((triple7) -> rule2) triple13) -> rule3)) -> rule5) OR ((triple11 ((((triple7) -> rule2) ((triple11) -> rule1)) -> rule3)) -> rule5) OR ((((triple7) -> rule2) ((triple11 ((triple11) -> rule1)) -> rule3)) -> rule5) OR ((((triple7) -> rule2) ((((triple7) -> rule2) triple13) -> rule3)) -> rule5) OR ((((triple7) -> rule2) ((((triple7) -> rule2) ((triple11) -> rule1)) -> rule3)) -> rule5) OR ((triple11 ((triple11 ((((triple7) -> rule2)) -> rule1)) -> rule3)) -> rule5) OR ((triple11 ((((triple7) -> rule2) ((((triple7) -> rule2)) -> rule1)) -> rule3)) -> rule5) OR ((((triple7) -> rule2) ((triple11 ((((triple7) -> rule2)) -> rule1)) -> rule3)) -> rule5) OR ((((triple7) -> rule2) ((((triple7) -> rule2) ((((triple7) -> rule2)) -> rule1)) -> rule3)) -> rule5))] Gary is red.[(triple10 OR ((triple12) -> rule4) OR ((((triple11 triple13) -> rule3)) -> rule4) OR ((((triple11 ((triple11) -> rule1)) -> rule3)) -> rule4) OR ((((((triple7) -> rule2) triple13) -> rule3)) -> rule4) OR ((((((triple7) -> rule2) ((triple11) -> rule1)) -> rule3)) -> rule4) OR ((((triple11 ((((triple7) -> rule2)) -> rule1)) -> rule3)) -> rule4) OR ((((((((triple9) -> rule6)) -> rule2) triple13) -> rule3)) -> rule4) OR ((((((triple7) -> rule2) ((((triple7) -> rule2)) -> rule1)) -> rule3)) -> rule4) OR ((((((((triple9) -> rule6)) -> rule2) ((triple11) -> rule1)) -> rule3)) -> rule4) OR ((((((((triple9) -> rule6)) -> rule2) ((((triple7) -> rule2)) -> rule1)) -> rule3)) -> rule4) OR ((((triple11 ((((((triple9) -> rule6)) -> rule2)) -> rule1)) -> rule3)) -> rule4) OR ((((((triple7) -> rule2) ((((((triple9) -> rule6)) -> rule2)) -> rule1)) -> rule3)) -> rule4) OR ((((((((triple9) -> rule6)) -> rule2) ((((((triple9) -> rule6)) -> rule2)) -> rule1)) -> rule3)) -> rule4))] Gary is rough.[(triple11 OR ((triple7) -> rule2) OR ((((triple9) -> rule6)) -> rule2))] Gary is round.[(triple12 OR ((triple11 triple13) -> rule3) OR ((triple11 ((triple11) -> rule1)) -> rule3) OR ((((triple7) -> rule2) triple13) -> rule3) OR ((((triple7) -> rule2) ((triple11) -> rule1)) -> rule3) OR ((triple11 ((((triple7) -> rule2)) -> rule1)) -> rule3) OR ((((((triple9) -> rule6)) -> rule2) triple13) -> rule3) OR ((((triple7) -> rule2) ((((triple7) -> rule2)) -> rule1)) -> rule3) OR ((((((triple9) -> rule6)) -> rule2) ((triple11) -> rule1)) -> rule3) OR ((((((triple9) -> rule6)) -> rule2) ((((triple7) -> rule2)) -> rule1)) -> rule3) OR ((triple11 ((((((triple9) -> rule6)) -> rule2)) -> rule1)) -> rule3) OR ((((triple7) -> rule2) ((((((triple9) -> rule6)) -> rule2)) -> rule1)) -> rule3) OR ((((((triple9) -> rule6)) -> rule2) ((((((triple9) -> rule6)) -> rule2)) -> rule1)) -> rule3))] Gary is smart.[(triple13 OR ((triple11) -> rule1) OR ((((triple7) -> rule2)) -> rule1) OR ((((((triple9) -> rule6)) -> rule2)) -> rule1))] Harry is nice.[(triple14)] Harry is quiet.[(triple15 OR ((triple16 ((triple16 ((triple16) -> rule1)) -> rule3)) -> rule5))] Harry is rough.[(triple16 OR ((((triple15) -> rule6)) -> rule2))] @1: Harry is big.[(((triple15) -> rule6) OR ((((triple16 ((triple16 ((triple16) -> rule1)) -> rule3)) -> rule5)) -> rule6))] Harry is smart.[(((triple16) -> rule1) OR ((((((triple15) -> rule6)) -> rule2)) -> rule1))] @2: Harry is round.[(((triple16 ((triple16) -> rule1)) -> rule3) OR ((((((triple15) -> rule6)) -> rule2) ((triple16) -> rule1)) -> rule3) OR ((triple16 ((((((triple15) -> rule6)) -> rule2)) -> rule1)) -> rule3) OR ((((((triple15) -> rule6)) -> rule2) ((((((triple15) -> rule6)) -> rule2)) -> rule1)) -> rule3))] @3: Harry is red.[(((((triple16 ((triple16) -> rule1)) -> rule3)) -> rule4) OR ((((((((triple15) -> rule6)) -> rule2) ((triple16) -> rule1)) -> rule3)) -> rule4) OR ((((triple16 ((((((triple15) -> rule6)) -> rule2)) -> rule1)) -> rule3)) -> rule4) OR ((((((((triple15) -> rule6)) -> rule2) ((((((triple15) -> rule6)) -> rule2)) -> rule1)) -> rule3)) -> rule4))]
Dave is big.
("Dave" "is" "big" "+")
triple1
((triple2) -> (rule6 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
((((triple4 triple5) -> (rule5 % int2))) -> (rule6 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
((((triple4 ((triple4 triple6) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
((((triple4 ((triple4 ((triple4) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
Dave is quiet.
("Dave" "is" "quiet" "+")
triple2
((triple4 triple5) -> (rule5 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
((triple4 ((triple4 triple6) -> (rule3 % int2))) -> (rule5 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
((((triple1) -> (rule2 % int2)) triple5) -> (rule5 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
((((triple1) -> (rule2 % int3)) ((triple4 triple6) -> (rule3 % int2))) -> (rule5 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
((triple4 ((triple4 ((triple4) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
((triple4 ((((triple1) -> (rule2 % int3)) triple6) -> (rule3 % int2))) -> (rule5 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
((triple4 ((((triple1) -> (rule2 % int4)) ((triple4) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
((((triple1) -> (rule2 % int4)) ((triple4 ((triple4) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
((((triple1) -> (rule2 % int3)) ((((triple1) -> (rule2 % int3)) triple6) -> (rule3 % int2))) -> (rule5 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
((((triple1) -> (rule2 % int4)) ((((triple1) -> (rule2 % int4)) ((triple4) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
((triple4 ((triple4 ((((triple1) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
((triple4 ((((triple1) -> (rule2 % int4)) ((((triple1) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
((((triple1) -> (rule2 % int4)) ((triple4 ((((triple1) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
((((triple1) -> (rule2 % int4)) ((((triple1) -> (rule2 % int4)) ((((triple1) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
triple3
((triple5) -> (rule4 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
((((triple4 triple6) -> (rule3 % int2))) -> (rule4 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
((((triple4 ((triple4) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
((((((triple1) -> (rule2 % int3)) triple6) -> (rule3 % int2))) -> (rule4 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
((((((triple1) -> (rule2 % int4)) ((triple4) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
((((triple4 ((((triple1) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
((((((((triple2) -> (rule6 % int4))) -> (rule2 % int3)) triple6) -> (rule3 % int2))) -> (rule4 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
((((((triple1) -> (rule2 % int4)) ((((triple1) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
((((((((triple2) -> (rule6 % int5))) -> (rule2 % int4)) ((triple4) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is big.
("Dave" "is" "big" "+")
int5
((((((((triple2) -> (rule6 % int5))) -> (rule2 % int4)) ((((triple1) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is big.
("Dave" "is" "big" "+")
int5
((((triple4 ((((((triple2) -> (rule6 % int5))) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is big.
("Dave" "is" "big" "+")
int5
((((((triple1) -> (rule2 % int5)) ((((((triple2) -> (rule6 % int4))) -> (rule2 % int5))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
Dave is rough.
("Dave" "is" "rough" "+")
int5
((((((((triple2) -> (rule6 % int5))) -> (rule2 % int4)) ((((((triple2) -> (rule6 % int5))) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is big.
("Dave" "is" "big" "+")
int5
Dave is rough.
("Dave" "is" "rough" "+")
triple4
((triple1) -> (rule2 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
((((triple2) -> (rule6 % int2))) -> (rule2 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
triple5
((triple4 triple6) -> (rule3 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
((triple4 ((triple4) -> (rule1 % int2))) -> (rule3 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
((((triple1) -> (rule2 % int2)) triple6) -> (rule3 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
((((triple1) -> (rule2 % int3)) ((triple4) -> (rule1 % int2))) -> (rule3 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
((triple4 ((((triple1) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
((((((triple2) -> (rule6 % int3))) -> (rule2 % int2)) triple6) -> (rule3 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
((((triple1) -> (rule2 % int3)) ((((triple1) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
((((((triple2) -> (rule6 % int4))) -> (rule2 % int3)) ((triple4) -> (rule1 % int2))) -> (rule3 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
((((((triple2) -> (rule6 % int4))) -> (rule2 % int3)) ((((triple1) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
((triple4 ((((((triple2) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
((((triple1) -> (rule2 % int4)) ((((((triple2) -> (rule6 % int3))) -> (rule2 % int4))) -> (rule1 % int2))) -> (rule3 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
((((((triple2) -> (rule6 % int4))) -> (rule2 % int3)) ((((((triple2) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
Dave is smart.
("Dave" "is" "smart" "+")
triple6
((triple4) -> (rule1 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
((((triple1) -> (rule2 % int2))) -> (rule1 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
((((((triple2) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
triple7
((triple9) -> (rule6 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
((((triple11 triple12) -> (rule5 % int2))) -> (rule6 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
((((triple11 ((triple11 triple13) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
((((triple11 ((triple11 ((triple11) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
triple8
Gary is quiet.
("Gary" "is" "quiet" "+")
triple9
((triple11 triple12) -> (rule5 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
((triple11 ((triple11 triple13) -> (rule3 % int2))) -> (rule5 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
((((triple7) -> (rule2 % int2)) triple12) -> (rule5 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
((((triple7) -> (rule2 % int3)) ((triple11 triple13) -> (rule3 % int2))) -> (rule5 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
((triple11 ((triple11 ((triple11) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
((triple11 ((((triple7) -> (rule2 % int3)) triple13) -> (rule3 % int2))) -> (rule5 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
((triple11 ((((triple7) -> (rule2 % int4)) ((triple11) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
((((triple7) -> (rule2 % int4)) ((triple11 ((triple11) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
((((triple7) -> (rule2 % int3)) ((((triple7) -> (rule2 % int3)) triple13) -> (rule3 % int2))) -> (rule5 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
((((triple7) -> (rule2 % int4)) ((((triple7) -> (rule2 % int4)) ((triple11) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
((triple11 ((triple11 ((((triple7) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
((triple11 ((((triple7) -> (rule2 % int4)) ((((triple7) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
((((triple7) -> (rule2 % int4)) ((triple11 ((((triple7) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
((((triple7) -> (rule2 % int4)) ((((triple7) -> (rule2 % int4)) ((((triple7) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
triple10
((triple12) -> (rule4 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
((((triple11 triple13) -> (rule3 % int2))) -> (rule4 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
((((triple11 ((triple11) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
((((((triple7) -> (rule2 % int3)) triple13) -> (rule3 % int2))) -> (rule4 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
((((((triple7) -> (rule2 % int4)) ((triple11) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
((((triple11 ((((triple7) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
((((((((triple9) -> (rule6 % int4))) -> (rule2 % int3)) triple13) -> (rule3 % int2))) -> (rule4 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
((((((triple7) -> (rule2 % int4)) ((((triple7) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
((((((((triple9) -> (rule6 % int5))) -> (rule2 % int4)) ((triple11) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is big.
("Gary" "is" "big" "+")
int5
((((((((triple9) -> (rule6 % int5))) -> (rule2 % int4)) ((((triple7) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is big.
("Gary" "is" "big" "+")
int5
((((triple11 ((((((triple9) -> (rule6 % int5))) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is big.
("Gary" "is" "big" "+")
int5
((((((triple7) -> (rule2 % int5)) ((((((triple9) -> (rule6 % int4))) -> (rule2 % int5))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is rough.
("Gary" "is" "rough" "+")
int5
((((((((triple9) -> (rule6 % int5))) -> (rule2 % int4)) ((((((triple9) -> (rule6 % int5))) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is big.
("Gary" "is" "big" "+")
int5
Gary is rough.
("Gary" "is" "rough" "+")
triple11
((triple7) -> (rule2 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
((((triple9) -> (rule6 % int2))) -> (rule2 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
triple12
((triple11 triple13) -> (rule3 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
((triple11 ((triple11) -> (rule1 % int2))) -> (rule3 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
((((triple7) -> (rule2 % int2)) triple13) -> (rule3 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
((((triple7) -> (rule2 % int3)) ((triple11) -> (rule1 % int2))) -> (rule3 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
((triple11 ((((triple7) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
((((((triple9) -> (rule6 % int3))) -> (rule2 % int2)) triple13) -> (rule3 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
((((triple7) -> (rule2 % int3)) ((((triple7) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
((((((triple9) -> (rule6 % int4))) -> (rule2 % int3)) ((triple11) -> (rule1 % int2))) -> (rule3 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
((((((triple9) -> (rule6 % int4))) -> (rule2 % int3)) ((((triple7) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
((triple11 ((((((triple9) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
((((triple7) -> (rule2 % int4)) ((((((triple9) -> (rule6 % int3))) -> (rule2 % int4))) -> (rule1 % int2))) -> (rule3 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
((((((triple9) -> (rule6 % int4))) -> (rule2 % int3)) ((((((triple9) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is smart.
("Gary" "is" "smart" "+")
triple13
((triple11) -> (rule1 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
((((triple7) -> (rule2 % int2))) -> (rule1 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
((((((triple9) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
triple14
Harry is quiet.
("Harry" "is" "quiet" "+")
triple15
((triple16 ((triple16 ((triple16) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
triple16
((((triple15) -> (rule6 % int2))) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
((triple15) -> (rule6 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
((((triple16 ((triple16 ((triple16) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
((triple16) -> (rule1 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
((((((triple15) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
((triple16 ((triple16) -> (rule1 % int2))) -> (rule3 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
((((((triple15) -> (rule6 % int4))) -> (rule2 % int3)) ((triple16) -> (rule1 % int2))) -> (rule3 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
((triple16 ((((((triple15) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
((((((triple15) -> (rule6 % int4))) -> (rule2 % int3)) ((((((triple15) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
((((triple16 ((triple16) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
((((((((triple15) -> (rule6 % int5))) -> (rule2 % int4)) ((triple16) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
((((triple16 ((((((triple15) -> (rule6 % int5))) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
((((((((triple15) -> (rule6 % int5))) -> (rule2 % int4)) ((((((triple15) -> (rule6 % int5))) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5