Charlie is green. Charlie is rough. Gary is big. Gary is blue. Gary is nice. Gary is quiet. Gary is red. Gary is rough. Harry is big. Harry is green. Harry is quiet. Harry is rough. If something is rough then it is green. Blue, big things are nice. All nice, green things are quiet. All green things are blue. If Charlie is rough and Charlie is red then Charlie is green. All blue, green things are big. If Charlie is nice then Charlie is quiet. If something is rough then it is blue.
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is rough.
("Harry" "is" "rough" "+")
If something is rough then it is green.
((("something" "is" "rough" "+")) -> ("something" "is" "green" "+"))
Blue, big things are nice.
((("something" "is" "blue" "+") ("something" "is" "big" "+")) -> ("something" "is" "nice" "+"))
All nice, green things are quiet.
((("something" "is" "nice" "+") ("something" "is" "green" "+")) -> ("something" "is" "quiet" "+"))
All green things are blue.
((("something" "is" "green" "+")) -> ("something" "is" "blue" "+"))
If Charlie is rough and Charlie is red then Charlie is green.
((("Charlie" "is" "rough" "+") ("Charlie" "is" "red" "+")) -> ("Charlie" "is" "green" "+"))
All blue, green things are big.
((("something" "is" "blue" "+") ("something" "is" "green" "+")) -> ("something" "is" "big" "+"))
If Charlie is nice then Charlie is quiet.
((("Charlie" "is" "nice" "+")) -> ("Charlie" "is" "quiet" "+"))
If something is rough then it is blue.
((("something" "is" "rough" "+")) -> ("something" "is" "blue" "+"))
Charlie is rough.
True
1
proof
[(triple2)]
("Charlie" "is" "rough" "+")
triple2
Gary is not nice.
False
1
inv-proof
[(triple5 OR ((triple4 triple3) -> rule2) OR ((((triple8) -> rule8) triple3) -> rule2) OR ((triple4 ((triple4 ((triple8) -> rule1)) -> rule6)) -> rule2) OR ((((((triple8) -> rule1)) -> rule4) triple3) -> rule2) OR ((triple4 ((((triple8) -> rule8) ((triple8) -> rule1)) -> rule6)) -> rule2) OR ((((triple8) -> rule8) ((triple4 ((triple8) -> rule1)) -> rule6)) -> rule2) OR ((((triple8) -> rule8) ((((triple8) -> rule8) ((triple8) -> rule1)) -> rule6)) -> rule2) OR ((((((triple8) -> rule1)) -> rule4) ((triple4 ((triple8) -> rule1)) -> rule6)) -> rule2) OR ((((((triple8) -> rule1)) -> rule4) ((((triple8) -> rule8) ((triple8) -> rule1)) -> rule6)) -> rule2) OR ((triple4 ((((((triple8) -> rule1)) -> rule4) ((triple8) -> rule1)) -> rule6)) -> rule2) OR ((((triple8) -> rule8) ((((((triple8) -> rule1)) -> rule4) ((triple8) -> rule1)) -> rule6)) -> rule2) OR ((((((triple8) -> rule1)) -> rule4) ((((((triple8) -> rule1)) -> rule4) ((triple8) -> rule1)) -> rule6)) -> rule2))]
("Gary" "is" "nice" "-")
triple5
((triple4 triple3) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
((((triple8) -> (rule8 % int2)) triple3) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
((triple4 ((triple4 ((triple8) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
((((((triple8) -> (rule1 % int3))) -> (rule4 % int2)) triple3) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
((triple4 ((((triple8) -> (rule8 % int4)) ((triple8) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
((((triple8) -> (rule8 % int4)) ((triple4 ((triple8) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
((((triple8) -> (rule8 % int4)) ((((triple8) -> (rule8 % int4)) ((triple8) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
((((((triple8) -> (rule1 % int4))) -> (rule4 % int3)) ((triple4 ((triple8) -> (rule1 % int4))) -> (rule6 % int2))) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
((((((triple8) -> (rule1 % int4))) -> (rule4 % int3)) ((((triple8) -> (rule8 % int3)) ((triple8) -> (rule1 % int4))) -> (rule6 % int2))) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
((triple4 ((((((triple8) -> (rule1 % int4))) -> (rule4 % int3)) ((triple8) -> (rule1 % int4))) -> (rule6 % int2))) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
((((triple8) -> (rule8 % int4)) ((((((triple8) -> (rule1 % int3))) -> (rule4 % int4)) ((triple8) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
((((((triple8) -> (rule1 % int4))) -> (rule4 % int3)) ((((((triple8) -> (rule1 % int4))) -> (rule4 % int3)) ((triple8) -> (rule1 % int4))) -> (rule6 % int2))) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Charlie is blue.
True
2
proof
[(((triple1) -> rule4) OR ((triple2) -> rule8) OR ((((triple2) -> rule1)) -> rule4))]
("Charlie" "is" "blue" "+")
((triple1) -> (rule4 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
((triple2) -> (rule8 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
((((triple2) -> (rule1 % int2))) -> (rule4 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is not blue.
False
2
inv-proof
[(((triple1) -> rule4) OR ((triple2) -> rule8) OR ((((triple2) -> rule1)) -> rule4))]
("Charlie" "is" "blue" "-")
((triple1) -> (rule4 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
((triple2) -> (rule8 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
((((triple2) -> (rule1 % int2))) -> (rule4 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is big.
True
4
proof
[(((((triple1) -> rule4) triple1) -> rule6) OR ((((triple2) -> rule8) triple1) -> rule6) OR ((((triple1) -> rule4) ((triple2) -> rule1)) -> rule6) OR ((((triple2) -> rule8) ((triple2) -> rule1)) -> rule6) OR ((((((triple2) -> rule1)) -> rule4) triple1) -> rule6) OR ((((((triple2) -> rule1)) -> rule4) ((triple2) -> rule1)) -> rule6))]
("Charlie" "is" "big" "+")
((((triple1) -> (rule4 % int2)) triple1) -> (rule6 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
((((triple2) -> (rule8 % int2)) triple1) -> (rule6 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
((((triple1) -> (rule4 % int3)) ((triple2) -> (rule1 % int2))) -> (rule6 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
((((triple2) -> (rule8 % int3)) ((triple2) -> (rule1 % int2))) -> (rule6 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
((((((triple2) -> (rule1 % int3))) -> (rule4 % int2)) triple1) -> (rule6 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
((((((triple2) -> (rule1 % int3))) -> (rule4 % int2)) ((triple2) -> (rule1 % int3))) -> (rule6 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is not big.
False
4
inv-proof
[(((((triple1) -> rule4) triple1) -> rule6) OR ((((triple2) -> rule8) triple1) -> rule6) OR ((((triple1) -> rule4) ((triple2) -> rule1)) -> rule6) OR ((((triple2) -> rule8) ((triple2) -> rule1)) -> rule6) OR ((((((triple2) -> rule1)) -> rule4) triple1) -> rule6) OR ((((((triple2) -> rule1)) -> rule4) ((triple2) -> rule1)) -> rule6))]
("Charlie" "is" "big" "-")
((((triple1) -> (rule4 % int2)) triple1) -> (rule6 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
((((triple2) -> (rule8 % int2)) triple1) -> (rule6 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
((((triple1) -> (rule4 % int3)) ((triple2) -> (rule1 % int2))) -> (rule6 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
((((triple2) -> (rule8 % int3)) ((triple2) -> (rule1 % int2))) -> (rule6 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
((((((triple2) -> (rule1 % int3))) -> (rule4 % int2)) triple1) -> (rule6 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
((((((triple2) -> (rule1 % int3))) -> (rule4 % int2)) ((triple2) -> (rule1 % int3))) -> (rule6 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is nice.
True
7
proof
[(((((triple1) -> rule4) ((((triple1) -> rule4) triple1) -> rule6)) -> rule2) OR ((((triple1) -> rule4) ((((triple2) -> rule8) triple1) -> rule6)) -> rule2) OR ((((triple2) -> rule8) ((((triple1) -> rule4) triple1) -> rule6)) -> rule2) OR ((((triple2) -> rule8) ((((triple2) -> rule8) triple1) -> rule6)) -> rule2) OR ((((triple1) -> rule4) ((((triple1) -> rule4) ((triple2) -> rule1)) -> rule6)) -> rule2) OR ((((triple1) -> rule4) ((((triple2) -> rule8) ((triple2) -> rule1)) -> rule6)) -> rule2) OR ((((triple2) -> rule8) ((((triple1) -> rule4) ((triple2) -> rule1)) -> rule6)) -> rule2) OR ((((triple2) -> rule8) ((((triple2) -> rule8) ((triple2) -> rule1)) -> rule6)) -> rule2) OR ((((((triple2) -> rule1)) -> rule4) ((((triple1) -> rule4) triple1) -> rule6)) -> rule2) OR ((((((triple2) -> rule1)) -> rule4) ((((triple2) -> rule8) triple1) -> rule6)) -> rule2) OR ((((((triple2) -> rule1)) -> rule4) ((((triple1) -> rule4) ((triple2) -> rule1)) -> rule6)) -> rule2) OR ((((((triple2) -> rule1)) -> rule4) ((((triple2) -> rule8) ((triple2) -> rule1)) -> rule6)) -> rule2) OR ((((triple1) -> rule4) ((((((triple2) -> rule1)) -> rule4) triple1) -> rule6)) -> rule2) OR ((((triple2) -> rule8) ((((((triple2) -> rule1)) -> rule4) triple1) -> rule6)) -> rule2) OR ((((triple1) -> rule4) ((((((triple2) -> rule1)) -> rule4) ((triple2) -> rule1)) -> rule6)) -> rule2) OR ((((triple2) -> rule8) ((((((triple2) -> rule1)) -> rule4) ((triple2) -> rule1)) -> rule6)) -> rule2) OR ((((((triple2) -> rule1)) -> rule4) ((((((triple2) -> rule1)) -> rule4) triple1) -> rule6)) -> rule2) OR ((((((triple2) -> rule1)) -> rule4) ((((((triple2) -> rule1)) -> rule4) ((triple2) -> rule1)) -> rule6)) -> rule2))]
("Charlie" "is" "nice" "+")
((((triple1) -> (rule4 % int3)) ((((triple1) -> (rule4 % int3)) triple1) -> (rule6 % int2))) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
((((triple1) -> (rule4 % int3)) ((((triple2) -> (rule8 % int3)) triple1) -> (rule6 % int2))) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
((((triple2) -> (rule8 % int3)) ((((triple1) -> (rule4 % int3)) triple1) -> (rule6 % int2))) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
((((triple2) -> (rule8 % int3)) ((((triple2) -> (rule8 % int3)) triple1) -> (rule6 % int2))) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
((((triple1) -> (rule4 % int4)) ((((triple1) -> (rule4 % int4)) ((triple2) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
((((triple1) -> (rule4 % int4)) ((((triple2) -> (rule8 % int4)) ((triple2) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
((((triple2) -> (rule8 % int4)) ((((triple1) -> (rule4 % int4)) ((triple2) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
((((triple2) -> (rule8 % int4)) ((((triple2) -> (rule8 % int4)) ((triple2) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
((((((triple2) -> (rule1 % int4))) -> (rule4 % int3)) ((((triple1) -> (rule4 % int3)) triple1) -> (rule6 % int2))) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
((((((triple2) -> (rule1 % int4))) -> (rule4 % int3)) ((((triple2) -> (rule8 % int3)) triple1) -> (rule6 % int2))) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
((((((triple2) -> (rule1 % int4))) -> (rule4 % int3)) ((((triple1) -> (rule4 % int3)) ((triple2) -> (rule1 % int4))) -> (rule6 % int2))) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
((((((triple2) -> (rule1 % int4))) -> (rule4 % int3)) ((((triple2) -> (rule8 % int3)) ((triple2) -> (rule1 % int4))) -> (rule6 % int2))) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
((((triple1) -> (rule4 % int4)) ((((((triple2) -> (rule1 % int3))) -> (rule4 % int4)) triple1) -> (rule6 % int2))) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
((((triple2) -> (rule8 % int4)) ((((((triple2) -> (rule1 % int3))) -> (rule4 % int4)) triple1) -> (rule6 % int2))) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
((((triple1) -> (rule4 % int4)) ((((((triple2) -> (rule1 % int3))) -> (rule4 % int4)) ((triple2) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
((((triple2) -> (rule8 % int4)) ((((((triple2) -> (rule1 % int3))) -> (rule4 % int4)) ((triple2) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
((((((triple2) -> (rule1 % int4))) -> (rule4 % int3)) ((((((triple2) -> (rule1 % int4))) -> (rule4 % int3)) triple1) -> (rule6 % int2))) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
((((((triple2) -> (rule1 % int4))) -> (rule4 % int3)) ((((((triple2) -> (rule1 % int4))) -> (rule4 % int3)) ((triple2) -> (rule1 % int4))) -> (rule6 % int2))) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is not nice.
False
7
inv-proof
[(((((triple1) -> rule4) ((((triple1) -> rule4) triple1) -> rule6)) -> rule2) OR ((((triple1) -> rule4) ((((triple2) -> rule8) triple1) -> rule6)) -> rule2) OR ((((triple2) -> rule8) ((((triple1) -> rule4) triple1) -> rule6)) -> rule2) OR ((((triple2) -> rule8) ((((triple2) -> rule8) triple1) -> rule6)) -> rule2) OR ((((triple1) -> rule4) ((((triple1) -> rule4) ((triple2) -> rule1)) -> rule6)) -> rule2) OR ((((triple1) -> rule4) ((((triple2) -> rule8) ((triple2) -> rule1)) -> rule6)) -> rule2) OR ((((triple2) -> rule8) ((((triple1) -> rule4) ((triple2) -> rule1)) -> rule6)) -> rule2) OR ((((triple2) -> rule8) ((((triple2) -> rule8) ((triple2) -> rule1)) -> rule6)) -> rule2) OR ((((((triple2) -> rule1)) -> rule4) ((((triple1) -> rule4) triple1) -> rule6)) -> rule2) OR ((((((triple2) -> rule1)) -> rule4) ((((triple2) -> rule8) triple1) -> rule6)) -> rule2) OR ((((((triple2) -> rule1)) -> rule4) ((((triple1) -> rule4) ((triple2) -> rule1)) -> rule6)) -> rule2) OR ((((((triple2) -> rule1)) -> rule4) ((((triple2) -> rule8) ((triple2) -> rule1)) -> rule6)) -> rule2) OR ((((triple1) -> rule4) ((((((triple2) -> rule1)) -> rule4) triple1) -> rule6)) -> rule2) OR ((((triple2) -> rule8) ((((((triple2) -> rule1)) -> rule4) triple1) -> rule6)) -> rule2) OR ((((triple1) -> rule4) ((((((triple2) -> rule1)) -> rule4) ((triple2) -> rule1)) -> rule6)) -> rule2) OR ((((triple2) -> rule8) ((((((triple2) -> rule1)) -> rule4) ((triple2) -> rule1)) -> rule6)) -> rule2) OR ((((((triple2) -> rule1)) -> rule4) ((((((triple2) -> rule1)) -> rule4) triple1) -> rule6)) -> rule2) OR ((((((triple2) -> rule1)) -> rule4) ((((((triple2) -> rule1)) -> rule4) ((triple2) -> rule1)) -> rule6)) -> rule2))]
("Charlie" "is" "nice" "-")
((((triple1) -> (rule4 % int3)) ((((triple1) -> (rule4 % int3)) triple1) -> (rule6 % int2))) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
((((triple1) -> (rule4 % int3)) ((((triple2) -> (rule8 % int3)) triple1) -> (rule6 % int2))) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
((((triple2) -> (rule8 % int3)) ((((triple1) -> (rule4 % int3)) triple1) -> (rule6 % int2))) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
((((triple2) -> (rule8 % int3)) ((((triple2) -> (rule8 % int3)) triple1) -> (rule6 % int2))) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
((((triple1) -> (rule4 % int4)) ((((triple1) -> (rule4 % int4)) ((triple2) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
((((triple1) -> (rule4 % int4)) ((((triple2) -> (rule8 % int4)) ((triple2) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
((((triple2) -> (rule8 % int4)) ((((triple1) -> (rule4 % int4)) ((triple2) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
((((triple2) -> (rule8 % int4)) ((((triple2) -> (rule8 % int4)) ((triple2) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
((((((triple2) -> (rule1 % int4))) -> (rule4 % int3)) ((((triple1) -> (rule4 % int3)) triple1) -> (rule6 % int2))) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
((((((triple2) -> (rule1 % int4))) -> (rule4 % int3)) ((((triple2) -> (rule8 % int3)) triple1) -> (rule6 % int2))) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
((((((triple2) -> (rule1 % int4))) -> (rule4 % int3)) ((((triple1) -> (rule4 % int3)) ((triple2) -> (rule1 % int4))) -> (rule6 % int2))) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
((((((triple2) -> (rule1 % int4))) -> (rule4 % int3)) ((((triple2) -> (rule8 % int3)) ((triple2) -> (rule1 % int4))) -> (rule6 % int2))) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
((((triple1) -> (rule4 % int4)) ((((((triple2) -> (rule1 % int3))) -> (rule4 % int4)) triple1) -> (rule6 % int2))) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
((((triple2) -> (rule8 % int4)) ((((((triple2) -> (rule1 % int3))) -> (rule4 % int4)) triple1) -> (rule6 % int2))) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
((((triple1) -> (rule4 % int4)) ((((((triple2) -> (rule1 % int3))) -> (rule4 % int4)) ((triple2) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
((((triple2) -> (rule8 % int4)) ((((((triple2) -> (rule1 % int3))) -> (rule4 % int4)) ((triple2) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
((((((triple2) -> (rule1 % int4))) -> (rule4 % int3)) ((((((triple2) -> (rule1 % int4))) -> (rule4 % int3)) triple1) -> (rule6 % int2))) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
((((((triple2) -> (rule1 % int4))) -> (rule4 % int3)) ((((((triple2) -> (rule1 % int4))) -> (rule4 % int3)) ((triple2) -> (rule1 % int4))) -> (rule6 % int2))) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is not red.
Unknown
inv-random
[@0: Charlie is red.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "red" "-")
Harry is red.
Unknown
random
[@0: Harry is red.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "red" "+")
@0: Charlie is green.[(triple1 OR ((triple2) -> rule1))] Charlie is rough.[(triple2)] Gary is big.[(triple3 OR ((triple4 ((triple8) -> rule1)) -> rule6) OR ((((triple8) -> rule8) ((triple8) -> rule1)) -> rule6) OR ((((((triple8) -> rule1)) -> rule4) ((triple8) -> rule1)) -> rule6))] Gary is blue.[(triple4 OR ((triple8) -> rule8) OR ((((triple8) -> rule1)) -> rule4))] Gary is nice.[(triple5 OR ((triple4 triple3) -> rule2) OR ((((triple8) -> rule8) triple3) -> rule2) OR ((triple4 ((triple4 ((triple8) -> rule1)) -> rule6)) -> rule2) OR ((((((triple8) -> rule1)) -> rule4) triple3) -> rule2) OR ((triple4 ((((triple8) -> rule8) ((triple8) -> rule1)) -> rule6)) -> rule2) OR ((((triple8) -> rule8) ((triple4 ((triple8) -> rule1)) -> rule6)) -> rule2) OR ((((triple8) -> rule8) ((((triple8) -> rule8) ((triple8) -> rule1)) -> rule6)) -> rule2) OR ((((((triple8) -> rule1)) -> rule4) ((triple4 ((triple8) -> rule1)) -> rule6)) -> rule2) OR ((((((triple8) -> rule1)) -> rule4) ((((triple8) -> rule8) ((triple8) -> rule1)) -> rule6)) -> rule2) OR ((triple4 ((((((triple8) -> rule1)) -> rule4) ((triple8) -> rule1)) -> rule6)) -> rule2) OR ((((triple8) -> rule8) ((((((triple8) -> rule1)) -> rule4) ((triple8) -> rule1)) -> rule6)) -> rule2) OR ((((((triple8) -> rule1)) -> rule4) ((((((triple8) -> rule1)) -> rule4) ((triple8) -> rule1)) -> rule6)) -> rule2))] Gary is quiet.[(triple6 OR ((triple5 ((triple8) -> rule1)) -> rule3) OR ((((triple4 triple3) -> rule2) ((triple8) -> rule1)) -> rule3) OR ((((((triple8) -> rule8) triple3) -> rule2) ((triple8) -> rule1)) -> rule3) OR ((((triple4 ((triple4 ((triple8) -> rule1)) -> rule6)) -> rule2) ((triple8) -> rule1)) -> rule3) OR ((((((((triple8) -> rule1)) -> rule4) triple3) -> rule2) ((triple8) -> rule1)) -> rule3) OR ((((triple4 ((((triple8) -> rule8) ((triple8) -> rule1)) -> rule6)) -> rule2) ((triple8) -> rule1)) -> rule3) OR ((((((triple8) -> rule8) ((triple4 ((triple8) -> rule1)) -> rule6)) -> rule2) ((triple8) -> rule1)) -> rule3) OR ((((((triple8) -> rule8) ((((triple8) -> rule8) ((triple8) -> rule1)) -> rule6)) -> rule2) ((triple8) -> rule1)) -> rule3) OR ((((((((triple8) -> rule1)) -> rule4) ((triple4 ((triple8) -> rule1)) -> rule6)) -> rule2) ((triple8) -> rule1)) -> rule3) OR ((((((((triple8) -> rule1)) -> rule4) ((((triple8) -> rule8) ((triple8) -> rule1)) -> rule6)) -> rule2) ((triple8) -> rule1)) -> rule3) OR ((((triple4 ((((((triple8) -> rule1)) -> rule4) ((triple8) -> rule1)) -> rule6)) -> rule2) ((triple8) -> rule1)) -> rule3) OR ((((((triple8) -> rule8) ((((((triple8) -> rule1)) -> rule4) ((triple8) -> rule1)) -> rule6)) -> rule2) ((triple8) -> rule1)) -> rule3) OR ((((((((triple8) -> rule1)) -> rule4) ((((((triple8) -> rule1)) -> rule4) ((triple8) -> rule1)) -> rule6)) -> rule2) ((triple8) -> rule1)) -> rule3))] Gary is red.[(triple7)] Gary is rough.[(triple8)] Harry is big.[(triple9 OR ((((triple10) -> rule4) triple10) -> rule6) OR ((((triple12) -> rule8) triple10) -> rule6) OR ((((triple10) -> rule4) ((triple12) -> rule1)) -> rule6) OR ((((triple12) -> rule8) ((triple12) -> rule1)) -> rule6) OR ((((((triple12) -> rule1)) -> rule4) triple10) -> rule6) OR ((((((triple12) -> rule1)) -> rule4) ((triple12) -> rule1)) -> rule6))] Harry is green.[(triple10 OR ((triple12) -> rule1))] Harry is quiet.[(triple11 OR ((((((triple10) -> rule4) triple9) -> rule2) triple10) -> rule3) OR ((((((triple12) -> rule8) triple9) -> rule2) triple10) -> rule3) OR ((((((triple10) -> rule4) triple9) -> rule2) ((triple12) -> rule1)) -> rule3) OR ((((((triple12) -> rule8) triple9) -> rule2) ((triple12) -> rule1)) -> rule3) OR ((((((((triple12) -> rule1)) -> rule4) triple9) -> rule2) triple10) -> rule3) OR ((((((triple10) -> rule4) ((((triple10) -> rule4) triple10) -> rule6)) -> rule2) triple10) -> rule3) OR ((((((triple10) -> rule4) ((((triple12) -> rule8) triple10) -> rule6)) -> rule2) triple10) -> rule3) OR ((((((triple12) -> rule8) ((((triple10) -> rule4) triple10) -> rule6)) -> rule2) triple10) -> rule3) OR ((((((triple12) -> rule8) ((((triple12) -> rule8) triple10) -> rule6)) -> rule2) triple10) -> rule3) OR ((((((((triple12) -> rule1)) -> rule4) triple9) -> rule2) ((triple12) -> rule1)) -> rule3) OR ((((((triple10) -> rule4) ((((triple10) -> rule4) triple10) -> rule6)) -> rule2) ((triple12) -> rule1)) -> rule3) OR ((((((triple10) -> rule4) ((((triple10) -> rule4) ((triple12) -> rule1)) -> rule6)) -> rule2) triple10) -> rule3) OR ((((((triple10) -> rule4) ((((triple12) -> rule8) triple10) -> rule6)) -> rule2) ((triple12) -> rule1)) -> rule3) OR ((((((triple10) -> rule4) ((((triple12) -> rule8) ((triple12) -> rule1)) -> rule6)) -> rule2) triple10) -> rule3) OR ((((((triple12) -> rule8) ((((triple10) -> rule4) triple10) -> rule6)) -> rule2) ((triple12) -> rule1)) -> rule3) OR ((((((triple12) -> rule8) ((((triple10) -> rule4) ((triple12) -> rule1)) -> rule6)) -> rule2) triple10) -> rule3) OR ((((((triple12) -> rule8) ((((triple12) -> rule8) triple10) -> rule6)) -> rule2) ((triple12) -> rule1)) -> rule3) OR ((((((triple12) -> rule8) ((((triple12) -> rule8) ((triple12) -> rule1)) -> rule6)) -> rule2) triple10) -> rule3) OR ((((((((triple12) -> rule1)) -> rule4) ((((triple10) -> rule4) triple10) -> rule6)) -> rule2) triple10) -> rule3) OR ((((((((triple12) -> rule1)) -> rule4) ((((triple12) -> rule8) triple10) -> rule6)) -> rule2) triple10) -> rule3) OR ((((((triple10) -> rule4) ((((triple10) -> rule4) ((triple12) -> rule1)) -> rule6)) -> rule2) ((triple12) -> rule1)) -> rule3) OR ((((((triple10) -> rule4) ((((triple12) -> rule8) ((triple12) -> rule1)) -> rule6)) -> rule2) ((triple12) -> rule1)) -> rule3) OR ((((((triple12) -> rule8) ((((triple10) -> rule4) ((triple12) -> rule1)) -> rule6)) -> rule2) ((triple12) -> rule1)) -> rule3) OR ((((((triple12) -> rule8) ((((triple12) -> rule8) ((triple12) -> rule1)) -> rule6)) -> rule2) ((triple12) -> rule1)) -> rule3) OR ((((((((triple12) -> rule1)) -> rule4) ((((triple10) -> rule4) triple10) -> rule6)) -> rule2) ((triple12) -> rule1)) -> rule3) OR ((((((((triple12) -> rule1)) -> rule4) ((((triple10) -> rule4) ((triple12) -> rule1)) -> rule6)) -> rule2) triple10) -> rule3) OR ((((((((triple12) -> rule1)) -> rule4) ((((triple12) -> rule8) triple10) -> rule6)) -> rule2) ((triple12) -> rule1)) -> rule3) OR ((((((((triple12) -> rule1)) -> rule4) ((((triple12) -> rule8) ((triple12) -> rule1)) -> rule6)) -> rule2) triple10) -> rule3) OR ((((((((triple12) -> rule1)) -> rule4) ((((triple10) -> rule4) ((triple12) -> rule1)) -> rule6)) -> rule2) ((triple12) -> rule1)) -> rule3) OR ((((((((triple12) -> rule1)) -> rule4) ((((triple12) -> rule8) ((triple12) -> rule1)) -> rule6)) -> rule2) ((triple12) -> rule1)) -> rule3) OR ((((((triple10) -> rule4) ((((((triple12) -> rule1)) -> rule4) triple10) -> rule6)) -> rule2) triple10) -> rule3) OR ((((((triple12) -> rule8) ((((((triple12) -> rule1)) -> rule4) triple10) -> rule6)) -> rule2) triple10) -> rule3) OR ((((((triple10) -> rule4) ((((((triple12) -> rule1)) -> rule4) triple10) -> rule6)) -> rule2) ((triple12) -> rule1)) -> rule3) OR ((((((triple10) -> rule4) ((((((triple12) -> rule1)) -> rule4) ((triple12) -> rule1)) -> rule6)) -> rule2) triple10) -> rule3) OR ((((((triple12) -> rule8) ((((((triple12) -> rule1)) -> rule4) triple10) -> rule6)) -> rule2) ((triple12) -> rule1)) -> rule3) OR ((((((triple12) -> rule8) ((((((triple12) -> rule1)) -> rule4) ((triple12) -> rule1)) -> rule6)) -> rule2) triple10) -> rule3) OR ((((((((triple12) -> rule1)) -> rule4) ((((((triple12) -> rule1)) -> rule4) triple10) -> rule6)) -> rule2) triple10) -> rule3) OR ((((((triple10) -> rule4) ((((((triple12) -> rule1)) -> rule4) ((triple12) -> rule1)) -> rule6)) -> rule2) ((triple12) -> rule1)) -> rule3) OR ((((((triple12) -> rule8) ((((((triple12) -> rule1)) -> rule4) ((triple12) -> rule1)) -> rule6)) -> rule2) ((triple12) -> rule1)) -> rule3) OR ((((((((triple12) -> rule1)) -> rule4) ((((((triple12) -> rule1)) -> rule4) triple10) -> rule6)) -> rule2) ((triple12) -> rule1)) -> rule3) OR ((((((((triple12) -> rule1)) -> rule4) ((((((triple12) -> rule1)) -> rule4) ((triple12) -> rule1)) -> rule6)) -> rule2) triple10) -> rule3) OR ((((((((triple12) -> rule1)) -> rule4) ((((((triple12) -> rule1)) -> rule4) ((triple12) -> rule1)) -> rule6)) -> rule2) ((triple12) -> rule1)) -> rule3))] Harry is rough.[(triple12)] @1: Charlie is blue.[(((triple1) -> rule4) OR ((triple2) -> rule8) OR ((((triple2) -> rule1)) -> rule4))] Gary is green.[(((triple8) -> rule1))] Harry is blue.[(((triple10) -> rule4) OR ((triple12) -> rule8) OR ((((triple12) -> rule1)) -> rule4))] @2: Charlie is big.[(((((triple1) -> rule4) triple1) -> rule6) OR ((((triple2) -> rule8) triple1) -> rule6) OR ((((triple1) -> rule4) ((triple2) -> rule1)) -> rule6) OR ((((triple2) -> rule8) ((triple2) -> rule1)) -> rule6) OR ((((((triple2) -> rule1)) -> rule4) triple1) -> rule6) OR ((((((triple2) -> rule1)) -> rule4) ((triple2) -> rule1)) -> rule6))] Harry is nice.[(((((triple10) -> rule4) triple9) -> rule2) OR ((((triple12) -> rule8) triple9) -> rule2) OR ((((((triple12) -> rule1)) -> rule4) triple9) -> rule2) OR ((((triple10) -> rule4) ((((triple10) -> rule4) triple10) -> rule6)) -> rule2) OR ((((triple10) -> rule4) ((((triple12) -> rule8) triple10) -> rule6)) -> rule2) OR ((((triple12) -> rule8) ((((triple10) -> rule4) triple10) -> rule6)) -> rule2) OR ((((triple12) -> rule8) ((((triple12) -> rule8) triple10) -> rule6)) -> rule2) OR ((((triple10) -> rule4) ((((triple10) -> rule4) ((triple12) -> rule1)) -> rule6)) -> rule2) OR ((((triple10) -> rule4) ((((triple12) -> rule8) ((triple12) -> rule1)) -> rule6)) -> rule2) OR ((((triple12) -> rule8) ((((triple10) -> rule4) ((triple12) -> rule1)) -> rule6)) -> rule2) OR ((((triple12) -> rule8) ((((triple12) -> rule8) ((triple12) -> rule1)) -> rule6)) -> rule2) OR ((((((triple12) -> rule1)) -> rule4) ((((triple10) -> rule4) triple10) -> rule6)) -> rule2) OR ((((((triple12) -> rule1)) -> rule4) ((((triple12) -> rule8) triple10) -> rule6)) -> rule2) OR ((((((triple12) -> rule1)) -> rule4) ((((triple10) -> rule4) ((triple12) -> rule1)) -> rule6)) -> rule2) OR ((((((triple12) -> rule1)) -> rule4) ((((triple12) -> rule8) ((triple12) -> rule1)) -> rule6)) -> rule2) OR ((((triple10) -> rule4) ((((((triple12) -> rule1)) -> rule4) triple10) -> rule6)) -> rule2) OR ((((triple12) -> rule8) ((((((triple12) -> rule1)) -> rule4) triple10) -> rule6)) -> rule2) OR ((((triple10) -> rule4) ((((((triple12) -> rule1)) -> rule4) ((triple12) -> rule1)) -> rule6)) -> rule2) OR ((((triple12) -> rule8) ((((((triple12) -> rule1)) -> rule4) ((triple12) -> rule1)) -> rule6)) -> rule2) OR ((((((triple12) -> rule1)) -> rule4) ((((((triple12) -> rule1)) -> rule4) triple10) -> rule6)) -> rule2) OR ((((((triple12) -> rule1)) -> rule4) ((((((triple12) -> rule1)) -> rule4) ((triple12) -> rule1)) -> rule6)) -> rule2))] @3: Charlie is nice.[(((((triple1) -> rule4) ((((triple1) -> rule4) triple1) -> rule6)) -> rule2) OR ((((triple1) -> rule4) ((((triple2) -> rule8) triple1) -> rule6)) -> rule2) OR ((((triple2) -> rule8) ((((triple1) -> rule4) triple1) -> rule6)) -> rule2) OR ((((triple2) -> rule8) ((((triple2) -> rule8) triple1) -> rule6)) -> rule2) OR ((((triple1) -> rule4) ((((triple1) -> rule4) ((triple2) -> rule1)) -> rule6)) -> rule2) OR ((((triple1) -> rule4) ((((triple2) -> rule8) ((triple2) -> rule1)) -> rule6)) -> rule2) OR ((((triple2) -> rule8) ((((triple1) -> rule4) ((triple2) -> rule1)) -> rule6)) -> rule2) OR ((((triple2) -> rule8) ((((triple2) -> rule8) ((triple2) -> rule1)) -> rule6)) -> rule2) OR ((((((triple2) -> rule1)) -> rule4) ((((triple1) -> rule4) triple1) -> rule6)) -> rule2) OR ((((((triple2) -> rule1)) -> rule4) ((((triple2) -> rule8) triple1) -> rule6)) -> rule2) OR ((((((triple2) -> rule1)) -> rule4) ((((triple1) -> rule4) ((triple2) -> rule1)) -> rule6)) -> rule2) OR ((((((triple2) -> rule1)) -> rule4) ((((triple2) -> rule8) ((triple2) -> rule1)) -> rule6)) -> rule2) OR ((((triple1) -> rule4) ((((((triple2) -> rule1)) -> rule4) triple1) -> rule6)) -> rule2) OR ((((triple2) -> rule8) ((((((triple2) -> rule1)) -> rule4) triple1) -> rule6)) -> rule2) OR ((((triple1) -> rule4) ((((((triple2) -> rule1)) -> rule4) ((triple2) -> rule1)) -> rule6)) -> rule2) OR ((((triple2) -> rule8) ((((((triple2) -> rule1)) -> rule4) ((triple2) -> rule1)) -> rule6)) -> rule2) OR ((((((triple2) -> rule1)) -> rule4) ((((((triple2) -> rule1)) -> rule4) triple1) -> rule6)) -> rule2) OR ((((((triple2) -> rule1)) -> rule4) ((((((triple2) -> rule1)) -> rule4) ((triple2) -> rule1)) -> rule6)) -> rule2))] @4: Charlie is quiet.[(((((((triple1) -> rule4) ((((triple1) -> rule4) triple1) -> rule6)) -> rule2)) -> rule7) OR ((((((triple1) -> rule4) ((((triple2) -> rule8) triple1) -> rule6)) -> rule2)) -> rule7) OR ((((((triple2) -> rule8) ((((triple1) -> rule4) triple1) -> rule6)) -> rule2)) -> rule7) OR ((((((triple2) -> rule8) ((((triple2) -> rule8) triple1) -> rule6)) -> rule2)) -> rule7) OR ((((((triple1) -> rule4) ((((triple1) -> rule4) triple1) -> rule6)) -> rule2) triple1) -> rule3) OR ((((((triple1) -> rule4) ((((triple2) -> rule8) triple1) -> rule6)) -> rule2) triple1) -> rule3) OR ((((((triple2) -> rule8) ((((triple1) -> rule4) triple1) -> rule6)) -> rule2) triple1) -> rule3) OR ((((((triple2) -> rule8) ((((triple2) -> rule8) triple1) -> rule6)) -> rule2) triple1) -> rule3) OR ((((((triple1) -> rule4) ((((triple1) -> rule4) ((triple2) -> rule1)) -> rule6)) -> rule2)) -> rule7) OR ((((((triple1) -> rule4) ((((triple2) -> rule8) ((triple2) -> rule1)) -> rule6)) -> rule2)) -> rule7) OR ((((((triple2) -> rule8) ((((triple1) -> rule4) ((triple2) -> rule1)) -> rule6)) -> rule2)) -> rule7) OR ((((((triple2) -> rule8) ((((triple2) -> rule8) ((triple2) -> rule1)) -> rule6)) -> rule2)) -> rule7) OR ((((((((triple2) -> rule1)) -> rule4) ((((triple1) -> rule4) triple1) -> rule6)) -> rule2)) -> rule7) OR ((((((((triple2) -> rule1)) -> rule4) ((((triple2) -> rule8) triple1) -> rule6)) -> rule2)) -> rule7) OR ((((((triple1) -> rule4) ((((triple1) -> rule4) triple1) -> rule6)) -> rule2) ((triple2) -> rule1)) -> rule3) OR ((((((triple1) -> rule4) ((((triple1) -> rule4) ((triple2) -> rule1)) -> rule6)) -> rule2) triple1) -> rule3) OR ((((((triple1) -> rule4) ((((triple2) -> rule8) triple1) -> rule6)) -> rule2) ((triple2) -> rule1)) -> rule3) OR ((((((triple1) -> rule4) ((((triple2) -> rule8) ((triple2) -> rule1)) -> rule6)) -> rule2) triple1) -> rule3) OR ((((((triple2) -> rule8) ((((triple1) -> rule4) triple1) -> rule6)) -> rule2) ((triple2) -> rule1)) -> rule3) OR ((((((triple2) -> rule8) ((((triple1) -> rule4) ((triple2) -> rule1)) -> rule6)) -> rule2) triple1) -> rule3) OR ((((((triple2) -> rule8) ((((triple2) -> rule8) triple1) -> rule6)) -> rule2) ((triple2) -> rule1)) -> rule3) OR ((((((triple2) -> rule8) ((((triple2) -> rule8) ((triple2) -> rule1)) -> rule6)) -> rule2) triple1) -> rule3) OR ((((((((triple2) -> rule1)) -> rule4) ((((triple1) -> rule4) triple1) -> rule6)) -> rule2) triple1) -> rule3) OR ((((((((triple2) -> rule1)) -> rule4) ((((triple2) -> rule8) triple1) -> rule6)) -> rule2) triple1) -> rule3) OR ((((((((triple2) -> rule1)) -> rule4) ((((triple1) -> rule4) ((triple2) -> rule1)) -> rule6)) -> rule2)) -> rule7) OR ((((((((triple2) -> rule1)) -> rule4) ((((triple2) -> rule8) ((triple2) -> rule1)) -> rule6)) -> rule2)) -> rule7) OR ((((((triple1) -> rule4) ((((triple1) -> rule4) ((triple2) -> rule1)) -> rule6)) -> rule2) ((triple2) -> rule1)) -> rule3) OR ((((((triple1) -> rule4) ((((triple2) -> rule8) ((triple2) -> rule1)) -> rule6)) -> rule2) ((triple2) -> rule1)) -> rule3) OR ((((((triple2) -> rule8) ((((triple1) -> rule4) ((triple2) -> rule1)) -> rule6)) -> rule2) ((triple2) -> rule1)) -> rule3) OR ((((((triple2) -> rule8) ((((triple2) -> rule8) ((triple2) -> rule1)) -> rule6)) -> rule2) ((triple2) -> rule1)) -> rule3) OR ((((((((triple2) -> rule1)) -> rule4) ((((triple1) -> rule4) triple1) -> rule6)) -> rule2) ((triple2) -> rule1)) -> rule3) OR ((((((((triple2) -> rule1)) -> rule4) ((((triple1) -> rule4) ((triple2) -> rule1)) -> rule6)) -> rule2) triple1) -> rule3) OR ((((((((triple2) -> rule1)) -> rule4) ((((triple2) -> rule8) triple1) -> rule6)) -> rule2) ((triple2) -> rule1)) -> rule3) OR ((((((((triple2) -> rule1)) -> rule4) ((((triple2) -> rule8) ((triple2) -> rule1)) -> rule6)) -> rule2) triple1) -> rule3) OR ((((((((triple2) -> rule1)) -> rule4) ((((triple1) -> rule4) ((triple2) -> rule1)) -> rule6)) -> rule2) ((triple2) -> rule1)) -> rule3) OR ((((((((triple2) -> rule1)) -> rule4) ((((triple2) -> rule8) ((triple2) -> rule1)) -> rule6)) -> rule2) ((triple2) -> rule1)) -> rule3) OR ((((((triple1) -> rule4) ((((((triple2) -> rule1)) -> rule4) triple1) -> rule6)) -> rule2)) -> rule7) OR ((((((triple2) -> rule8) ((((((triple2) -> rule1)) -> rule4) triple1) -> rule6)) -> rule2)) -> rule7) OR ((((((triple1) -> rule4) ((((((triple2) -> rule1)) -> rule4) triple1) -> rule6)) -> rule2) triple1) -> rule3) OR ((((((triple2) -> rule8) ((((((triple2) -> rule1)) -> rule4) triple1) -> rule6)) -> rule2) triple1) -> rule3) OR ((((((triple1) -> rule4) ((((((triple2) -> rule1)) -> rule4) ((triple2) -> rule1)) -> rule6)) -> rule2)) -> rule7) OR ((((((triple2) -> rule8) ((((((triple2) -> rule1)) -> rule4) ((triple2) -> rule1)) -> rule6)) -> rule2)) -> rule7) OR ((((((((triple2) -> rule1)) -> rule4) ((((((triple2) -> rule1)) -> rule4) triple1) -> rule6)) -> rule2)) -> rule7) OR ((((((triple1) -> rule4) ((((((triple2) -> rule1)) -> rule4) triple1) -> rule6)) -> rule2) ((triple2) -> rule1)) -> rule3) OR ((((((triple1) -> rule4) ((((((triple2) -> rule1)) -> rule4) ((triple2) -> rule1)) -> rule6)) -> rule2) triple1) -> rule3) OR ((((((triple2) -> rule8) ((((((triple2) -> rule1)) -> rule4) triple1) -> rule6)) -> rule2) ((triple2) -> rule1)) -> rule3) OR ((((((triple2) -> rule8) ((((((triple2) -> rule1)) -> rule4) ((triple2) -> rule1)) -> rule6)) -> rule2) triple1) -> rule3) OR ((((((((triple2) -> rule1)) -> rule4) ((((((triple2) -> rule1)) -> rule4) triple1) -> rule6)) -> rule2) triple1) -> rule3) OR ((((((((triple2) -> rule1)) -> rule4) ((((((triple2) -> rule1)) -> rule4) ((triple2) -> rule1)) -> rule6)) -> rule2)) -> rule7) OR ((((((triple1) -> rule4) ((((((triple2) -> rule1)) -> rule4) ((triple2) -> rule1)) -> rule6)) -> rule2) ((triple2) -> rule1)) -> rule3) OR ((((((triple2) -> rule8) ((((((triple2) -> rule1)) -> rule4) ((triple2) -> rule1)) -> rule6)) -> rule2) ((triple2) -> rule1)) -> rule3) OR ((((((((triple2) -> rule1)) -> rule4) ((((((triple2) -> rule1)) -> rule4) triple1) -> rule6)) -> rule2) ((triple2) -> rule1)) -> rule3) OR ((((((((triple2) -> rule1)) -> rule4) ((((((triple2) -> rule1)) -> rule4) ((triple2) -> rule1)) -> rule6)) -> rule2) triple1) -> rule3) OR ((((((((triple2) -> rule1)) -> rule4) ((((((triple2) -> rule1)) -> rule4) ((triple2) -> rule1)) -> rule6)) -> rule2) ((triple2) -> rule1)) -> rule3))]
Charlie is green.
("Charlie" "is" "green" "+")
triple1
((triple2) -> (rule1 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
triple2
Gary is big.
("Gary" "is" "big" "+")
triple3
((triple4 ((triple8) -> (rule1 % int2))) -> (rule6 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
((((triple8) -> (rule8 % int3)) ((triple8) -> (rule1 % int2))) -> (rule6 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
((((((triple8) -> (rule1 % int3))) -> (rule4 % int2)) ((triple8) -> (rule1 % int3))) -> (rule6 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
triple4
((triple8) -> (rule8 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
((((triple8) -> (rule1 % int2))) -> (rule4 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
triple5
((triple4 triple3) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
((((triple8) -> (rule8 % int2)) triple3) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
((triple4 ((triple4 ((triple8) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
((((((triple8) -> (rule1 % int3))) -> (rule4 % int2)) triple3) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
((triple4 ((((triple8) -> (rule8 % int4)) ((triple8) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
((((triple8) -> (rule8 % int4)) ((triple4 ((triple8) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
((((triple8) -> (rule8 % int4)) ((((triple8) -> (rule8 % int4)) ((triple8) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
((((((triple8) -> (rule1 % int4))) -> (rule4 % int3)) ((triple4 ((triple8) -> (rule1 % int4))) -> (rule6 % int2))) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
((((((triple8) -> (rule1 % int4))) -> (rule4 % int3)) ((((triple8) -> (rule8 % int3)) ((triple8) -> (rule1 % int4))) -> (rule6 % int2))) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
((triple4 ((((((triple8) -> (rule1 % int4))) -> (rule4 % int3)) ((triple8) -> (rule1 % int4))) -> (rule6 % int2))) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
((((triple8) -> (rule8 % int4)) ((((((triple8) -> (rule1 % int3))) -> (rule4 % int4)) ((triple8) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
((((((triple8) -> (rule1 % int4))) -> (rule4 % int3)) ((((((triple8) -> (rule1 % int4))) -> (rule4 % int3)) ((triple8) -> (rule1 % int4))) -> (rule6 % int2))) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
triple6
((triple5 ((triple8) -> (rule1 % int2))) -> (rule3 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
((((triple4 triple3) -> (rule2 % int3)) ((triple8) -> (rule1 % int2))) -> (rule3 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
((((((triple8) -> (rule8 % int4)) triple3) -> (rule2 % int3)) ((triple8) -> (rule1 % int2))) -> (rule3 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
((((triple4 ((triple4 ((triple8) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule2 % int2)) ((triple8) -> (rule1 % int4))) -> (rule3 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
((((((((triple8) -> (rule1 % int4))) -> (rule4 % int3)) triple3) -> (rule2 % int2)) ((triple8) -> (rule1 % int4))) -> (rule3 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
((((triple4 ((((triple8) -> (rule8 % int5)) ((triple8) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule2 % int2)) ((triple8) -> (rule1 % int4))) -> (rule3 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is blue.
("Gary" "is" "blue" "+")
int5
((((((triple8) -> (rule8 % int5)) ((triple4 ((triple8) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule2 % int2)) ((triple8) -> (rule1 % int4))) -> (rule3 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is blue.
("Gary" "is" "blue" "+")
int5
((((((triple8) -> (rule8 % int5)) ((((triple8) -> (rule8 % int5)) ((triple8) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule2 % int2)) ((triple8) -> (rule1 % int4))) -> (rule3 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is blue.
("Gary" "is" "blue" "+")
int5
((((((((triple8) -> (rule1 % int5))) -> (rule4 % int4)) ((triple4 ((triple8) -> (rule1 % int5))) -> (rule6 % int3))) -> (rule2 % int2)) ((triple8) -> (rule1 % int5))) -> (rule3 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
((((((((triple8) -> (rule1 % int5))) -> (rule4 % int4)) ((((triple8) -> (rule8 % int4)) ((triple8) -> (rule1 % int5))) -> (rule6 % int3))) -> (rule2 % int2)) ((triple8) -> (rule1 % int5))) -> (rule3 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
((((triple4 ((((((triple8) -> (rule1 % int5))) -> (rule4 % int4)) ((triple8) -> (rule1 % int5))) -> (rule6 % int3))) -> (rule2 % int2)) ((triple8) -> (rule1 % int5))) -> (rule3 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
((((((triple8) -> (rule8 % int5)) ((((((triple8) -> (rule1 % int4))) -> (rule4 % int5)) ((triple8) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule2 % int2)) ((triple8) -> (rule1 % int4))) -> (rule3 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is blue.
("Gary" "is" "blue" "+")
int5
((((((((triple8) -> (rule1 % int5))) -> (rule4 % int4)) ((((((triple8) -> (rule1 % int5))) -> (rule4 % int4)) ((triple8) -> (rule1 % int5))) -> (rule6 % int3))) -> (rule2 % int2)) ((triple8) -> (rule1 % int5))) -> (rule3 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
Gary is red.
("Gary" "is" "red" "+")
triple7
Gary is rough.
("Gary" "is" "rough" "+")
triple8
Harry is big.
("Harry" "is" "big" "+")
triple9
((((triple10) -> (rule4 % int2)) triple10) -> (rule6 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
((((triple12) -> (rule8 % int2)) triple10) -> (rule6 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
((((triple10) -> (rule4 % int3)) ((triple12) -> (rule1 % int2))) -> (rule6 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
((((triple12) -> (rule8 % int3)) ((triple12) -> (rule1 % int2))) -> (rule6 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
((((((triple12) -> (rule1 % int3))) -> (rule4 % int2)) triple10) -> (rule6 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
((((((triple12) -> (rule1 % int3))) -> (rule4 % int2)) ((triple12) -> (rule1 % int3))) -> (rule6 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
triple10
((triple12) -> (rule1 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
triple11
((((((triple10) -> (rule4 % int3)) triple9) -> (rule2 % int2)) triple10) -> (rule3 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
((((((triple12) -> (rule8 % int3)) triple9) -> (rule2 % int2)) triple10) -> (rule3 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
((((((triple10) -> (rule4 % int4)) triple9) -> (rule2 % int3)) ((triple12) -> (rule1 % int2))) -> (rule3 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
((((((triple12) -> (rule8 % int4)) triple9) -> (rule2 % int3)) ((triple12) -> (rule1 % int2))) -> (rule3 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
((((((((triple12) -> (rule1 % int4))) -> (rule4 % int3)) triple9) -> (rule2 % int2)) triple10) -> (rule3 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
((((((triple10) -> (rule4 % int4)) ((((triple10) -> (rule4 % int4)) triple10) -> (rule6 % int3))) -> (rule2 % int2)) triple10) -> (rule3 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
((((((triple10) -> (rule4 % int4)) ((((triple12) -> (rule8 % int4)) triple10) -> (rule6 % int3))) -> (rule2 % int2)) triple10) -> (rule3 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
((((((triple12) -> (rule8 % int4)) ((((triple10) -> (rule4 % int4)) triple10) -> (rule6 % int3))) -> (rule2 % int2)) triple10) -> (rule3 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
((((((triple12) -> (rule8 % int4)) ((((triple12) -> (rule8 % int4)) triple10) -> (rule6 % int3))) -> (rule2 % int2)) triple10) -> (rule3 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
((((((((triple12) -> (rule1 % int4))) -> (rule4 % int3)) triple9) -> (rule2 % int2)) ((triple12) -> (rule1 % int4))) -> (rule3 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
((((((triple10) -> (rule4 % int5)) ((((triple10) -> (rule4 % int5)) triple10) -> (rule6 % int4))) -> (rule2 % int3)) ((triple12) -> (rule1 % int2))) -> (rule3 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
int5
((((((triple10) -> (rule4 % int5)) ((((triple10) -> (rule4 % int5)) ((triple12) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule2 % int2)) triple10) -> (rule3 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
int5
((((((triple10) -> (rule4 % int5)) ((((triple12) -> (rule8 % int5)) triple10) -> (rule6 % int4))) -> (rule2 % int3)) ((triple12) -> (rule1 % int2))) -> (rule3 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
int5
((((((triple10) -> (rule4 % int5)) ((((triple12) -> (rule8 % int5)) ((triple12) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule2 % int2)) triple10) -> (rule3 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
int5
((((((triple12) -> (rule8 % int5)) ((((triple10) -> (rule4 % int5)) triple10) -> (rule6 % int4))) -> (rule2 % int3)) ((triple12) -> (rule1 % int2))) -> (rule3 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
int5
((((((triple12) -> (rule8 % int5)) ((((triple10) -> (rule4 % int5)) ((triple12) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule2 % int2)) triple10) -> (rule3 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
int5
((((((triple12) -> (rule8 % int5)) ((((triple12) -> (rule8 % int5)) triple10) -> (rule6 % int4))) -> (rule2 % int3)) ((triple12) -> (rule1 % int2))) -> (rule3 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
int5
((((((triple12) -> (rule8 % int5)) ((((triple12) -> (rule8 % int5)) ((triple12) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule2 % int2)) triple10) -> (rule3 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
int5
((((((((triple12) -> (rule1 % int5))) -> (rule4 % int4)) ((((triple10) -> (rule4 % int4)) triple10) -> (rule6 % int3))) -> (rule2 % int2)) triple10) -> (rule3 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
int5
((((((((triple12) -> (rule1 % int5))) -> (rule4 % int4)) ((((triple12) -> (rule8 % int4)) triple10) -> (rule6 % int3))) -> (rule2 % int2)) triple10) -> (rule3 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
int5
((((((triple10) -> (rule4 % int5)) ((((triple10) -> (rule4 % int5)) ((triple12) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule2 % int2)) ((triple12) -> (rule1 % int4))) -> (rule3 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
int5
((((((triple10) -> (rule4 % int5)) ((((triple12) -> (rule8 % int5)) ((triple12) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule2 % int2)) ((triple12) -> (rule1 % int4))) -> (rule3 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
int5
((((((triple12) -> (rule8 % int5)) ((((triple10) -> (rule4 % int5)) ((triple12) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule2 % int2)) ((triple12) -> (rule1 % int4))) -> (rule3 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
int5
((((((triple12) -> (rule8 % int5)) ((((triple12) -> (rule8 % int5)) ((triple12) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule2 % int2)) ((triple12) -> (rule1 % int4))) -> (rule3 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
int5
((((((((triple12) -> (rule1 % int5))) -> (rule4 % int4)) ((((triple10) -> (rule4 % int4)) triple10) -> (rule6 % int3))) -> (rule2 % int2)) ((triple12) -> (rule1 % int5))) -> (rule3 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
int5
((((((((triple12) -> (rule1 % int5))) -> (rule4 % int4)) ((((triple10) -> (rule4 % int4)) ((triple12) -> (rule1 % int5))) -> (rule6 % int3))) -> (rule2 % int2)) triple10) -> (rule3 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
int5
((((((((triple12) -> (rule1 % int5))) -> (rule4 % int4)) ((((triple12) -> (rule8 % int4)) triple10) -> (rule6 % int3))) -> (rule2 % int2)) ((triple12) -> (rule1 % int5))) -> (rule3 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
int5
((((((((triple12) -> (rule1 % int5))) -> (rule4 % int4)) ((((triple12) -> (rule8 % int4)) ((triple12) -> (rule1 % int5))) -> (rule6 % int3))) -> (rule2 % int2)) triple10) -> (rule3 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
int5
((((((((triple12) -> (rule1 % int5))) -> (rule4 % int4)) ((((triple10) -> (rule4 % int4)) ((triple12) -> (rule1 % int5))) -> (rule6 % int3))) -> (rule2 % int2)) ((triple12) -> (rule1 % int5))) -> (rule3 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
int5
((((((((triple12) -> (rule1 % int5))) -> (rule4 % int4)) ((((triple12) -> (rule8 % int4)) ((triple12) -> (rule1 % int5))) -> (rule6 % int3))) -> (rule2 % int2)) ((triple12) -> (rule1 % int5))) -> (rule3 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
int5
((((((triple10) -> (rule4 % int5)) ((((((triple12) -> (rule1 % int4))) -> (rule4 % int5)) triple10) -> (rule6 % int3))) -> (rule2 % int2)) triple10) -> (rule3 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
int5
((((((triple12) -> (rule8 % int5)) ((((((triple12) -> (rule1 % int4))) -> (rule4 % int5)) triple10) -> (rule6 % int3))) -> (rule2 % int2)) triple10) -> (rule3 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
int5
((((((triple10) -> (rule4 % int5)) ((((((triple12) -> (rule1 % int4))) -> (rule4 % int5)) triple10) -> (rule6 % int3))) -> (rule2 % int2)) ((triple12) -> (rule1 % int4))) -> (rule3 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
int5
((((((triple10) -> (rule4 % int5)) ((((((triple12) -> (rule1 % int4))) -> (rule4 % int5)) ((triple12) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule2 % int2)) triple10) -> (rule3 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
int5
((((((triple12) -> (rule8 % int5)) ((((((triple12) -> (rule1 % int4))) -> (rule4 % int5)) triple10) -> (rule6 % int3))) -> (rule2 % int2)) ((triple12) -> (rule1 % int4))) -> (rule3 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
int5
((((((triple12) -> (rule8 % int5)) ((((((triple12) -> (rule1 % int4))) -> (rule4 % int5)) ((triple12) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule2 % int2)) triple10) -> (rule3 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
int5
((((((((triple12) -> (rule1 % int5))) -> (rule4 % int4)) ((((((triple12) -> (rule1 % int5))) -> (rule4 % int4)) triple10) -> (rule6 % int3))) -> (rule2 % int2)) triple10) -> (rule3 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
int5
((((((triple10) -> (rule4 % int5)) ((((((triple12) -> (rule1 % int4))) -> (rule4 % int5)) ((triple12) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule2 % int2)) ((triple12) -> (rule1 % int4))) -> (rule3 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
int5
((((((triple12) -> (rule8 % int5)) ((((((triple12) -> (rule1 % int4))) -> (rule4 % int5)) ((triple12) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule2 % int2)) ((triple12) -> (rule1 % int4))) -> (rule3 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
int5
((((((((triple12) -> (rule1 % int5))) -> (rule4 % int4)) ((((((triple12) -> (rule1 % int5))) -> (rule4 % int4)) triple10) -> (rule6 % int3))) -> (rule2 % int2)) ((triple12) -> (rule1 % int5))) -> (rule3 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
int5
((((((((triple12) -> (rule1 % int5))) -> (rule4 % int4)) ((((((triple12) -> (rule1 % int5))) -> (rule4 % int4)) ((triple12) -> (rule1 % int5))) -> (rule6 % int3))) -> (rule2 % int2)) triple10) -> (rule3 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
int5
((((((((triple12) -> (rule1 % int5))) -> (rule4 % int4)) ((((((triple12) -> (rule1 % int5))) -> (rule4 % int4)) ((triple12) -> (rule1 % int5))) -> (rule6 % int3))) -> (rule2 % int2)) ((triple12) -> (rule1 % int5))) -> (rule3 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
int5
Harry is rough.
("Harry" "is" "rough" "+")
triple12
Charlie is blue.
("Charlie" "is" "blue" "+")
((triple1) -> (rule4 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
((triple2) -> (rule8 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
((((triple2) -> (rule1 % int2))) -> (rule4 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
((triple8) -> (rule1 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
((triple10) -> (rule4 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
((triple12) -> (rule8 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
((((triple12) -> (rule1 % int2))) -> (rule4 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
((((triple1) -> (rule4 % int2)) triple1) -> (rule6 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
((((triple2) -> (rule8 % int2)) triple1) -> (rule6 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
((((triple1) -> (rule4 % int3)) ((triple2) -> (rule1 % int2))) -> (rule6 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
((((triple2) -> (rule8 % int3)) ((triple2) -> (rule1 % int2))) -> (rule6 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
((((((triple2) -> (rule1 % int3))) -> (rule4 % int2)) triple1) -> (rule6 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
((((((triple2) -> (rule1 % int3))) -> (rule4 % int2)) ((triple2) -> (rule1 % int3))) -> (rule6 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
((((triple10) -> (rule4 % int2)) triple9) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
((((triple12) -> (rule8 % int2)) triple9) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
((((((triple12) -> (rule1 % int3))) -> (rule4 % int2)) triple9) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
((((triple10) -> (rule4 % int3)) ((((triple10) -> (rule4 % int3)) triple10) -> (rule6 % int2))) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
((((triple10) -> (rule4 % int3)) ((((triple12) -> (rule8 % int3)) triple10) -> (rule6 % int2))) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
((((triple12) -> (rule8 % int3)) ((((triple10) -> (rule4 % int3)) triple10) -> (rule6 % int2))) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
((((triple12) -> (rule8 % int3)) ((((triple12) -> (rule8 % int3)) triple10) -> (rule6 % int2))) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
((((triple10) -> (rule4 % int4)) ((((triple10) -> (rule4 % int4)) ((triple12) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
((((triple10) -> (rule4 % int4)) ((((triple12) -> (rule8 % int4)) ((triple12) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
((((triple12) -> (rule8 % int4)) ((((triple10) -> (rule4 % int4)) ((triple12) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
((((triple12) -> (rule8 % int4)) ((((triple12) -> (rule8 % int4)) ((triple12) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
((((((triple12) -> (rule1 % int4))) -> (rule4 % int3)) ((((triple10) -> (rule4 % int3)) triple10) -> (rule6 % int2))) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
((((((triple12) -> (rule1 % int4))) -> (rule4 % int3)) ((((triple12) -> (rule8 % int3)) triple10) -> (rule6 % int2))) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
((((((triple12) -> (rule1 % int4))) -> (rule4 % int3)) ((((triple10) -> (rule4 % int3)) ((triple12) -> (rule1 % int4))) -> (rule6 % int2))) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
((((((triple12) -> (rule1 % int4))) -> (rule4 % int3)) ((((triple12) -> (rule8 % int3)) ((triple12) -> (rule1 % int4))) -> (rule6 % int2))) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
((((triple10) -> (rule4 % int4)) ((((((triple12) -> (rule1 % int3))) -> (rule4 % int4)) triple10) -> (rule6 % int2))) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
((((triple12) -> (rule8 % int4)) ((((((triple12) -> (rule1 % int3))) -> (rule4 % int4)) triple10) -> (rule6 % int2))) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
((((triple10) -> (rule4 % int4)) ((((((triple12) -> (rule1 % int3))) -> (rule4 % int4)) ((triple12) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
((((triple12) -> (rule8 % int4)) ((((((triple12) -> (rule1 % int3))) -> (rule4 % int4)) ((triple12) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
((((((triple12) -> (rule1 % int4))) -> (rule4 % int3)) ((((((triple12) -> (rule1 % int4))) -> (rule4 % int3)) triple10) -> (rule6 % int2))) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
((((((triple12) -> (rule1 % int4))) -> (rule4 % int3)) ((((((triple12) -> (rule1 % int4))) -> (rule4 % int3)) ((triple12) -> (rule1 % int4))) -> (rule6 % int2))) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Charlie is nice.
("Charlie" "is" "nice" "+")
((((triple1) -> (rule4 % int3)) ((((triple1) -> (rule4 % int3)) triple1) -> (rule6 % int2))) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
((((triple1) -> (rule4 % int3)) ((((triple2) -> (rule8 % int3)) triple1) -> (rule6 % int2))) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
((((triple2) -> (rule8 % int3)) ((((triple1) -> (rule4 % int3)) triple1) -> (rule6 % int2))) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
((((triple2) -> (rule8 % int3)) ((((triple2) -> (rule8 % int3)) triple1) -> (rule6 % int2))) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
((((triple1) -> (rule4 % int4)) ((((triple1) -> (rule4 % int4)) ((triple2) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
((((triple1) -> (rule4 % int4)) ((((triple2) -> (rule8 % int4)) ((triple2) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
((((triple2) -> (rule8 % int4)) ((((triple1) -> (rule4 % int4)) ((triple2) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
((((triple2) -> (rule8 % int4)) ((((triple2) -> (rule8 % int4)) ((triple2) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
((((((triple2) -> (rule1 % int4))) -> (rule4 % int3)) ((((triple1) -> (rule4 % int3)) triple1) -> (rule6 % int2))) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
((((((triple2) -> (rule1 % int4))) -> (rule4 % int3)) ((((triple2) -> (rule8 % int3)) triple1) -> (rule6 % int2))) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
((((((triple2) -> (rule1 % int4))) -> (rule4 % int3)) ((((triple1) -> (rule4 % int3)) ((triple2) -> (rule1 % int4))) -> (rule6 % int2))) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
((((((triple2) -> (rule1 % int4))) -> (rule4 % int3)) ((((triple2) -> (rule8 % int3)) ((triple2) -> (rule1 % int4))) -> (rule6 % int2))) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
((((triple1) -> (rule4 % int4)) ((((((triple2) -> (rule1 % int3))) -> (rule4 % int4)) triple1) -> (rule6 % int2))) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
((((triple2) -> (rule8 % int4)) ((((((triple2) -> (rule1 % int3))) -> (rule4 % int4)) triple1) -> (rule6 % int2))) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
((((triple1) -> (rule4 % int4)) ((((((triple2) -> (rule1 % int3))) -> (rule4 % int4)) ((triple2) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
((((triple2) -> (rule8 % int4)) ((((((triple2) -> (rule1 % int3))) -> (rule4 % int4)) ((triple2) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
((((((triple2) -> (rule1 % int4))) -> (rule4 % int3)) ((((((triple2) -> (rule1 % int4))) -> (rule4 % int3)) triple1) -> (rule6 % int2))) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
((((((triple2) -> (rule1 % int4))) -> (rule4 % int3)) ((((((triple2) -> (rule1 % int4))) -> (rule4 % int3)) ((triple2) -> (rule1 % int4))) -> (rule6 % int2))) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is quiet.
("Charlie" "is" "quiet" "+")
((((((triple1) -> (rule4 % int4)) ((((triple1) -> (rule4 % int4)) triple1) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
((((((triple1) -> (rule4 % int4)) ((((triple2) -> (rule8 % int4)) triple1) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
((((((triple2) -> (rule8 % int4)) ((((triple1) -> (rule4 % int4)) triple1) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
((((((triple2) -> (rule8 % int4)) ((((triple2) -> (rule8 % int4)) triple1) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
((((((triple1) -> (rule4 % int4)) ((((triple1) -> (rule4 % int4)) triple1) -> (rule6 % int3))) -> (rule2 % int2)) triple1) -> (rule3 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
((((((triple1) -> (rule4 % int4)) ((((triple2) -> (rule8 % int4)) triple1) -> (rule6 % int3))) -> (rule2 % int2)) triple1) -> (rule3 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
((((((triple2) -> (rule8 % int4)) ((((triple1) -> (rule4 % int4)) triple1) -> (rule6 % int3))) -> (rule2 % int2)) triple1) -> (rule3 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
((((((triple2) -> (rule8 % int4)) ((((triple2) -> (rule8 % int4)) triple1) -> (rule6 % int3))) -> (rule2 % int2)) triple1) -> (rule3 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
((((((triple1) -> (rule4 % int5)) ((((triple1) -> (rule4 % int5)) ((triple2) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is blue.
("Charlie" "is" "blue" "+")
int5
((((((triple1) -> (rule4 % int5)) ((((triple2) -> (rule8 % int5)) ((triple2) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is blue.
("Charlie" "is" "blue" "+")
int5
((((((triple2) -> (rule8 % int5)) ((((triple1) -> (rule4 % int5)) ((triple2) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is blue.
("Charlie" "is" "blue" "+")
int5
((((((triple2) -> (rule8 % int5)) ((((triple2) -> (rule8 % int5)) ((triple2) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is blue.
("Charlie" "is" "blue" "+")
int5
((((((((triple2) -> (rule1 % int5))) -> (rule4 % int4)) ((((triple1) -> (rule4 % int4)) triple1) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
Charlie is green.
("Charlie" "is" "green" "+")
int5
((((((((triple2) -> (rule1 % int5))) -> (rule4 % int4)) ((((triple2) -> (rule8 % int4)) triple1) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
Charlie is green.
("Charlie" "is" "green" "+")
int5
((((((triple1) -> (rule4 % int5)) ((((triple1) -> (rule4 % int5)) triple1) -> (rule6 % int4))) -> (rule2 % int3)) ((triple2) -> (rule1 % int2))) -> (rule3 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is blue.
("Charlie" "is" "blue" "+")
int5
((((((triple1) -> (rule4 % int5)) ((((triple1) -> (rule4 % int5)) ((triple2) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule2 % int2)) triple1) -> (rule3 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is blue.
("Charlie" "is" "blue" "+")
int5
((((((triple1) -> (rule4 % int5)) ((((triple2) -> (rule8 % int5)) triple1) -> (rule6 % int4))) -> (rule2 % int3)) ((triple2) -> (rule1 % int2))) -> (rule3 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is blue.
("Charlie" "is" "blue" "+")
int5
((((((triple1) -> (rule4 % int5)) ((((triple2) -> (rule8 % int5)) ((triple2) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule2 % int2)) triple1) -> (rule3 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is blue.
("Charlie" "is" "blue" "+")
int5
((((((triple2) -> (rule8 % int5)) ((((triple1) -> (rule4 % int5)) triple1) -> (rule6 % int4))) -> (rule2 % int3)) ((triple2) -> (rule1 % int2))) -> (rule3 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is blue.
("Charlie" "is" "blue" "+")
int5
((((((triple2) -> (rule8 % int5)) ((((triple1) -> (rule4 % int5)) ((triple2) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule2 % int2)) triple1) -> (rule3 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is blue.
("Charlie" "is" "blue" "+")
int5
((((((triple2) -> (rule8 % int5)) ((((triple2) -> (rule8 % int5)) triple1) -> (rule6 % int4))) -> (rule2 % int3)) ((triple2) -> (rule1 % int2))) -> (rule3 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is blue.
("Charlie" "is" "blue" "+")
int5
((((((triple2) -> (rule8 % int5)) ((((triple2) -> (rule8 % int5)) ((triple2) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule2 % int2)) triple1) -> (rule3 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is blue.
("Charlie" "is" "blue" "+")
int5
((((((((triple2) -> (rule1 % int5))) -> (rule4 % int4)) ((((triple1) -> (rule4 % int4)) triple1) -> (rule6 % int3))) -> (rule2 % int2)) triple1) -> (rule3 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
Charlie is green.
("Charlie" "is" "green" "+")
int5
((((((((triple2) -> (rule1 % int5))) -> (rule4 % int4)) ((((triple2) -> (rule8 % int4)) triple1) -> (rule6 % int3))) -> (rule2 % int2)) triple1) -> (rule3 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
Charlie is green.
("Charlie" "is" "green" "+")
int5
((((((((triple2) -> (rule1 % int5))) -> (rule4 % int4)) ((((triple1) -> (rule4 % int4)) ((triple2) -> (rule1 % int5))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
Charlie is green.
("Charlie" "is" "green" "+")
int5
((((((((triple2) -> (rule1 % int5))) -> (rule4 % int4)) ((((triple2) -> (rule8 % int4)) ((triple2) -> (rule1 % int5))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
Charlie is green.
("Charlie" "is" "green" "+")
int5
((((((triple1) -> (rule4 % int5)) ((((triple1) -> (rule4 % int5)) ((triple2) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule2 % int2)) ((triple2) -> (rule1 % int4))) -> (rule3 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is blue.
("Charlie" "is" "blue" "+")
int5
((((((triple1) -> (rule4 % int5)) ((((triple2) -> (rule8 % int5)) ((triple2) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule2 % int2)) ((triple2) -> (rule1 % int4))) -> (rule3 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is blue.
("Charlie" "is" "blue" "+")
int5
((((((triple2) -> (rule8 % int5)) ((((triple1) -> (rule4 % int5)) ((triple2) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule2 % int2)) ((triple2) -> (rule1 % int4))) -> (rule3 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is blue.
("Charlie" "is" "blue" "+")
int5
((((((triple2) -> (rule8 % int5)) ((((triple2) -> (rule8 % int5)) ((triple2) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule2 % int2)) ((triple2) -> (rule1 % int4))) -> (rule3 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is blue.
("Charlie" "is" "blue" "+")
int5
((((((((triple2) -> (rule1 % int5))) -> (rule4 % int4)) ((((triple1) -> (rule4 % int4)) triple1) -> (rule6 % int3))) -> (rule2 % int2)) ((triple2) -> (rule1 % int5))) -> (rule3 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
Charlie is green.
("Charlie" "is" "green" "+")
int5
((((((((triple2) -> (rule1 % int5))) -> (rule4 % int4)) ((((triple1) -> (rule4 % int4)) ((triple2) -> (rule1 % int5))) -> (rule6 % int3))) -> (rule2 % int2)) triple1) -> (rule3 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
Charlie is green.
("Charlie" "is" "green" "+")
int5
((((((((triple2) -> (rule1 % int5))) -> (rule4 % int4)) ((((triple2) -> (rule8 % int4)) triple1) -> (rule6 % int3))) -> (rule2 % int2)) ((triple2) -> (rule1 % int5))) -> (rule3 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
Charlie is green.
("Charlie" "is" "green" "+")
int5
((((((((triple2) -> (rule1 % int5))) -> (rule4 % int4)) ((((triple2) -> (rule8 % int4)) ((triple2) -> (rule1 % int5))) -> (rule6 % int3))) -> (rule2 % int2)) triple1) -> (rule3 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
Charlie is green.
("Charlie" "is" "green" "+")
int5
((((((((triple2) -> (rule1 % int5))) -> (rule4 % int4)) ((((triple1) -> (rule4 % int4)) ((triple2) -> (rule1 % int5))) -> (rule6 % int3))) -> (rule2 % int2)) ((triple2) -> (rule1 % int5))) -> (rule3 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
Charlie is green.
("Charlie" "is" "green" "+")
int5
((((((((triple2) -> (rule1 % int5))) -> (rule4 % int4)) ((((triple2) -> (rule8 % int4)) ((triple2) -> (rule1 % int5))) -> (rule6 % int3))) -> (rule2 % int2)) ((triple2) -> (rule1 % int5))) -> (rule3 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
Charlie is green.
("Charlie" "is" "green" "+")
int5
((((((triple1) -> (rule4 % int5)) ((((((triple2) -> (rule1 % int4))) -> (rule4 % int5)) triple1) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is blue.
("Charlie" "is" "blue" "+")
int5
((((((triple2) -> (rule8 % int5)) ((((((triple2) -> (rule1 % int4))) -> (rule4 % int5)) triple1) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is blue.
("Charlie" "is" "blue" "+")
int5
((((((triple1) -> (rule4 % int5)) ((((((triple2) -> (rule1 % int4))) -> (rule4 % int5)) triple1) -> (rule6 % int3))) -> (rule2 % int2)) triple1) -> (rule3 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is blue.
("Charlie" "is" "blue" "+")
int5
((((((triple2) -> (rule8 % int5)) ((((((triple2) -> (rule1 % int4))) -> (rule4 % int5)) triple1) -> (rule6 % int3))) -> (rule2 % int2)) triple1) -> (rule3 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is blue.
("Charlie" "is" "blue" "+")
int5
((((((triple1) -> (rule4 % int5)) ((((((triple2) -> (rule1 % int4))) -> (rule4 % int5)) ((triple2) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is blue.
("Charlie" "is" "blue" "+")
int5
((((((triple2) -> (rule8 % int5)) ((((((triple2) -> (rule1 % int4))) -> (rule4 % int5)) ((triple2) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is blue.
("Charlie" "is" "blue" "+")
int5
((((((((triple2) -> (rule1 % int5))) -> (rule4 % int4)) ((((((triple2) -> (rule1 % int5))) -> (rule4 % int4)) triple1) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
Charlie is green.
("Charlie" "is" "green" "+")
int5
((((((triple1) -> (rule4 % int5)) ((((((triple2) -> (rule1 % int4))) -> (rule4 % int5)) triple1) -> (rule6 % int3))) -> (rule2 % int2)) ((triple2) -> (rule1 % int4))) -> (rule3 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is blue.
("Charlie" "is" "blue" "+")
int5
((((((triple1) -> (rule4 % int5)) ((((((triple2) -> (rule1 % int4))) -> (rule4 % int5)) ((triple2) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule2 % int2)) triple1) -> (rule3 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is blue.
("Charlie" "is" "blue" "+")
int5
((((((triple2) -> (rule8 % int5)) ((((((triple2) -> (rule1 % int4))) -> (rule4 % int5)) triple1) -> (rule6 % int3))) -> (rule2 % int2)) ((triple2) -> (rule1 % int4))) -> (rule3 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is blue.
("Charlie" "is" "blue" "+")
int5
((((((triple2) -> (rule8 % int5)) ((((((triple2) -> (rule1 % int4))) -> (rule4 % int5)) ((triple2) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule2 % int2)) triple1) -> (rule3 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is blue.
("Charlie" "is" "blue" "+")
int5
((((((((triple2) -> (rule1 % int5))) -> (rule4 % int4)) ((((((triple2) -> (rule1 % int5))) -> (rule4 % int4)) triple1) -> (rule6 % int3))) -> (rule2 % int2)) triple1) -> (rule3 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
Charlie is green.
("Charlie" "is" "green" "+")
int5
((((((((triple2) -> (rule1 % int5))) -> (rule4 % int4)) ((((((triple2) -> (rule1 % int5))) -> (rule4 % int4)) ((triple2) -> (rule1 % int5))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
Charlie is green.
("Charlie" "is" "green" "+")
int5
((((((triple1) -> (rule4 % int5)) ((((((triple2) -> (rule1 % int4))) -> (rule4 % int5)) ((triple2) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule2 % int2)) ((triple2) -> (rule1 % int4))) -> (rule3 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is blue.
("Charlie" "is" "blue" "+")
int5
((((((triple2) -> (rule8 % int5)) ((((((triple2) -> (rule1 % int4))) -> (rule4 % int5)) ((triple2) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule2 % int2)) ((triple2) -> (rule1 % int4))) -> (rule3 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is blue.
("Charlie" "is" "blue" "+")
int5
((((((((triple2) -> (rule1 % int5))) -> (rule4 % int4)) ((((((triple2) -> (rule1 % int5))) -> (rule4 % int4)) triple1) -> (rule6 % int3))) -> (rule2 % int2)) ((triple2) -> (rule1 % int5))) -> (rule3 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
Charlie is green.
("Charlie" "is" "green" "+")
int5
((((((((triple2) -> (rule1 % int5))) -> (rule4 % int4)) ((((((triple2) -> (rule1 % int5))) -> (rule4 % int4)) ((triple2) -> (rule1 % int5))) -> (rule6 % int3))) -> (rule2 % int2)) triple1) -> (rule3 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
Charlie is green.
("Charlie" "is" "green" "+")
int5
((((((((triple2) -> (rule1 % int5))) -> (rule4 % int4)) ((((((triple2) -> (rule1 % int5))) -> (rule4 % int4)) ((triple2) -> (rule1 % int5))) -> (rule6 % int3))) -> (rule2 % int2)) ((triple2) -> (rule1 % int5))) -> (rule3 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
Charlie is green.
("Charlie" "is" "green" "+")
int5