Charlie is big. Charlie is smart. Gary is big. Gary is blue. Gary is green. Gary is round. Gary is smart. Gary is white. Harry is big. Harry is white. If Harry is white and Harry is green then Harry is young. If someone is blue and smart then they are round. All round, big people are blue. If someone is blue and big then they are green. If someone is green and blue then they are young. If Gary is blue and Gary is green then Gary is young. Big people are white. All big, white people are round.
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Gary is white.
("Gary" "is" "white" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is white.
("Harry" "is" "white" "+")
If Harry is white and Harry is green then Harry is young.
((("Harry" "is" "white" "+") ("Harry" "is" "green" "+")) -> ("Harry" "is" "young" "+"))
If someone is blue and smart then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "round" "+"))
All round, big people are blue.
((("someone" "is" "round" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
If someone is blue and big then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "green" "+"))
If someone is green and blue then they are young.
((("someone" "is" "green" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
If Gary is blue and Gary is green then Gary is young.
((("Gary" "is" "blue" "+") ("Gary" "is" "green" "+")) -> ("Gary" "is" "young" "+"))
Big people are white.
((("someone" "is" "big" "+")) -> ("someone" "is" "white" "+"))
All big, white people are round.
((("someone" "is" "big" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "round" "+"))
Charlie is smart.
True
1
proof
[(triple2)]
("Charlie" "is" "smart" "+")
triple2
Gary is not smart.
False
1
inv-proof
[(triple7)]
("Gary" "is" "smart" "-")
triple7
Harry is round.
True
3
proof
[(((triple9 triple10) -> rule8) OR ((triple9 ((triple9) -> rule7)) -> rule8))]
("Harry" "is" "round" "+")
((triple9 triple10) -> (rule8 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
((triple9 ((triple9) -> (rule7 % int2))) -> (rule8 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is not round.
False
3
inv-proof
[(((triple9 triple10) -> rule8) OR ((triple9 ((triple9) -> rule7)) -> rule8))]
("Harry" "is" "round" "-")
((triple9 triple10) -> (rule8 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
((triple9 ((triple9) -> (rule7 % int2))) -> (rule8 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Charlie is round.
True
4
proof
[(((triple1 ((triple1) -> rule7)) -> rule8))]
("Charlie" "is" "round" "+")
((triple1 ((triple1) -> (rule7 % int2))) -> (rule8 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is not round.
False
4
inv-proof
[(((triple1 ((triple1) -> rule7)) -> rule8))]
("Charlie" "is" "round" "-")
((triple1 ((triple1) -> (rule7 % int2))) -> (rule8 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is blue.
True
6
proof
[(((((triple1 ((triple1) -> rule7)) -> rule8) triple1) -> rule3))]
("Charlie" "is" "blue" "+")
((((triple1 ((triple1) -> (rule7 % int3))) -> (rule8 % int2)) triple1) -> (rule3 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Harry is not green.
False
7
inv-proof
[(((((((triple9 triple10) -> rule8) triple9) -> rule3) triple9) -> rule4) OR ((((((triple9 ((triple9) -> rule7)) -> rule8) triple9) -> rule3) triple9) -> rule4))]
("Harry" "is" "green" "-")
((((((triple9 triple10) -> (rule8 % int3)) triple9) -> (rule3 % int2)) triple9) -> (rule4 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
((((((triple9 ((triple9) -> (rule7 % int4))) -> (rule8 % int3)) triple9) -> (rule3 % int2)) triple9) -> (rule4 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
@0: Charlie is big.[(triple1)] Charlie is smart.[(triple2)] Gary is big.[(triple3)] Gary is blue.[(triple4 OR ((triple6 triple3) -> rule3) OR ((((triple3 triple8) -> rule8) triple3) -> rule3) OR ((((triple3 ((triple3) -> rule7)) -> rule8) triple3) -> rule3))] Gary is green.[(triple5 OR ((triple4 triple3) -> rule4) OR ((((triple6 triple3) -> rule3) triple3) -> rule4) OR ((((((triple3 triple8) -> rule8) triple3) -> rule3) triple3) -> rule4) OR ((((((triple3 ((triple3) -> rule7)) -> rule8) triple3) -> rule3) triple3) -> rule4))] Gary is round.[(triple6 OR ((triple3 triple8) -> rule8) OR ((triple4 triple7) -> rule2) OR ((triple3 ((triple3) -> rule7)) -> rule8))] Gary is smart.[(triple7)] Gary is white.[(triple8 OR ((triple3) -> rule7))] Harry is big.[(triple9)] Harry is white.[(triple10 OR ((triple9) -> rule7))] @1: Charlie is white.[(((triple1) -> rule7))] Gary is young.[(((triple4 triple5) -> rule6) OR ((triple5 triple4) -> rule5) OR ((triple4 ((triple4 triple3) -> rule4)) -> rule6) OR ((triple5 ((triple6 triple3) -> rule3)) -> rule5) OR ((((triple4 triple3) -> rule4) triple4) -> rule5) OR ((((triple6 triple3) -> rule3) triple5) -> rule6) OR ((((triple4 triple3) -> rule4) ((triple6 triple3) -> rule3)) -> rule5) OR ((((triple6 triple3) -> rule3) ((triple4 triple3) -> rule4)) -> rule6) OR ((triple4 ((((triple6 triple3) -> rule3) triple3) -> rule4)) -> rule6) OR ((triple5 ((((triple3 triple8) -> rule8) triple3) -> rule3)) -> rule5) OR ((((((triple3 triple8) -> rule8) triple3) -> rule3) triple5) -> rule6) OR ((((((triple6 triple3) -> rule3) triple3) -> rule4) triple4) -> rule5) OR ((((triple4 triple3) -> rule4) ((((triple3 triple8) -> rule8) triple3) -> rule3)) -> rule5) OR ((((triple6 triple3) -> rule3) ((((triple6 triple3) -> rule3) triple3) -> rule4)) -> rule6) OR ((((((triple3 triple8) -> rule8) triple3) -> rule3) ((triple4 triple3) -> rule4)) -> rule6) OR ((((((triple6 triple3) -> rule3) triple3) -> rule4) ((triple6 triple3) -> rule3)) -> rule5) OR ((((((triple3 triple8) -> rule8) triple3) -> rule3) ((((triple6 triple3) -> rule3) triple3) -> rule4)) -> rule6) OR ((((((triple6 triple3) -> rule3) triple3) -> rule4) ((((triple3 triple8) -> rule8) triple3) -> rule3)) -> rule5) OR ((triple4 ((((((triple3 triple8) -> rule8) triple3) -> rule3) triple3) -> rule4)) -> rule6) OR ((triple5 ((((triple3 ((triple3) -> rule7)) -> rule8) triple3) -> rule3)) -> rule5) OR ((((((triple3 ((triple3) -> rule7)) -> rule8) triple3) -> rule3) triple5) -> rule6) OR ((((((((triple3 triple8) -> rule8) triple3) -> rule3) triple3) -> rule4) triple4) -> rule5) OR ((((triple4 triple3) -> rule4) ((((triple3 ((triple3) -> rule7)) -> rule8) triple3) -> rule3)) -> rule5) OR ((((triple6 triple3) -> rule3) ((((((triple3 triple8) -> rule8) triple3) -> rule3) triple3) -> rule4)) -> rule6) OR ((((((triple3 ((triple3) -> rule7)) -> rule8) triple3) -> rule3) ((triple4 triple3) -> rule4)) -> rule6) OR ((((((((triple3 triple8) -> rule8) triple3) -> rule3) triple3) -> rule4) ((triple6 triple3) -> rule3)) -> rule5) OR ((((((triple3 triple8) -> rule8) triple3) -> rule3) ((((((triple3 triple8) -> rule8) triple3) -> rule3) triple3) -> rule4)) -> rule6) OR ((((((triple3 ((triple3) -> rule7)) -> rule8) triple3) -> rule3) ((((triple6 triple3) -> rule3) triple3) -> rule4)) -> rule6) OR ((((((triple6 triple3) -> rule3) triple3) -> rule4) ((((triple3 ((triple3) -> rule7)) -> rule8) triple3) -> rule3)) -> rule5) OR ((((((((triple3 triple8) -> rule8) triple3) -> rule3) triple3) -> rule4) ((((triple3 triple8) -> rule8) triple3) -> rule3)) -> rule5) OR ((((((triple3 ((triple3) -> rule7)) -> rule8) triple3) -> rule3) ((((((triple3 triple8) -> rule8) triple3) -> rule3) triple3) -> rule4)) -> rule6) OR ((((((((triple3 triple8) -> rule8) triple3) -> rule3) triple3) -> rule4) ((((triple3 ((triple3) -> rule7)) -> rule8) triple3) -> rule3)) -> rule5) OR ((triple4 ((((((triple3 ((triple3) -> rule7)) -> rule8) triple3) -> rule3) triple3) -> rule4)) -> rule6) OR ((((((((triple3 ((triple3) -> rule7)) -> rule8) triple3) -> rule3) triple3) -> rule4) triple4) -> rule5) OR ((((triple6 triple3) -> rule3) ((((((triple3 ((triple3) -> rule7)) -> rule8) triple3) -> rule3) triple3) -> rule4)) -> rule6) OR ((((((((triple3 ((triple3) -> rule7)) -> rule8) triple3) -> rule3) triple3) -> rule4) ((triple6 triple3) -> rule3)) -> rule5) OR ((((((triple3 triple8) -> rule8) triple3) -> rule3) ((((((triple3 ((triple3) -> rule7)) -> rule8) triple3) -> rule3) triple3) -> rule4)) -> rule6) OR ((((((((triple3 ((triple3) -> rule7)) -> rule8) triple3) -> rule3) triple3) -> rule4) ((((triple3 triple8) -> rule8) triple3) -> rule3)) -> rule5) OR ((((((triple3 ((triple3) -> rule7)) -> rule8) triple3) -> rule3) ((((((triple3 ((triple3) -> rule7)) -> rule8) triple3) -> rule3) triple3) -> rule4)) -> rule6) OR ((((((((triple3 ((triple3) -> rule7)) -> rule8) triple3) -> rule3) triple3) -> rule4) ((((triple3 ((triple3) -> rule7)) -> rule8) triple3) -> rule3)) -> rule5))] Harry is round.[(((triple9 triple10) -> rule8) OR ((triple9 ((triple9) -> rule7)) -> rule8))] @2: Charlie is round.[(((triple1 ((triple1) -> rule7)) -> rule8))] Harry is blue.[(((((triple9 triple10) -> rule8) triple9) -> rule3) OR ((((triple9 ((triple9) -> rule7)) -> rule8) triple9) -> rule3))] @3: Charlie is blue.[(((((triple1 ((triple1) -> rule7)) -> rule8) triple1) -> rule3))] Harry is green.[(((((((triple9 triple10) -> rule8) triple9) -> rule3) triple9) -> rule4) OR ((((((triple9 ((triple9) -> rule7)) -> rule8) triple9) -> rule3) triple9) -> rule4))] @4: Charlie is green.[(((((((triple1 ((triple1) -> rule7)) -> rule8) triple1) -> rule3) triple1) -> rule4))] Harry is young.[(((triple10 ((((((triple9 triple10) -> rule8) triple9) -> rule3) triple9) -> rule4)) -> rule1) OR ((((triple9) -> rule7) ((((((triple9 triple10) -> rule8) triple9) -> rule3) triple9) -> rule4)) -> rule1) OR ((((((((triple9 triple10) -> rule8) triple9) -> rule3) triple9) -> rule4) ((((triple9 triple10) -> rule8) triple9) -> rule3)) -> rule5) OR ((((((((triple9 triple10) -> rule8) triple9) -> rule3) triple9) -> rule4) ((((triple9 ((triple9) -> rule7)) -> rule8) triple9) -> rule3)) -> rule5) OR ((triple10 ((((((triple9 ((triple9) -> rule7)) -> rule8) triple9) -> rule3) triple9) -> rule4)) -> rule1) OR ((((triple9) -> rule7) ((((((triple9 ((triple9) -> rule7)) -> rule8) triple9) -> rule3) triple9) -> rule4)) -> rule1) OR ((((((((triple9 ((triple9) -> rule7)) -> rule8) triple9) -> rule3) triple9) -> rule4) ((((triple9 triple10) -> rule8) triple9) -> rule3)) -> rule5) OR ((((((((triple9 ((triple9) -> rule7)) -> rule8) triple9) -> rule3) triple9) -> rule4) ((((triple9 ((triple9) -> rule7)) -> rule8) triple9) -> rule3)) -> rule5))] @5: Charlie is young.[(((((((((triple1 ((triple1) -> rule7)) -> rule8) triple1) -> rule3) triple1) -> rule4) ((((triple1 ((triple1) -> rule7)) -> rule8) triple1) -> rule3)) -> rule5))]
Charlie is big.
("Charlie" "is" "big" "+")
triple1
Charlie is smart.
("Charlie" "is" "smart" "+")
triple2
Gary is big.
("Gary" "is" "big" "+")
triple3
Gary is blue.
("Gary" "is" "blue" "+")
triple4
((triple6 triple3) -> (rule3 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
((((triple3 triple8) -> (rule8 % int2)) triple3) -> (rule3 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
((((triple3 ((triple3) -> (rule7 % int3))) -> (rule8 % int2)) triple3) -> (rule3 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
triple5
((triple4 triple3) -> (rule4 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
((((triple6 triple3) -> (rule3 % int2)) triple3) -> (rule4 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
((((((triple3 triple8) -> (rule8 % int3)) triple3) -> (rule3 % int2)) triple3) -> (rule4 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
((((((triple3 ((triple3) -> (rule7 % int4))) -> (rule8 % int3)) triple3) -> (rule3 % int2)) triple3) -> (rule4 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is round.
("Gary" "is" "round" "+")
triple6
((triple3 triple8) -> (rule8 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
((triple4 triple7) -> (rule2 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
((triple3 ((triple3) -> (rule7 % int2))) -> (rule8 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
triple7
Gary is white.
("Gary" "is" "white" "+")
triple8
((triple3) -> (rule7 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
triple9
Harry is white.
("Harry" "is" "white" "+")
triple10
((triple9) -> (rule7 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
((triple1) -> (rule7 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
((triple4 triple5) -> (rule6 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
((triple5 triple4) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
((triple4 ((triple4 triple3) -> (rule4 % int2))) -> (rule6 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
((triple5 ((triple6 triple3) -> (rule3 % int2))) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
((((triple4 triple3) -> (rule4 % int2)) triple4) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
((((triple6 triple3) -> (rule3 % int2)) triple5) -> (rule6 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
((((triple4 triple3) -> (rule4 % int3)) ((triple6 triple3) -> (rule3 % int2))) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
((((triple6 triple3) -> (rule3 % int3)) ((triple4 triple3) -> (rule4 % int2))) -> (rule6 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
((triple4 ((((triple6 triple3) -> (rule3 % int3)) triple3) -> (rule4 % int2))) -> (rule6 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
((triple5 ((((triple3 triple8) -> (rule8 % int3)) triple3) -> (rule3 % int2))) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
((((((triple3 triple8) -> (rule8 % int3)) triple3) -> (rule3 % int2)) triple5) -> (rule6 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
((((((triple6 triple3) -> (rule3 % int3)) triple3) -> (rule4 % int2)) triple4) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
((((triple4 triple3) -> (rule4 % int4)) ((((triple3 triple8) -> (rule8 % int3)) triple3) -> (rule3 % int2))) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
((((triple6 triple3) -> (rule3 % int3)) ((((triple6 triple3) -> (rule3 % int3)) triple3) -> (rule4 % int2))) -> (rule6 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
((((((triple3 triple8) -> (rule8 % int4)) triple3) -> (rule3 % int3)) ((triple4 triple3) -> (rule4 % int2))) -> (rule6 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
((((((triple6 triple3) -> (rule3 % int3)) triple3) -> (rule4 % int2)) ((triple6 triple3) -> (rule3 % int3))) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
((((((triple3 triple8) -> (rule8 % int4)) triple3) -> (rule3 % int3)) ((((triple6 triple3) -> (rule3 % int3)) triple3) -> (rule4 % int2))) -> (rule6 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
((((((triple6 triple3) -> (rule3 % int4)) triple3) -> (rule4 % int3)) ((((triple3 triple8) -> (rule8 % int2)) triple3) -> (rule3 % int4))) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
((triple4 ((((((triple3 triple8) -> (rule8 % int4)) triple3) -> (rule3 % int3)) triple3) -> (rule4 % int2))) -> (rule6 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
((triple5 ((((triple3 ((triple3) -> (rule7 % int4))) -> (rule8 % int3)) triple3) -> (rule3 % int2))) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
((((((triple3 ((triple3) -> (rule7 % int4))) -> (rule8 % int3)) triple3) -> (rule3 % int2)) triple5) -> (rule6 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
((((((((triple3 triple8) -> (rule8 % int4)) triple3) -> (rule3 % int3)) triple3) -> (rule4 % int2)) triple4) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
((((triple4 triple3) -> (rule4 % int5)) ((((triple3 ((triple3) -> (rule7 % int4))) -> (rule8 % int3)) triple3) -> (rule3 % int2))) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
((((triple6 triple3) -> (rule3 % int4)) ((((((triple3 triple8) -> (rule8 % int3)) triple3) -> (rule3 % int4)) triple3) -> (rule4 % int2))) -> (rule6 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
((((((triple3 ((triple3) -> (rule7 % int5))) -> (rule8 % int4)) triple3) -> (rule3 % int3)) ((triple4 triple3) -> (rule4 % int2))) -> (rule6 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Gary is white.
("Gary" "is" "white" "+")
int5
((((((((triple3 triple8) -> (rule8 % int4)) triple3) -> (rule3 % int3)) triple3) -> (rule4 % int2)) ((triple6 triple3) -> (rule3 % int3))) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
((((((triple3 triple8) -> (rule8 % int4)) triple3) -> (rule3 % int3)) ((((((triple3 triple8) -> (rule8 % int4)) triple3) -> (rule3 % int3)) triple3) -> (rule4 % int2))) -> (rule6 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
((((((triple3 ((triple3) -> (rule7 % int5))) -> (rule8 % int4)) triple3) -> (rule3 % int3)) ((((triple6 triple3) -> (rule3 % int3)) triple3) -> (rule4 % int2))) -> (rule6 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Gary is white.
("Gary" "is" "white" "+")
int5
((((((triple6 triple3) -> (rule3 % int5)) triple3) -> (rule4 % int4)) ((((triple3 ((triple3) -> (rule7 % int3))) -> (rule8 % int2)) triple3) -> (rule3 % int5))) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is blue.
("Gary" "is" "blue" "+")
int5
((((((((triple3 triple8) -> (rule8 % int4)) triple3) -> (rule3 % int3)) triple3) -> (rule4 % int2)) ((((triple3 triple8) -> (rule8 % int4)) triple3) -> (rule3 % int3))) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
((((((triple3 ((triple3) -> (rule7 % int5))) -> (rule8 % int4)) triple3) -> (rule3 % int3)) ((((((triple3 triple8) -> (rule8 % int4)) triple3) -> (rule3 % int3)) triple3) -> (rule4 % int2))) -> (rule6 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Gary is white.
("Gary" "is" "white" "+")
int5
((((((((triple3 triple8) -> (rule8 % int5)) triple3) -> (rule3 % int4)) triple3) -> (rule4 % int3)) ((((triple3 ((triple3) -> (rule7 % int2))) -> (rule8 % int5)) triple3) -> (rule3 % int4))) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
Gary is round.
("Gary" "is" "round" "+")
int5
((triple4 ((((((triple3 ((triple3) -> (rule7 % int5))) -> (rule8 % int4)) triple3) -> (rule3 % int3)) triple3) -> (rule4 % int2))) -> (rule6 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Gary is white.
("Gary" "is" "white" "+")
int5
((((((((triple3 ((triple3) -> (rule7 % int5))) -> (rule8 % int4)) triple3) -> (rule3 % int3)) triple3) -> (rule4 % int2)) triple4) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Gary is white.
("Gary" "is" "white" "+")
int5
((((triple6 triple3) -> (rule3 % int5)) ((((((triple3 ((triple3) -> (rule7 % int4))) -> (rule8 % int3)) triple3) -> (rule3 % int5)) triple3) -> (rule4 % int2))) -> (rule6 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is blue.
("Gary" "is" "blue" "+")
int5
((((((((triple3 ((triple3) -> (rule7 % int5))) -> (rule8 % int4)) triple3) -> (rule3 % int3)) triple3) -> (rule4 % int2)) ((triple6 triple3) -> (rule3 % int3))) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Gary is white.
("Gary" "is" "white" "+")
int5
((((((triple3 triple8) -> (rule8 % int5)) triple3) -> (rule3 % int4)) ((((((triple3 ((triple3) -> (rule7 % int3))) -> (rule8 % int5)) triple3) -> (rule3 % int4)) triple3) -> (rule4 % int2))) -> (rule6 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
Gary is round.
("Gary" "is" "round" "+")
int5
((((((((triple3 ((triple3) -> (rule7 % int5))) -> (rule8 % int4)) triple3) -> (rule3 % int3)) triple3) -> (rule4 % int2)) ((((triple3 triple8) -> (rule8 % int4)) triple3) -> (rule3 % int3))) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Gary is white.
("Gary" "is" "white" "+")
int5
((((((triple3 ((triple3) -> (rule7 % int5))) -> (rule8 % int4)) triple3) -> (rule3 % int3)) ((((((triple3 ((triple3) -> (rule7 % int5))) -> (rule8 % int4)) triple3) -> (rule3 % int3)) triple3) -> (rule4 % int2))) -> (rule6 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Gary is white.
("Gary" "is" "white" "+")
int5
((((((((triple3 ((triple3) -> (rule7 % int5))) -> (rule8 % int4)) triple3) -> (rule3 % int3)) triple3) -> (rule4 % int2)) ((((triple3 ((triple3) -> (rule7 % int5))) -> (rule8 % int4)) triple3) -> (rule3 % int3))) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Gary is white.
("Gary" "is" "white" "+")
int5
Harry is round.
("Harry" "is" "round" "+")
((triple9 triple10) -> (rule8 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
((triple9 ((triple9) -> (rule7 % int2))) -> (rule8 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
((triple1 ((triple1) -> (rule7 % int2))) -> (rule8 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
((((triple9 triple10) -> (rule8 % int2)) triple9) -> (rule3 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
((((triple9 ((triple9) -> (rule7 % int3))) -> (rule8 % int2)) triple9) -> (rule3 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
((((triple1 ((triple1) -> (rule7 % int3))) -> (rule8 % int2)) triple1) -> (rule3 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
((((((triple9 triple10) -> (rule8 % int3)) triple9) -> (rule3 % int2)) triple9) -> (rule4 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
((((((triple9 ((triple9) -> (rule7 % int4))) -> (rule8 % int3)) triple9) -> (rule3 % int2)) triple9) -> (rule4 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Charlie is green.
("Charlie" "is" "green" "+")
((((((triple1 ((triple1) -> (rule7 % int4))) -> (rule8 % int3)) triple1) -> (rule3 % int2)) triple1) -> (rule4 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
Harry is young.
("Harry" "is" "young" "+")
((triple10 ((((((triple9 triple10) -> (rule8 % int4)) triple9) -> (rule3 % int3)) triple9) -> (rule4 % int2))) -> (rule1 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
((((triple9) -> (rule7 % int5)) ((((((triple9 triple10) -> (rule8 % int4)) triple9) -> (rule3 % int3)) triple9) -> (rule4 % int2))) -> (rule1 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
int5
((((((((triple9 triple10) -> (rule8 % int4)) triple9) -> (rule3 % int3)) triple9) -> (rule4 % int2)) ((((triple9 triple10) -> (rule8 % int4)) triple9) -> (rule3 % int3))) -> (rule5 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
((((((((triple9 triple10) -> (rule8 % int5)) triple9) -> (rule3 % int4)) triple9) -> (rule4 % int3)) ((((triple9 ((triple9) -> (rule7 % int2))) -> (rule8 % int5)) triple9) -> (rule3 % int4))) -> (rule5 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
Harry is round.
("Harry" "is" "round" "+")
int5
((triple10 ((((((triple9 ((triple9) -> (rule7 % int5))) -> (rule8 % int4)) triple9) -> (rule3 % int3)) triple9) -> (rule4 % int2))) -> (rule1 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
int5
((((triple9) -> (rule7 % int5)) ((((((triple9 ((triple9) -> (rule7 % int5))) -> (rule8 % int4)) triple9) -> (rule3 % int3)) triple9) -> (rule4 % int2))) -> (rule1 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
int5
((((((((triple9 ((triple9) -> (rule7 % int5))) -> (rule8 % int4)) triple9) -> (rule3 % int3)) triple9) -> (rule4 % int2)) ((((triple9 triple10) -> (rule8 % int4)) triple9) -> (rule3 % int3))) -> (rule5 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
int5
((((((((triple9 ((triple9) -> (rule7 % int5))) -> (rule8 % int4)) triple9) -> (rule3 % int3)) triple9) -> (rule4 % int2)) ((((triple9 ((triple9) -> (rule7 % int5))) -> (rule8 % int4)) triple9) -> (rule3 % int3))) -> (rule5 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
int5
Charlie is young.
("Charlie" "is" "young" "+")
((((((((triple1 ((triple1) -> (rule7 % int5))) -> (rule8 % int4)) triple1) -> (rule3 % int3)) triple1) -> (rule4 % int2)) ((((triple1 ((triple1) -> (rule7 % int5))) -> (rule8 % int4)) triple1) -> (rule3 % int3))) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
int5