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