Charlie is quiet. Charlie is red. Charlie is rough. Charlie is round. Charlie is smart. Charlie is white. Dave is round. Erin is red. Erin is round. Erin is smart. Erin is white. Gary is red. Gary is rough. Gary is round. Gary is smart. Gary is white. If someone is red and rough then they are smart. Red, smart people are round. If someone is big then they are round. Big, round people are red. All big, rough people are red. If Dave is white and Dave is round then Dave is rough. Big, smart people are quiet. All round people are big. If someone is red then they are white.
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Dave is round.
("Dave" "is" "round" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Erin is white.
("Erin" "is" "white" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Gary is white.
("Gary" "is" "white" "+")
If someone is red and rough then they are smart.
((("someone" "is" "red" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "smart" "+"))
Red, smart people are round.
((("someone" "is" "red" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "round" "+"))
If someone is big then they are round.
((("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
Big, round people are red.
((("someone" "is" "big" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
All big, rough people are red.
((("someone" "is" "big" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
If Dave is white and Dave is round then Dave is rough.
((("Dave" "is" "white" "+") ("Dave" "is" "round" "+")) -> ("Dave" "is" "rough" "+"))
Big, smart people are quiet.
((("someone" "is" "big" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "quiet" "+"))
All round people are big.
((("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
If someone is red then they are white.
((("someone" "is" "red" "+")) -> ("someone" "is" "white" "+"))
Gary is rough.
True
1
proof
[(triple13)]
("Gary" "is" "rough" "+")
triple13
Charlie is not quiet.
False
1
inv-proof
[(triple1 OR ((((triple4) -> rule8) triple5) -> rule7) OR ((((triple4) -> rule8) ((triple2 triple3) -> rule1)) -> rule7) OR ((((((triple2 triple5) -> rule2)) -> rule8) triple5) -> rule7) OR ((((((triple2 triple5) -> rule2)) -> rule8) ((triple2 triple3) -> rule1)) -> rule7) OR ((((((triple2 ((triple2 triple3) -> rule1)) -> rule2)) -> rule8) triple5) -> rule7) OR ((((triple4) -> rule8) ((((((triple4) -> rule8) triple3) -> rule5) triple3) -> rule1)) -> rule7) OR ((((triple4) -> rule8) ((((((triple4) -> rule8) triple4) -> rule4) triple3) -> rule1)) -> rule7) OR ((((((triple2 ((triple2 triple3) -> rule1)) -> rule2)) -> rule8) ((triple2 triple3) -> rule1)) -> rule7) OR ((((((triple2 triple5) -> rule2)) -> rule8) ((((((triple4) -> rule8) triple3) -> rule5) triple3) -> rule1)) -> rule7) OR ((((((triple2 triple5) -> rule2)) -> rule8) ((((((triple4) -> rule8) triple4) -> rule4) triple3) -> rule1)) -> rule7) OR ((((((triple2 ((triple2 triple3) -> rule1)) -> rule2)) -> rule8) ((((((triple4) -> rule8) triple3) -> rule5) triple3) -> rule1)) -> rule7) OR ((((((triple2 ((triple2 triple3) -> rule1)) -> rule2)) -> rule8) ((((((triple4) -> rule8) triple4) -> rule4) triple3) -> rule1)) -> rule7))]
("Charlie" "is" "quiet" "-")
triple1
((((triple4) -> (rule8 % int2)) triple5) -> (rule7 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
((((triple4) -> (rule8 % int3)) ((triple2 triple3) -> (rule1 % int2))) -> (rule7 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
((((((triple2 triple5) -> (rule2 % int3))) -> (rule8 % int2)) triple5) -> (rule7 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
((((((triple2 triple5) -> (rule2 % int4))) -> (rule8 % int3)) ((triple2 triple3) -> (rule1 % int2))) -> (rule7 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((((((triple2 ((triple2 triple3) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule8 % int2)) triple5) -> (rule7 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
((((triple4) -> (rule8 % int4)) ((((((triple4) -> (rule8 % int4)) triple3) -> (rule5 % int3)) triple3) -> (rule1 % int2))) -> (rule7 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
((((triple4) -> (rule8 % int4)) ((((((triple4) -> (rule8 % int4)) triple4) -> (rule4 % int3)) triple3) -> (rule1 % int2))) -> (rule7 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
((((((triple2 ((triple2 triple3) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule8 % int2)) ((triple2 triple3) -> (rule1 % int4))) -> (rule7 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
((((((triple2 triple5) -> (rule2 % int5))) -> (rule8 % int4)) ((((((triple4) -> (rule8 % int4)) triple3) -> (rule5 % int3)) triple3) -> (rule1 % int2))) -> (rule7 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is round.
("Charlie" "is" "round" "+")
int5
((((((triple2 triple5) -> (rule2 % int5))) -> (rule8 % int4)) ((((((triple4) -> (rule8 % int4)) triple4) -> (rule4 % int3)) triple3) -> (rule1 % int2))) -> (rule7 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is round.
("Charlie" "is" "round" "+")
int5
((((((triple2 ((triple2 triple3) -> (rule1 % int5))) -> (rule2 % int4))) -> (rule8 % int3)) ((((((triple4) -> (rule8 % int3)) triple3) -> (rule5 % int2)) triple3) -> (rule1 % int5))) -> (rule7 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
Charlie is smart.
("Charlie" "is" "smart" "+")
int5
((((((triple2 ((triple2 triple3) -> (rule1 % int5))) -> (rule2 % int4))) -> (rule8 % int3)) ((((((triple4) -> (rule8 % int3)) triple4) -> (rule4 % int2)) triple3) -> (rule1 % int5))) -> (rule7 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
Charlie is smart.
("Charlie" "is" "smart" "+")
int5
Erin is big.
True
2
proof
[(((triple9) -> rule8) OR ((((triple8 triple10) -> rule2)) -> rule8))]
("Erin" "is" "big" "+")
((triple9) -> (rule8 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
((((triple8 triple10) -> (rule2 % int2))) -> (rule8 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is not big.
False
2
inv-proof
[(((triple9) -> rule8) OR ((((triple8 triple10) -> rule2)) -> rule8))]
("Erin" "is" "big" "-")
((triple9) -> (rule8 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
((((triple8 triple10) -> (rule2 % int2))) -> (rule8 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is quiet.
True
4
proof
[(((((triple9) -> rule8) triple10) -> rule7) OR ((((((triple8 triple10) -> rule2)) -> rule8) triple10) -> rule7))]
("Erin" "is" "quiet" "+")
((((triple9) -> (rule8 % int2)) triple10) -> (rule7 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
((((((triple8 triple10) -> (rule2 % int3))) -> (rule8 % int2)) triple10) -> (rule7 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is not quiet.
False
4
inv-proof
[(((((triple9) -> rule8) triple10) -> rule7) OR ((((((triple8 triple10) -> rule2)) -> rule8) triple10) -> rule7))]
("Erin" "is" "quiet" "-")
((((triple9) -> (rule8 % int2)) triple10) -> (rule7 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
((((((triple8 triple10) -> (rule2 % int3))) -> (rule8 % int2)) triple10) -> (rule7 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Dave is white.
True
5
proof
[(((((((triple7) -> rule8) triple7) -> rule4)) -> rule9))]
("Dave" "is" "white" "+")
((((((triple7) -> (rule8 % int3)) triple7) -> (rule4 % int2))) -> (rule9 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Dave is not white.
False
5
inv-proof
[(((((((triple7) -> rule8) triple7) -> rule4)) -> rule9))]
("Dave" "is" "white" "-")
((((((triple7) -> (rule8 % int3)) triple7) -> (rule4 % int2))) -> (rule9 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Dave is rough.
True
7
proof
[(((((((((triple7) -> rule8) triple7) -> rule4)) -> rule9) triple7) -> rule6))]
("Dave" "is" "rough" "+")
((((((((triple7) -> (rule8 % int4)) triple7) -> (rule4 % int3))) -> (rule9 % int2)) triple7) -> (rule6 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
Dave is not rough.
False
7
inv-proof
[(((((((((triple7) -> rule8) triple7) -> rule4)) -> rule9) triple7) -> rule6))]
("Dave" "is" "rough" "-")
((((((((triple7) -> (rule8 % int4)) triple7) -> (rule4 % int3))) -> (rule9 % int2)) triple7) -> (rule6 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
Dave is smart.
True
12
proof
[(((((((triple7) -> rule8) triple7) -> rule4) ((((((((triple7) -> rule8) triple7) -> rule4)) -> rule9) triple7) -> rule6)) -> rule1))]
("Dave" "is" "smart" "+")
((((((triple7) -> (rule8 % int5)) triple7) -> (rule4 % int4)) ((((((((triple7) -> (rule8 % int5)) triple7) -> (rule4 % int4))) -> (rule9 % int3)) triple7) -> (rule6 % int2))) -> (rule1 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
Dave is big.
("Dave" "is" "big" "+")
int5
Dave is not smart.
False
12
inv-proof
[(((((((triple7) -> rule8) triple7) -> rule4) ((((((((triple7) -> rule8) triple7) -> rule4)) -> rule9) triple7) -> rule6)) -> rule1))]
("Dave" "is" "smart" "-")
((((((triple7) -> (rule8 % int5)) triple7) -> (rule4 % int4)) ((((((((triple7) -> (rule8 % int5)) triple7) -> (rule4 % int4))) -> (rule9 % int3)) triple7) -> (rule6 % int2))) -> (rule1 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
Dave is big.
("Dave" "is" "big" "+")
int5
@0: Charlie is quiet.[(triple1 OR ((((triple4) -> rule8) triple5) -> rule7) OR ((((triple4) -> rule8) ((triple2 triple3) -> rule1)) -> rule7) OR ((((((triple2 triple5) -> rule2)) -> rule8) triple5) -> rule7) OR ((((((triple2 triple5) -> rule2)) -> rule8) ((triple2 triple3) -> rule1)) -> rule7) OR ((((((triple2 ((triple2 triple3) -> rule1)) -> rule2)) -> rule8) triple5) -> rule7) OR ((((triple4) -> rule8) ((((((triple4) -> rule8) triple3) -> rule5) triple3) -> rule1)) -> rule7) OR ((((triple4) -> rule8) ((((((triple4) -> rule8) triple4) -> rule4) triple3) -> rule1)) -> rule7) OR ((((((triple2 ((triple2 triple3) -> rule1)) -> rule2)) -> rule8) ((triple2 triple3) -> rule1)) -> rule7) OR ((((((triple2 triple5) -> rule2)) -> rule8) ((((((triple4) -> rule8) triple3) -> rule5) triple3) -> rule1)) -> rule7) OR ((((((triple2 triple5) -> rule2)) -> rule8) ((((((triple4) -> rule8) triple4) -> rule4) triple3) -> rule1)) -> rule7) OR ((((((triple2 ((triple2 triple3) -> rule1)) -> rule2)) -> rule8) ((((((triple4) -> rule8) triple3) -> rule5) triple3) -> rule1)) -> rule7) OR ((((((triple2 ((triple2 triple3) -> rule1)) -> rule2)) -> rule8) ((((((triple4) -> rule8) triple4) -> rule4) triple3) -> rule1)) -> rule7))] Charlie is red.[(triple2 OR ((((triple4) -> rule8) triple3) -> rule5) OR ((((triple4) -> rule8) triple4) -> rule4))] Charlie is rough.[(triple3)] Charlie is round.[(triple4 OR ((triple2 triple5) -> rule2) OR ((triple2 ((triple2 triple3) -> rule1)) -> rule2))] Charlie is smart.[(triple5 OR ((triple2 triple3) -> rule1) OR ((((((triple4) -> rule8) triple3) -> rule5) triple3) -> rule1) OR ((((((triple4) -> rule8) triple4) -> rule4) triple3) -> rule1))] Charlie is white.[(triple6 OR ((triple2) -> rule9) OR ((((((triple4) -> rule8) triple3) -> rule5)) -> rule9) OR ((((((triple4) -> rule8) triple4) -> rule4)) -> rule9))] Dave is round.[(triple7)] Erin is red.[(triple8 OR ((((triple9) -> rule8) triple9) -> rule4))] Erin is round.[(triple9 OR ((triple8 triple10) -> rule2))] Erin is smart.[(triple10)] Erin is white.[(triple11 OR ((triple8) -> rule9) OR ((((((triple9) -> rule8) triple9) -> rule4)) -> rule9))] Gary is red.[(triple12 OR ((((triple14) -> rule8) triple13) -> rule5) OR ((((triple14) -> rule8) triple14) -> rule4))] Gary is rough.[(triple13)] Gary is round.[(triple14 OR ((triple12 triple15) -> rule2) OR ((triple12 ((triple12 triple13) -> rule1)) -> rule2))] Gary is smart.[(triple15 OR ((triple12 triple13) -> rule1) OR ((((((triple14) -> rule8) triple13) -> rule5) triple13) -> rule1) OR ((((((triple14) -> rule8) triple14) -> rule4) triple13) -> rule1))] Gary is white.[(triple16 OR ((triple12) -> rule9) OR ((((((triple14) -> rule8) triple13) -> rule5)) -> rule9) OR ((((((triple14) -> rule8) triple14) -> rule4)) -> rule9))] @1: Charlie is big.[(((triple4) -> rule8) OR ((((triple2 triple5) -> rule2)) -> rule8) OR ((((triple2 ((triple2 triple3) -> rule1)) -> rule2)) -> rule8))] Dave is big.[(((triple7) -> rule8))] Erin is big.[(((triple9) -> rule8) OR ((((triple8 triple10) -> rule2)) -> rule8))] Gary is big.[(((triple14) -> rule8) OR ((((triple12 triple15) -> rule2)) -> rule8) OR ((((triple12 ((triple12 triple13) -> rule1)) -> rule2)) -> rule8))] @2: Dave is red.[(((((triple7) -> rule8) triple7) -> rule4))] Erin is quiet.[(((((triple9) -> rule8) triple10) -> rule7) OR ((((((triple8 triple10) -> rule2)) -> rule8) triple10) -> rule7))] Gary is quiet.[(((((triple14) -> rule8) triple15) -> rule7) OR ((((triple14) -> rule8) ((triple12 triple13) -> rule1)) -> rule7) OR ((((((triple12 triple15) -> rule2)) -> rule8) triple15) -> rule7) OR ((((((triple12 triple15) -> rule2)) -> rule8) ((triple12 triple13) -> rule1)) -> rule7) OR ((((((triple12 ((triple12 triple13) -> rule1)) -> rule2)) -> rule8) triple15) -> rule7) OR ((((triple14) -> rule8) ((((((triple14) -> rule8) triple13) -> rule5) triple13) -> rule1)) -> rule7) OR ((((triple14) -> rule8) ((((((triple14) -> rule8) triple14) -> rule4) triple13) -> rule1)) -> rule7) OR ((((((triple12 ((triple12 triple13) -> rule1)) -> rule2)) -> rule8) ((triple12 triple13) -> rule1)) -> rule7) OR ((((((triple12 triple15) -> rule2)) -> rule8) ((((((triple14) -> rule8) triple13) -> rule5) triple13) -> rule1)) -> rule7) OR ((((((triple12 triple15) -> rule2)) -> rule8) ((((((triple14) -> rule8) triple14) -> rule4) triple13) -> rule1)) -> rule7) OR ((((((triple12 ((triple12 triple13) -> rule1)) -> rule2)) -> rule8) ((((((triple14) -> rule8) triple13) -> rule5) triple13) -> rule1)) -> rule7) OR ((((((triple12 ((triple12 triple13) -> rule1)) -> rule2)) -> rule8) ((((((triple14) -> rule8) triple14) -> rule4) triple13) -> rule1)) -> rule7))] @3: Dave is white.[(((((((triple7) -> rule8) triple7) -> rule4)) -> rule9))] @4: Dave is rough.[(((((((((triple7) -> rule8) triple7) -> rule4)) -> rule9) triple7) -> rule6))] @5: Dave is smart.[(((((((triple7) -> rule8) triple7) -> rule4) ((((((((triple7) -> rule8) triple7) -> rule4)) -> rule9) triple7) -> rule6)) -> rule1))] @6: Dave is quiet.[(((((triple7) -> rule8) ((((((triple7) -> rule8) triple7) -> rule4) ((((((((triple7) -> rule8) triple7) -> rule4)) -> rule9) triple7) -> rule6)) -> rule1)) -> rule7))]
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple1
((((triple4) -> (rule8 % int2)) triple5) -> (rule7 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
((((triple4) -> (rule8 % int3)) ((triple2 triple3) -> (rule1 % int2))) -> (rule7 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
((((((triple2 triple5) -> (rule2 % int3))) -> (rule8 % int2)) triple5) -> (rule7 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
((((((triple2 triple5) -> (rule2 % int4))) -> (rule8 % int3)) ((triple2 triple3) -> (rule1 % int2))) -> (rule7 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((((((triple2 ((triple2 triple3) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule8 % int2)) triple5) -> (rule7 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
((((triple4) -> (rule8 % int4)) ((((((triple4) -> (rule8 % int4)) triple3) -> (rule5 % int3)) triple3) -> (rule1 % int2))) -> (rule7 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
((((triple4) -> (rule8 % int4)) ((((((triple4) -> (rule8 % int4)) triple4) -> (rule4 % int3)) triple3) -> (rule1 % int2))) -> (rule7 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
((((((triple2 ((triple2 triple3) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule8 % int2)) ((triple2 triple3) -> (rule1 % int4))) -> (rule7 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
((((((triple2 triple5) -> (rule2 % int5))) -> (rule8 % int4)) ((((((triple4) -> (rule8 % int4)) triple3) -> (rule5 % int3)) triple3) -> (rule1 % int2))) -> (rule7 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is round.
("Charlie" "is" "round" "+")
int5
((((((triple2 triple5) -> (rule2 % int5))) -> (rule8 % int4)) ((((((triple4) -> (rule8 % int4)) triple4) -> (rule4 % int3)) triple3) -> (rule1 % int2))) -> (rule7 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is round.
("Charlie" "is" "round" "+")
int5
((((((triple2 ((triple2 triple3) -> (rule1 % int5))) -> (rule2 % int4))) -> (rule8 % int3)) ((((((triple4) -> (rule8 % int3)) triple3) -> (rule5 % int2)) triple3) -> (rule1 % int5))) -> (rule7 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
Charlie is smart.
("Charlie" "is" "smart" "+")
int5
((((((triple2 ((triple2 triple3) -> (rule1 % int5))) -> (rule2 % int4))) -> (rule8 % int3)) ((((((triple4) -> (rule8 % int3)) triple4) -> (rule4 % int2)) triple3) -> (rule1 % int5))) -> (rule7 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
Charlie is smart.
("Charlie" "is" "smart" "+")
int5
Charlie is red.
("Charlie" "is" "red" "+")
triple2
((((triple4) -> (rule8 % int2)) triple3) -> (rule5 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
((((triple4) -> (rule8 % int2)) triple4) -> (rule4 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
triple3
Charlie is round.
("Charlie" "is" "round" "+")
triple4
((triple2 triple5) -> (rule2 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
((triple2 ((triple2 triple3) -> (rule1 % int2))) -> (rule2 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
triple5
((triple2 triple3) -> (rule1 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
((((((triple4) -> (rule8 % int3)) triple3) -> (rule5 % int2)) triple3) -> (rule1 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
((((((triple4) -> (rule8 % int3)) triple4) -> (rule4 % int2)) triple3) -> (rule1 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
triple6
((triple2) -> (rule9 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
((((((triple4) -> (rule8 % int3)) triple3) -> (rule5 % int2))) -> (rule9 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
((((((triple4) -> (rule8 % int3)) triple4) -> (rule4 % int2))) -> (rule9 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
triple7
Erin is red.
("Erin" "is" "red" "+")
triple8
((((triple9) -> (rule8 % int2)) triple9) -> (rule4 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
triple9
((triple8 triple10) -> (rule2 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
triple10
Erin is white.
("Erin" "is" "white" "+")
triple11
((triple8) -> (rule9 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
((((((triple9) -> (rule8 % int3)) triple9) -> (rule4 % int2))) -> (rule9 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
triple12
((((triple14) -> (rule8 % int2)) triple13) -> (rule5 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
((((triple14) -> (rule8 % int2)) triple14) -> (rule4 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
triple13
Gary is round.
("Gary" "is" "round" "+")
triple14
((triple12 triple15) -> (rule2 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
((triple12 ((triple12 triple13) -> (rule1 % int2))) -> (rule2 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
triple15
((triple12 triple13) -> (rule1 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
((((((triple14) -> (rule8 % int3)) triple13) -> (rule5 % int2)) triple13) -> (rule1 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
((((((triple14) -> (rule8 % int3)) triple14) -> (rule4 % int2)) triple13) -> (rule1 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
triple16
((triple12) -> (rule9 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
((((((triple14) -> (rule8 % int3)) triple13) -> (rule5 % int2))) -> (rule9 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
((((((triple14) -> (rule8 % int3)) triple14) -> (rule4 % int2))) -> (rule9 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
((triple4) -> (rule8 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
((((triple2 triple5) -> (rule2 % int2))) -> (rule8 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
((((triple2 ((triple2 triple3) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
((triple7) -> (rule8 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
((triple9) -> (rule8 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
((((triple8 triple10) -> (rule2 % int2))) -> (rule8 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
((triple14) -> (rule8 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
((((triple12 triple15) -> (rule2 % int2))) -> (rule8 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
((((triple12 ((triple12 triple13) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
((((triple7) -> (rule8 % int2)) triple7) -> (rule4 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
((((triple9) -> (rule8 % int2)) triple10) -> (rule7 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
((((((triple8 triple10) -> (rule2 % int3))) -> (rule8 % int2)) triple10) -> (rule7 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
((((triple14) -> (rule8 % int2)) triple15) -> (rule7 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
((((triple14) -> (rule8 % int3)) ((triple12 triple13) -> (rule1 % int2))) -> (rule7 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
((((((triple12 triple15) -> (rule2 % int3))) -> (rule8 % int2)) triple15) -> (rule7 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
((((((triple12 triple15) -> (rule2 % int4))) -> (rule8 % int3)) ((triple12 triple13) -> (rule1 % int2))) -> (rule7 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
((((((triple12 ((triple12 triple13) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule8 % int2)) triple15) -> (rule7 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
int4
((((triple14) -> (rule8 % int4)) ((((((triple14) -> (rule8 % int4)) triple13) -> (rule5 % int3)) triple13) -> (rule1 % int2))) -> (rule7 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
((((triple14) -> (rule8 % int4)) ((((((triple14) -> (rule8 % int4)) triple14) -> (rule4 % int3)) triple13) -> (rule1 % int2))) -> (rule7 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
((((((triple12 ((triple12 triple13) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule8 % int2)) ((triple12 triple13) -> (rule1 % int4))) -> (rule7 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
int4
((((((triple12 triple15) -> (rule2 % int5))) -> (rule8 % int4)) ((((((triple14) -> (rule8 % int4)) triple13) -> (rule5 % int3)) triple13) -> (rule1 % int2))) -> (rule7 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is round.
("Gary" "is" "round" "+")
int5
((((((triple12 triple15) -> (rule2 % int5))) -> (rule8 % int4)) ((((((triple14) -> (rule8 % int4)) triple14) -> (rule4 % int3)) triple13) -> (rule1 % int2))) -> (rule7 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is round.
("Gary" "is" "round" "+")
int5
((((((triple12 ((triple12 triple13) -> (rule1 % int5))) -> (rule2 % int4))) -> (rule8 % int3)) ((((((triple14) -> (rule8 % int3)) triple13) -> (rule5 % int2)) triple13) -> (rule1 % int5))) -> (rule7 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Gary is smart.
("Gary" "is" "smart" "+")
int5
((((((triple12 ((triple12 triple13) -> (rule1 % int5))) -> (rule2 % int4))) -> (rule8 % int3)) ((((((triple14) -> (rule8 % int3)) triple14) -> (rule4 % int2)) triple13) -> (rule1 % int5))) -> (rule7 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Gary is smart.
("Gary" "is" "smart" "+")
int5
Dave is white.
("Dave" "is" "white" "+")
((((((triple7) -> (rule8 % int3)) triple7) -> (rule4 % int2))) -> (rule9 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
((((((((triple7) -> (rule8 % int4)) triple7) -> (rule4 % int3))) -> (rule9 % int2)) triple7) -> (rule6 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
Dave is smart.
("Dave" "is" "smart" "+")
((((((triple7) -> (rule8 % int5)) triple7) -> (rule4 % int4)) ((((((((triple7) -> (rule8 % int5)) triple7) -> (rule4 % int4))) -> (rule9 % int3)) triple7) -> (rule6 % int2))) -> (rule1 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
Dave is big.
("Dave" "is" "big" "+")
int5
Dave is quiet.
("Dave" "is" "quiet" "+")
((((triple7) -> (rule8 % int6)) ((((((triple7) -> (rule8 % int6)) triple7) -> (rule4 % int5)) ((((((((triple7) -> (rule8 % int6)) triple7) -> (rule4 % int5))) -> (rule9 % int4)) triple7) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
Dave is big.
("Dave" "is" "big" "+")
int6