Charlie always goes out of his way to show that he is kind to people. From a certain angle Eric is blue but he is young so maybe that will go away. Gary looks red to most people, with blue features. Harry is big, round, and rough. He is young, kind, and nice with rosy red cheeks. If people are nice and round, they look red. Lucky for us, people that are round and red are kind to strangers. Red and round people are nice to others even though they are big. A round shaped and red person is definitely nice. Someone blue who is round with bloating and red from sunburn is surely cold from having fallen into the lake. All men who happen to be red and big, will also be blue. Young people who are nice and cold, are rather green.
If someone is nice and round then they are red.
((("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
If someone is round and red then they are kind.
((("someone" "is" "round" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
If someone is nice and round and red then they are big.
((("someone" "is" "nice" "+") ("someone" "is" "round" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "big" "+"))
If someone is round and red then they are nice.
((("someone" "is" "round" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
If someone is round and blue and red then they are cold.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If someone is red and big then they are blue.
((("someone" "is" "red" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
If someone is nice and young and cold then they are green.
((("someone" "is" "nice" "+") ("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
Gary is blue.
True
1
proof
[(triple5)]
("Gary" "is" "blue" "+")
triple5
Charlie is not kind.
False
1
inv-proof
[(triple1)]
("Charlie" "is" "kind" "-")
triple1
Harry is blue.
True
3
proof
[(((triple9 triple12) -> rule6) OR ((triple9 ((triple10 triple7 triple9) -> rule3)) -> rule6) OR ((((triple10 triple7) -> rule1) triple12) -> rule6) OR ((((triple10 triple7) -> rule1) ((triple10 triple7 triple9) -> rule3)) -> rule6) OR ((triple9 ((triple10 triple7 ((triple10 triple7) -> rule1)) -> rule3)) -> rule6) OR ((triple9 ((((triple7 triple9) -> rule4) triple7 triple9) -> rule3)) -> rule6) OR ((triple9 ((((triple7 triple9) -> rule4) triple7 ((triple10 triple7) -> rule1)) -> rule3)) -> rule6) OR ((((triple10 triple7) -> rule1) ((triple10 triple7 ((triple10 triple7) -> rule1)) -> rule3)) -> rule6) OR ((((triple10 triple7) -> rule1) ((((triple7 triple9) -> rule4) triple7 triple9) -> rule3)) -> rule6) OR ((((triple10 triple7) -> rule1) ((((triple7 triple9) -> rule4) triple7 ((triple10 triple7) -> rule1)) -> rule3)) -> rule6))]
("Harry" "is" "blue" "+")
((triple9 triple12) -> (rule6 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
((triple9 ((triple10 triple7 triple9) -> (rule3 % int2))) -> (rule6 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
((((triple10 triple7) -> (rule1 % int2)) triple12) -> (rule6 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
((((triple10 triple7) -> (rule1 % int3)) ((triple10 triple7 triple9) -> (rule3 % int2))) -> (rule6 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
((triple9 ((triple10 triple7 ((triple10 triple7) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
((triple9 ((((triple7 triple9) -> (rule4 % int3)) triple7 triple9) -> (rule3 % int2))) -> (rule6 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
((triple9 ((((triple7 triple9) -> (rule4 % int4)) triple7 ((triple10 triple7) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
((((triple10 triple7) -> (rule1 % int3)) ((triple10 triple7 ((triple10 triple7) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
((((triple10 triple7) -> (rule1 % int4)) ((((triple7 triple9) -> (rule4 % int3)) triple7 triple9) -> (rule3 % int2))) -> (rule6 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
((((triple10 triple7) -> (rule1 % int4)) ((((triple7 triple9) -> (rule4 % int3)) triple7 ((triple10 triple7) -> (rule1 % int4))) -> (rule3 % int2))) -> (rule6 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is not blue.
False
3
inv-proof
[(((triple9 triple12) -> rule6) OR ((triple9 ((triple10 triple7 triple9) -> rule3)) -> rule6) OR ((((triple10 triple7) -> rule1) triple12) -> rule6) OR ((((triple10 triple7) -> rule1) ((triple10 triple7 triple9) -> rule3)) -> rule6) OR ((triple9 ((triple10 triple7 ((triple10 triple7) -> rule1)) -> rule3)) -> rule6) OR ((triple9 ((((triple7 triple9) -> rule4) triple7 triple9) -> rule3)) -> rule6) OR ((triple9 ((((triple7 triple9) -> rule4) triple7 ((triple10 triple7) -> rule1)) -> rule3)) -> rule6) OR ((((triple10 triple7) -> rule1) ((triple10 triple7 ((triple10 triple7) -> rule1)) -> rule3)) -> rule6) OR ((((triple10 triple7) -> rule1) ((((triple7 triple9) -> rule4) triple7 triple9) -> rule3)) -> rule6) OR ((((triple10 triple7) -> rule1) ((((triple7 triple9) -> rule4) triple7 ((triple10 triple7) -> rule1)) -> rule3)) -> rule6))]
("Harry" "is" "blue" "-")
((triple9 triple12) -> (rule6 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
((triple9 ((triple10 triple7 triple9) -> (rule3 % int2))) -> (rule6 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
((((triple10 triple7) -> (rule1 % int2)) triple12) -> (rule6 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
((((triple10 triple7) -> (rule1 % int3)) ((triple10 triple7 triple9) -> (rule3 % int2))) -> (rule6 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
((triple9 ((triple10 triple7 ((triple10 triple7) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
((triple9 ((((triple7 triple9) -> (rule4 % int3)) triple7 triple9) -> (rule3 % int2))) -> (rule6 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
((triple9 ((((triple7 triple9) -> (rule4 % int4)) triple7 ((triple10 triple7) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
((((triple10 triple7) -> (rule1 % int3)) ((triple10 triple7 ((triple10 triple7) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
((((triple10 triple7) -> (rule1 % int4)) ((((triple7 triple9) -> (rule4 % int3)) triple7 triple9) -> (rule3 % int2))) -> (rule6 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
((((triple10 triple7) -> (rule1 % int4)) ((((triple7 triple9) -> (rule4 % int3)) triple7 ((triple10 triple7) -> (rule1 % int4))) -> (rule3 % int2))) -> (rule6 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is cold.
True
6
proof
[(((triple7 ((triple9 triple12) -> rule6) triple9) -> rule5) OR ((triple7 ((triple9 triple12) -> rule6) ((triple10 triple7) -> rule1)) -> rule5) OR ((triple7 ((triple9 ((triple10 triple7 triple9) -> rule3)) -> rule6) triple9) -> rule5) OR ((triple7 ((((triple10 triple7) -> rule1) triple12) -> rule6) triple9) -> rule5) OR ((triple7 ((triple9 ((triple10 triple7 triple9) -> rule3)) -> rule6) ((triple10 triple7) -> rule1)) -> rule5) OR ((triple7 ((((triple10 triple7) -> rule1) triple12) -> rule6) ((triple10 triple7) -> rule1)) -> rule5) OR ((triple7 ((((triple10 triple7) -> rule1) ((triple10 triple7 triple9) -> rule3)) -> rule6) triple9) -> rule5) OR ((triple7 ((((triple10 triple7) -> rule1) ((triple10 triple7 triple9) -> rule3)) -> rule6) ((triple10 triple7) -> rule1)) -> rule5) OR ((triple7 ((triple9 ((triple10 triple7 ((triple10 triple7) -> rule1)) -> rule3)) -> rule6) triple9) -> rule5) OR ((triple7 ((triple9 ((((triple7 triple9) -> rule4) triple7 triple9) -> rule3)) -> rule6) triple9) -> rule5) OR ((triple7 ((triple9 ((triple10 triple7 ((triple10 triple7) -> rule1)) -> rule3)) -> rule6) ((triple10 triple7) -> rule1)) -> rule5) OR ((triple7 ((triple9 ((((triple7 triple9) -> rule4) triple7 triple9) -> rule3)) -> rule6) ((triple10 triple7) -> rule1)) -> rule5) OR ((triple7 ((triple9 ((((triple7 triple9) -> rule4) triple7 ((triple10 triple7) -> rule1)) -> rule3)) -> rule6) triple9) -> rule5) OR ((triple7 ((((triple10 triple7) -> rule1) ((triple10 triple7 ((triple10 triple7) -> rule1)) -> rule3)) -> rule6) triple9) -> rule5) OR ((triple7 ((((triple10 triple7) -> rule1) ((((triple7 triple9) -> rule4) triple7 triple9) -> rule3)) -> rule6) triple9) -> rule5) OR ((triple7 ((triple9 ((((triple7 triple9) -> rule4) triple7 ((triple10 triple7) -> rule1)) -> rule3)) -> rule6) ((triple10 triple7) -> rule1)) -> rule5) OR ((triple7 ((((triple10 triple7) -> rule1) ((triple10 triple7 ((triple10 triple7) -> rule1)) -> rule3)) -> rule6) ((triple10 triple7) -> rule1)) -> rule5) OR ((triple7 ((((triple10 triple7) -> rule1) ((((triple7 triple9) -> rule4) triple7 triple9) -> rule3)) -> rule6) ((triple10 triple7) -> rule1)) -> rule5) OR ((triple7 ((((triple10 triple7) -> rule1) ((((triple7 triple9) -> rule4) triple7 ((triple10 triple7) -> rule1)) -> rule3)) -> rule6) triple9) -> rule5) OR ((triple7 ((((triple10 triple7) -> rule1) ((((triple7 triple9) -> rule4) triple7 ((triple10 triple7) -> rule1)) -> rule3)) -> rule6) ((triple10 triple7) -> rule1)) -> rule5))]
("Harry" "is" "cold" "+")
((triple7 ((triple9 triple12) -> (rule6 % int2)) triple9) -> (rule5 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
((triple7 ((triple9 triple12) -> (rule6 % int3)) ((triple10 triple7) -> (rule1 % int2))) -> (rule5 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
((triple7 ((triple9 ((triple10 triple7 triple9) -> (rule3 % int3))) -> (rule6 % int2)) triple9) -> (rule5 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
((triple7 ((((triple10 triple7) -> (rule1 % int3)) triple12) -> (rule6 % int2)) triple9) -> (rule5 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
((triple7 ((triple9 ((triple10 triple7 triple9) -> (rule3 % int4))) -> (rule6 % int3)) ((triple10 triple7) -> (rule1 % int2))) -> (rule5 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
((triple7 ((((triple10 triple7) -> (rule1 % int3)) triple12) -> (rule6 % int2)) ((triple10 triple7) -> (rule1 % int3))) -> (rule5 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
((triple7 ((((triple10 triple7) -> (rule1 % int4)) ((triple10 triple7 triple9) -> (rule3 % int3))) -> (rule6 % int2)) triple9) -> (rule5 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
((triple7 ((((triple10 triple7) -> (rule1 % int4)) ((triple10 triple7 triple9) -> (rule3 % int3))) -> (rule6 % int2)) ((triple10 triple7) -> (rule1 % int4))) -> (rule5 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
((triple7 ((triple9 ((triple10 triple7 ((triple10 triple7) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule6 % int2)) triple9) -> (rule5 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
((triple7 ((triple9 ((((triple7 triple9) -> (rule4 % int4)) triple7 triple9) -> (rule3 % int3))) -> (rule6 % int2)) triple9) -> (rule5 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
((triple7 ((triple9 ((triple10 triple7 ((triple10 triple7) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule6 % int2)) ((triple10 triple7) -> (rule1 % int4))) -> (rule5 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
((triple7 ((triple9 ((((triple7 triple9) -> (rule4 % int5)) triple7 triple9) -> (rule3 % int4))) -> (rule6 % int3)) ((triple10 triple7) -> (rule1 % int2))) -> (rule5 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
int5
((triple7 ((triple9 ((((triple7 triple9) -> (rule4 % int5)) triple7 ((triple10 triple7) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule6 % int2)) triple9) -> (rule5 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
int5
((triple7 ((((triple10 triple7) -> (rule1 % int4)) ((triple10 triple7 ((triple10 triple7) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule6 % int2)) triple9) -> (rule5 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
((triple7 ((((triple10 triple7) -> (rule1 % int5)) ((((triple7 triple9) -> (rule4 % int4)) triple7 triple9) -> (rule3 % int3))) -> (rule6 % int2)) triple9) -> (rule5 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
((triple7 ((triple9 ((((triple7 triple9) -> (rule4 % int5)) triple7 ((triple10 triple7) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule6 % int2)) ((triple10 triple7) -> (rule1 % int4))) -> (rule5 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
int5
((triple7 ((((triple10 triple7) -> (rule1 % int4)) ((triple10 triple7 ((triple10 triple7) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule6 % int2)) ((triple10 triple7) -> (rule1 % int4))) -> (rule5 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
((triple7 ((((triple10 triple7) -> (rule1 % int5)) ((((triple7 triple9) -> (rule4 % int4)) triple7 triple9) -> (rule3 % int3))) -> (rule6 % int2)) ((triple10 triple7) -> (rule1 % int5))) -> (rule5 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
((triple7 ((((triple10 triple7) -> (rule1 % int5)) ((((triple7 triple9) -> (rule4 % int4)) triple7 ((triple10 triple7) -> (rule1 % int5))) -> (rule3 % int3))) -> (rule6 % int2)) triple9) -> (rule5 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
((triple7 ((((triple10 triple7) -> (rule1 % int5)) ((((triple7 triple9) -> (rule4 % int4)) triple7 ((triple10 triple7) -> (rule1 % int5))) -> (rule3 % int3))) -> (rule6 % int2)) ((triple10 triple7) -> (rule1 % int5))) -> (rule5 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
Harry is not cold.
False
6
inv-proof
[(((triple7 ((triple9 triple12) -> rule6) triple9) -> rule5) OR ((triple7 ((triple9 triple12) -> rule6) ((triple10 triple7) -> rule1)) -> rule5) OR ((triple7 ((triple9 ((triple10 triple7 triple9) -> rule3)) -> rule6) triple9) -> rule5) OR ((triple7 ((((triple10 triple7) -> rule1) triple12) -> rule6) triple9) -> rule5) OR ((triple7 ((triple9 ((triple10 triple7 triple9) -> rule3)) -> rule6) ((triple10 triple7) -> rule1)) -> rule5) OR ((triple7 ((((triple10 triple7) -> rule1) triple12) -> rule6) ((triple10 triple7) -> rule1)) -> rule5) OR ((triple7 ((((triple10 triple7) -> rule1) ((triple10 triple7 triple9) -> rule3)) -> rule6) triple9) -> rule5) OR ((triple7 ((((triple10 triple7) -> rule1) ((triple10 triple7 triple9) -> rule3)) -> rule6) ((triple10 triple7) -> rule1)) -> rule5) OR ((triple7 ((triple9 ((triple10 triple7 ((triple10 triple7) -> rule1)) -> rule3)) -> rule6) triple9) -> rule5) OR ((triple7 ((triple9 ((((triple7 triple9) -> rule4) triple7 triple9) -> rule3)) -> rule6) triple9) -> rule5) OR ((triple7 ((triple9 ((triple10 triple7 ((triple10 triple7) -> rule1)) -> rule3)) -> rule6) ((triple10 triple7) -> rule1)) -> rule5) OR ((triple7 ((triple9 ((((triple7 triple9) -> rule4) triple7 triple9) -> rule3)) -> rule6) ((triple10 triple7) -> rule1)) -> rule5) OR ((triple7 ((triple9 ((((triple7 triple9) -> rule4) triple7 ((triple10 triple7) -> rule1)) -> rule3)) -> rule6) triple9) -> rule5) OR ((triple7 ((((triple10 triple7) -> rule1) ((triple10 triple7 ((triple10 triple7) -> rule1)) -> rule3)) -> rule6) triple9) -> rule5) OR ((triple7 ((((triple10 triple7) -> rule1) ((((triple7 triple9) -> rule4) triple7 triple9) -> rule3)) -> rule6) triple9) -> rule5) OR ((triple7 ((triple9 ((((triple7 triple9) -> rule4) triple7 ((triple10 triple7) -> rule1)) -> rule3)) -> rule6) ((triple10 triple7) -> rule1)) -> rule5) OR ((triple7 ((((triple10 triple7) -> rule1) ((triple10 triple7 ((triple10 triple7) -> rule1)) -> rule3)) -> rule6) ((triple10 triple7) -> rule1)) -> rule5) OR ((triple7 ((((triple10 triple7) -> rule1) ((((triple7 triple9) -> rule4) triple7 triple9) -> rule3)) -> rule6) ((triple10 triple7) -> rule1)) -> rule5) OR ((triple7 ((((triple10 triple7) -> rule1) ((((triple7 triple9) -> rule4) triple7 ((triple10 triple7) -> rule1)) -> rule3)) -> rule6) triple9) -> rule5) OR ((triple7 ((((triple10 triple7) -> rule1) ((((triple7 triple9) -> rule4) triple7 ((triple10 triple7) -> rule1)) -> rule3)) -> rule6) ((triple10 triple7) -> rule1)) -> rule5))]
("Harry" "is" "cold" "-")
((triple7 ((triple9 triple12) -> (rule6 % int2)) triple9) -> (rule5 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
((triple7 ((triple9 triple12) -> (rule6 % int3)) ((triple10 triple7) -> (rule1 % int2))) -> (rule5 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
((triple7 ((triple9 ((triple10 triple7 triple9) -> (rule3 % int3))) -> (rule6 % int2)) triple9) -> (rule5 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
((triple7 ((((triple10 triple7) -> (rule1 % int3)) triple12) -> (rule6 % int2)) triple9) -> (rule5 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
((triple7 ((triple9 ((triple10 triple7 triple9) -> (rule3 % int4))) -> (rule6 % int3)) ((triple10 triple7) -> (rule1 % int2))) -> (rule5 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
((triple7 ((((triple10 triple7) -> (rule1 % int3)) triple12) -> (rule6 % int2)) ((triple10 triple7) -> (rule1 % int3))) -> (rule5 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
((triple7 ((((triple10 triple7) -> (rule1 % int4)) ((triple10 triple7 triple9) -> (rule3 % int3))) -> (rule6 % int2)) triple9) -> (rule5 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
((triple7 ((((triple10 triple7) -> (rule1 % int4)) ((triple10 triple7 triple9) -> (rule3 % int3))) -> (rule6 % int2)) ((triple10 triple7) -> (rule1 % int4))) -> (rule5 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
((triple7 ((triple9 ((triple10 triple7 ((triple10 triple7) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule6 % int2)) triple9) -> (rule5 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
((triple7 ((triple9 ((((triple7 triple9) -> (rule4 % int4)) triple7 triple9) -> (rule3 % int3))) -> (rule6 % int2)) triple9) -> (rule5 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
((triple7 ((triple9 ((triple10 triple7 ((triple10 triple7) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule6 % int2)) ((triple10 triple7) -> (rule1 % int4))) -> (rule5 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
((triple7 ((triple9 ((((triple7 triple9) -> (rule4 % int5)) triple7 triple9) -> (rule3 % int4))) -> (rule6 % int3)) ((triple10 triple7) -> (rule1 % int2))) -> (rule5 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
int5
((triple7 ((triple9 ((((triple7 triple9) -> (rule4 % int5)) triple7 ((triple10 triple7) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule6 % int2)) triple9) -> (rule5 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
int5
((triple7 ((((triple10 triple7) -> (rule1 % int4)) ((triple10 triple7 ((triple10 triple7) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule6 % int2)) triple9) -> (rule5 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
((triple7 ((((triple10 triple7) -> (rule1 % int5)) ((((triple7 triple9) -> (rule4 % int4)) triple7 triple9) -> (rule3 % int3))) -> (rule6 % int2)) triple9) -> (rule5 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
((triple7 ((triple9 ((((triple7 triple9) -> (rule4 % int5)) triple7 ((triple10 triple7) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule6 % int2)) ((triple10 triple7) -> (rule1 % int4))) -> (rule5 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
int5
((triple7 ((((triple10 triple7) -> (rule1 % int4)) ((triple10 triple7 ((triple10 triple7) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule6 % int2)) ((triple10 triple7) -> (rule1 % int4))) -> (rule5 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
((triple7 ((((triple10 triple7) -> (rule1 % int5)) ((((triple7 triple9) -> (rule4 % int4)) triple7 triple9) -> (rule3 % int3))) -> (rule6 % int2)) ((triple10 triple7) -> (rule1 % int5))) -> (rule5 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
((triple7 ((((triple10 triple7) -> (rule1 % int5)) ((((triple7 triple9) -> (rule4 % int4)) triple7 ((triple10 triple7) -> (rule1 % int5))) -> (rule3 % int3))) -> (rule6 % int2)) triple9) -> (rule5 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
((triple7 ((((triple10 triple7) -> (rule1 % int5)) ((((triple7 triple9) -> (rule4 % int4)) triple7 ((triple10 triple7) -> (rule1 % int5))) -> (rule3 % int3))) -> (rule6 % int2)) ((triple10 triple7) -> (rule1 % int5))) -> (rule5 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
Harry is green.
True
9
proof
[(((triple10 triple6 ((triple7 ((triple9 triple12) -> rule6) triple9) -> rule5)) -> rule7) OR ((triple10 triple6 ((triple7 ((triple9 triple12) -> rule6) ((triple10 triple7) -> rule1)) -> rule5)) -> rule7) OR ((((triple7 triple9) -> rule4) triple6 ((triple7 ((triple9 triple12) -> rule6) triple9) -> rule5)) -> rule7) OR ((((triple7 triple9) -> rule4) triple6 ((triple7 ((triple9 triple12) -> rule6) ((triple10 triple7) -> rule1)) -> rule5)) -> rule7) OR ((triple10 triple6 ((triple7 ((triple9 ((triple10 triple7 triple9) -> rule3)) -> rule6) triple9) -> rule5)) -> rule7) OR ((triple10 triple6 ((triple7 ((((triple10 triple7) -> rule1) triple12) -> rule6) triple9) -> rule5)) -> rule7) OR ((triple10 triple6 ((triple7 ((triple9 ((triple10 triple7 triple9) -> rule3)) -> rule6) ((triple10 triple7) -> rule1)) -> rule5)) -> rule7) OR ((triple10 triple6 ((triple7 ((((triple10 triple7) -> rule1) triple12) -> rule6) ((triple10 triple7) -> rule1)) -> rule5)) -> rule7) OR ((triple10 triple6 ((triple7 ((((triple10 triple7) -> rule1) ((triple10 triple7 triple9) -> rule3)) -> rule6) triple9) -> rule5)) -> rule7) OR ((((triple7 triple9) -> rule4) triple6 ((triple7 ((triple9 ((triple10 triple7 triple9) -> rule3)) -> rule6) triple9) -> rule5)) -> rule7) OR ((((triple7 triple9) -> rule4) triple6 ((triple7 ((((triple10 triple7) -> rule1) triple12) -> rule6) triple9) -> rule5)) -> rule7) OR ((triple10 triple6 ((triple7 ((((triple10 triple7) -> rule1) ((triple10 triple7 triple9) -> rule3)) -> rule6) ((triple10 triple7) -> rule1)) -> rule5)) -> rule7) OR ((((triple7 triple9) -> rule4) triple6 ((triple7 ((triple9 ((triple10 triple7 triple9) -> rule3)) -> rule6) ((triple10 triple7) -> rule1)) -> rule5)) -> rule7) OR ((((triple7 triple9) -> rule4) triple6 ((triple7 ((((triple10 triple7) -> rule1) triple12) -> rule6) ((triple10 triple7) -> rule1)) -> rule5)) -> rule7) OR ((((triple7 triple9) -> rule4) triple6 ((triple7 ((((triple10 triple7) -> rule1) ((triple10 triple7 triple9) -> rule3)) -> rule6) triple9) -> rule5)) -> rule7) OR ((((triple7 triple9) -> rule4) triple6 ((triple7 ((((triple10 triple7) -> rule1) ((triple10 triple7 triple9) -> rule3)) -> rule6) ((triple10 triple7) -> rule1)) -> rule5)) -> rule7) OR ((triple10 triple6 ((triple7 ((triple9 ((triple10 triple7 ((triple10 triple7) -> rule1)) -> rule3)) -> rule6) triple9) -> rule5)) -> rule7) OR ((triple10 triple6 ((triple7 ((triple9 ((((triple7 triple9) -> rule4) triple7 triple9) -> rule3)) -> rule6) triple9) -> rule5)) -> rule7) OR ((triple10 triple6 ((triple7 ((triple9 ((triple10 triple7 ((triple10 triple7) -> rule1)) -> rule3)) -> rule6) ((triple10 triple7) -> rule1)) -> rule5)) -> rule7) OR ((triple10 triple6 ((triple7 ((triple9 ((((triple7 triple9) -> rule4) triple7 triple9) -> rule3)) -> rule6) ((triple10 triple7) -> rule1)) -> rule5)) -> rule7) OR ((triple10 triple6 ((triple7 ((triple9 ((((triple7 triple9) -> rule4) triple7 ((triple10 triple7) -> rule1)) -> rule3)) -> rule6) triple9) -> rule5)) -> rule7) OR ((triple10 triple6 ((triple7 ((((triple10 triple7) -> rule1) ((triple10 triple7 ((triple10 triple7) -> rule1)) -> rule3)) -> rule6) triple9) -> rule5)) -> rule7) OR ((triple10 triple6 ((triple7 ((((triple10 triple7) -> rule1) ((((triple7 triple9) -> rule4) triple7 triple9) -> rule3)) -> rule6) triple9) -> rule5)) -> rule7) OR ((((triple7 triple9) -> rule4) triple6 ((triple7 ((triple9 ((triple10 triple7 ((triple10 triple7) -> rule1)) -> rule3)) -> rule6) triple9) -> rule5)) -> rule7) OR ((((triple7 triple9) -> rule4) triple6 ((triple7 ((triple9 ((((triple7 triple9) -> rule4) triple7 triple9) -> rule3)) -> rule6) triple9) -> rule5)) -> rule7) OR ((triple10 triple6 ((triple7 ((triple9 ((((triple7 triple9) -> rule4) triple7 ((triple10 triple7) -> rule1)) -> rule3)) -> rule6) ((triple10 triple7) -> rule1)) -> rule5)) -> rule7) OR ((triple10 triple6 ((triple7 ((((triple10 triple7) -> rule1) ((triple10 triple7 ((triple10 triple7) -> rule1)) -> rule3)) -> rule6) ((triple10 triple7) -> rule1)) -> rule5)) -> rule7) OR ((triple10 triple6 ((triple7 ((((triple10 triple7) -> rule1) ((((triple7 triple9) -> rule4) triple7 triple9) -> rule3)) -> rule6) ((triple10 triple7) -> rule1)) -> rule5)) -> rule7) OR ((triple10 triple6 ((triple7 ((((triple10 triple7) -> rule1) ((((triple7 triple9) -> rule4) triple7 ((triple10 triple7) -> rule1)) -> rule3)) -> rule6) triple9) -> rule5)) -> rule7) OR ((((triple7 triple9) -> rule4) triple6 ((triple7 ((triple9 ((triple10 triple7 ((triple10 triple7) -> rule1)) -> rule3)) -> rule6) ((triple10 triple7) -> rule1)) -> rule5)) -> rule7) OR ((((triple7 triple9) -> rule4) triple6 ((triple7 ((triple9 ((((triple7 triple9) -> rule4) triple7 triple9) -> rule3)) -> rule6) ((triple10 triple7) -> rule1)) -> rule5)) -> rule7) OR ((((triple7 triple9) -> rule4) triple6 ((triple7 ((triple9 ((((triple7 triple9) -> rule4) triple7 ((triple10 triple7) -> rule1)) -> rule3)) -> rule6) triple9) -> rule5)) -> rule7) OR ((((triple7 triple9) -> rule4) triple6 ((triple7 ((((triple10 triple7) -> rule1) ((triple10 triple7 ((triple10 triple7) -> rule1)) -> rule3)) -> rule6) triple9) -> rule5)) -> rule7) OR ((((triple7 triple9) -> rule4) triple6 ((triple7 ((((triple10 triple7) -> rule1) ((((triple7 triple9) -> rule4) triple7 triple9) -> rule3)) -> rule6) triple9) -> rule5)) -> rule7) OR ((triple10 triple6 ((triple7 ((((triple10 triple7) -> rule1) ((((triple7 triple9) -> rule4) triple7 ((triple10 triple7) -> rule1)) -> rule3)) -> rule6) ((triple10 triple7) -> rule1)) -> rule5)) -> rule7) OR ((((triple7 triple9) -> rule4) triple6 ((triple7 ((triple9 ((((triple7 triple9) -> rule4) triple7 ((triple10 triple7) -> rule1)) -> rule3)) -> rule6) ((triple10 triple7) -> rule1)) -> rule5)) -> rule7) OR ((((triple7 triple9) -> rule4) triple6 ((triple7 ((((triple10 triple7) -> rule1) ((triple10 triple7 ((triple10 triple7) -> rule1)) -> rule3)) -> rule6) ((triple10 triple7) -> rule1)) -> rule5)) -> rule7) OR ((((triple7 triple9) -> rule4) triple6 ((triple7 ((((triple10 triple7) -> rule1) ((((triple7 triple9) -> rule4) triple7 triple9) -> rule3)) -> rule6) ((triple10 triple7) -> rule1)) -> rule5)) -> rule7) OR ((((triple7 triple9) -> rule4) triple6 ((triple7 ((((triple10 triple7) -> rule1) ((((triple7 triple9) -> rule4) triple7 ((triple10 triple7) -> rule1)) -> rule3)) -> rule6) triple9) -> rule5)) -> rule7) OR ((((triple7 triple9) -> rule4) triple6 ((triple7 ((((triple10 triple7) -> rule1) ((((triple7 triple9) -> rule4) triple7 ((triple10 triple7) -> rule1)) -> rule3)) -> rule6) ((triple10 triple7) -> rule1)) -> rule5)) -> rule7))]
("Harry" "is" "green" "+")
((triple10 triple6 ((triple7 ((triple9 triple12) -> (rule6 % int3)) triple9) -> (rule5 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
((triple10 triple6 ((triple7 ((triple9 triple12) -> (rule6 % int4)) ((triple10 triple7) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
((((triple7 triple9) -> (rule4 % int4)) triple6 ((triple7 ((triple9 triple12) -> (rule6 % int3)) triple9) -> (rule5 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
((((triple7 triple9) -> (rule4 % int5)) triple6 ((triple7 ((triple9 triple12) -> (rule6 % int4)) ((triple10 triple7) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
int5
((triple10 triple6 ((triple7 ((triple9 ((triple10 triple7 triple9) -> (rule3 % int4))) -> (rule6 % int3)) triple9) -> (rule5 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
((triple10 triple6 ((triple7 ((((triple10 triple7) -> (rule1 % int4)) triple12) -> (rule6 % int3)) triple9) -> (rule5 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
((triple10 triple6 ((triple7 ((triple9 ((triple10 triple7 triple9) -> (rule3 % int5))) -> (rule6 % int4)) ((triple10 triple7) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
((triple10 triple6 ((triple7 ((((triple10 triple7) -> (rule1 % int4)) triple12) -> (rule6 % int3)) ((triple10 triple7) -> (rule1 % int4))) -> (rule5 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
((triple10 triple6 ((triple7 ((((triple10 triple7) -> (rule1 % int5)) ((triple10 triple7 triple9) -> (rule3 % int4))) -> (rule6 % int3)) triple9) -> (rule5 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
((((triple7 triple9) -> (rule4 % int5)) triple6 ((triple7 ((triple9 ((triple10 triple7 triple9) -> (rule3 % int4))) -> (rule6 % int3)) triple9) -> (rule5 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
int5
((((triple7 triple9) -> (rule4 % int5)) triple6 ((triple7 ((((triple10 triple7) -> (rule1 % int4)) triple12) -> (rule6 % int3)) triple9) -> (rule5 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
int5
((triple10 triple6 ((triple7 ((((triple10 triple7) -> (rule1 % int5)) ((triple10 triple7 triple9) -> (rule3 % int4))) -> (rule6 % int3)) ((triple10 triple7) -> (rule1 % int5))) -> (rule5 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
((((triple7 triple9) -> (rule4 % int6)) triple6 ((triple7 ((triple9 ((triple10 triple7 triple9) -> (rule3 % int5))) -> (rule6 % int4)) ((triple10 triple7) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
Harry is nice.
("Harry" "is" "nice" "+")
int6
((((triple7 triple9) -> (rule4 % int5)) triple6 ((triple7 ((((triple10 triple7) -> (rule1 % int4)) triple12) -> (rule6 % int3)) ((triple10 triple7) -> (rule1 % int4))) -> (rule5 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
int5
((((triple7 triple9) -> (rule4 % int6)) triple6 ((triple7 ((((triple10 triple7) -> (rule1 % int5)) ((triple10 triple7 triple9) -> (rule3 % int4))) -> (rule6 % int3)) triple9) -> (rule5 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
Harry is nice.
("Harry" "is" "nice" "+")
int6
((((triple7 triple9) -> (rule4 % int6)) triple6 ((triple7 ((((triple10 triple7) -> (rule1 % int5)) ((triple10 triple7 triple9) -> (rule3 % int4))) -> (rule6 % int3)) ((triple10 triple7) -> (rule1 % int5))) -> (rule5 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
Harry is nice.
("Harry" "is" "nice" "+")
int6
((triple10 triple6 ((triple7 ((triple9 ((triple10 triple7 ((triple10 triple7) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule6 % int3)) triple9) -> (rule5 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
((triple10 triple6 ((triple7 ((triple9 ((((triple7 triple9) -> (rule4 % int5)) triple7 triple9) -> (rule3 % int4))) -> (rule6 % int3)) triple9) -> (rule5 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
int5
((triple10 triple6 ((triple7 ((triple9 ((triple10 triple7 ((triple10 triple7) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule6 % int3)) ((triple10 triple7) -> (rule1 % int5))) -> (rule5 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
((triple10 triple6 ((triple7 ((triple9 ((((triple7 triple9) -> (rule4 % int6)) triple7 triple9) -> (rule3 % int5))) -> (rule6 % int4)) ((triple10 triple7) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
Harry is nice.
("Harry" "is" "nice" "+")
int6
((triple10 triple6 ((triple7 ((triple9 ((((triple7 triple9) -> (rule4 % int6)) triple7 ((triple10 triple7) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule6 % int3)) triple9) -> (rule5 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
Harry is nice.
("Harry" "is" "nice" "+")
int6
((triple10 triple6 ((triple7 ((((triple10 triple7) -> (rule1 % int5)) ((triple10 triple7 ((triple10 triple7) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule6 % int3)) triple9) -> (rule5 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
((triple10 triple6 ((triple7 ((((triple10 triple7) -> (rule1 % int6)) ((((triple7 triple9) -> (rule4 % int5)) triple7 triple9) -> (rule3 % int4))) -> (rule6 % int3)) triple9) -> (rule5 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
int5
Harry is red.
("Harry" "is" "red" "+")
int6
((((triple7 triple9) -> (rule4 % int6)) triple6 ((triple7 ((triple9 ((triple10 triple7 ((triple10 triple7) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule6 % int3)) triple9) -> (rule5 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
Harry is nice.
("Harry" "is" "nice" "+")
int6
((((triple7 triple9) -> (rule4 % int5)) triple6 ((triple7 ((triple9 ((((triple7 triple9) -> (rule4 % int5)) triple7 triple9) -> (rule3 % int4))) -> (rule6 % int3)) triple9) -> (rule5 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
int5
((triple10 triple6 ((triple7 ((triple9 ((((triple7 triple9) -> (rule4 % int6)) triple7 ((triple10 triple7) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule6 % int3)) ((triple10 triple7) -> (rule1 % int5))) -> (rule5 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
Harry is nice.
("Harry" "is" "nice" "+")
int6
((triple10 triple6 ((triple7 ((((triple10 triple7) -> (rule1 % int5)) ((triple10 triple7 ((triple10 triple7) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule6 % int3)) ((triple10 triple7) -> (rule1 % int5))) -> (rule5 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
((triple10 triple6 ((triple7 ((((triple10 triple7) -> (rule1 % int6)) ((((triple7 triple9) -> (rule4 % int5)) triple7 triple9) -> (rule3 % int4))) -> (rule6 % int3)) ((triple10 triple7) -> (rule1 % int6))) -> (rule5 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
int5
Harry is red.
("Harry" "is" "red" "+")
int6
((triple10 triple6 ((triple7 ((((triple10 triple7) -> (rule1 % int6)) ((((triple7 triple9) -> (rule4 % int5)) triple7 ((triple10 triple7) -> (rule1 % int6))) -> (rule3 % int4))) -> (rule6 % int3)) triple9) -> (rule5 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
int5
Harry is red.
("Harry" "is" "red" "+")
int6
((((triple7 triple9) -> (rule4 % int6)) triple6 ((triple7 ((triple9 ((triple10 triple7 ((triple10 triple7) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule6 % int3)) ((triple10 triple7) -> (rule1 % int5))) -> (rule5 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
Harry is nice.
("Harry" "is" "nice" "+")
int6
((((triple7 triple9) -> (rule4 % int6)) triple6 ((triple7 ((triple9 ((((triple7 triple9) -> (rule4 % int6)) triple7 triple9) -> (rule3 % int5))) -> (rule6 % int4)) ((triple10 triple7) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
Harry is nice.
("Harry" "is" "nice" "+")
int6
((((triple7 triple9) -> (rule4 % int6)) triple6 ((triple7 ((triple9 ((((triple7 triple9) -> (rule4 % int6)) triple7 ((triple10 triple7) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule6 % int3)) triple9) -> (rule5 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
Harry is nice.
("Harry" "is" "nice" "+")
int6
((((triple7 triple9) -> (rule4 % int6)) triple6 ((triple7 ((((triple10 triple7) -> (rule1 % int5)) ((triple10 triple7 ((triple10 triple7) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule6 % int3)) triple9) -> (rule5 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
Harry is nice.
("Harry" "is" "nice" "+")
int6
((((triple7 triple9) -> (rule4 % int6)) triple6 ((triple7 ((((triple10 triple7) -> (rule1 % int5)) ((((triple7 triple9) -> (rule4 % int6)) triple7 triple9) -> (rule3 % int4))) -> (rule6 % int3)) triple9) -> (rule5 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
Harry is nice.
("Harry" "is" "nice" "+")
int6
((triple10 triple6 ((triple7 ((((triple10 triple7) -> (rule1 % int6)) ((((triple7 triple9) -> (rule4 % int5)) triple7 ((triple10 triple7) -> (rule1 % int6))) -> (rule3 % int4))) -> (rule6 % int3)) ((triple10 triple7) -> (rule1 % int6))) -> (rule5 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
int5
Harry is red.
("Harry" "is" "red" "+")
int6
((((triple7 triple9) -> (rule4 % int6)) triple6 ((triple7 ((triple9 ((((triple7 triple9) -> (rule4 % int6)) triple7 ((triple10 triple7) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule6 % int3)) ((triple10 triple7) -> (rule1 % int5))) -> (rule5 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
Harry is nice.
("Harry" "is" "nice" "+")
int6
((((triple7 triple9) -> (rule4 % int6)) triple6 ((triple7 ((((triple10 triple7) -> (rule1 % int5)) ((triple10 triple7 ((triple10 triple7) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule6 % int3)) ((triple10 triple7) -> (rule1 % int5))) -> (rule5 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
Harry is nice.
("Harry" "is" "nice" "+")
int6
((((triple7 triple9) -> (rule4 % int6)) triple6 ((triple7 ((((triple10 triple7) -> (rule1 % int5)) ((((triple7 triple9) -> (rule4 % int6)) triple7 triple9) -> (rule3 % int4))) -> (rule6 % int3)) ((triple10 triple7) -> (rule1 % int5))) -> (rule5 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
Harry is nice.
("Harry" "is" "nice" "+")
int6
((((triple7 triple9) -> (rule4 % int6)) triple6 ((triple7 ((((triple10 triple7) -> (rule1 % int5)) ((((triple7 triple9) -> (rule4 % int6)) triple7 ((triple10 triple7) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule6 % int3)) triple9) -> (rule5 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
Harry is nice.
("Harry" "is" "nice" "+")
int6
((((triple7 triple9) -> (rule4 % int6)) triple6 ((triple7 ((((triple10 triple7) -> (rule1 % int5)) ((((triple7 triple9) -> (rule4 % int6)) triple7 ((triple10 triple7) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule6 % int3)) ((triple10 triple7) -> (rule1 % int5))) -> (rule5 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
Harry is nice.
("Harry" "is" "nice" "+")
int6
Harry is not green.
False
9
inv-proof
[(((triple10 triple6 ((triple7 ((triple9 triple12) -> rule6) triple9) -> rule5)) -> rule7) OR ((triple10 triple6 ((triple7 ((triple9 triple12) -> rule6) ((triple10 triple7) -> rule1)) -> rule5)) -> rule7) OR ((((triple7 triple9) -> rule4) triple6 ((triple7 ((triple9 triple12) -> rule6) triple9) -> rule5)) -> rule7) OR ((((triple7 triple9) -> rule4) triple6 ((triple7 ((triple9 triple12) -> rule6) ((triple10 triple7) -> rule1)) -> rule5)) -> rule7) OR ((triple10 triple6 ((triple7 ((triple9 ((triple10 triple7 triple9) -> rule3)) -> rule6) triple9) -> rule5)) -> rule7) OR ((triple10 triple6 ((triple7 ((((triple10 triple7) -> rule1) triple12) -> rule6) triple9) -> rule5)) -> rule7) OR ((triple10 triple6 ((triple7 ((triple9 ((triple10 triple7 triple9) -> rule3)) -> rule6) ((triple10 triple7) -> rule1)) -> rule5)) -> rule7) OR ((triple10 triple6 ((triple7 ((((triple10 triple7) -> rule1) triple12) -> rule6) ((triple10 triple7) -> rule1)) -> rule5)) -> rule7) OR ((triple10 triple6 ((triple7 ((((triple10 triple7) -> rule1) ((triple10 triple7 triple9) -> rule3)) -> rule6) triple9) -> rule5)) -> rule7) OR ((((triple7 triple9) -> rule4) triple6 ((triple7 ((triple9 ((triple10 triple7 triple9) -> rule3)) -> rule6) triple9) -> rule5)) -> rule7) OR ((((triple7 triple9) -> rule4) triple6 ((triple7 ((((triple10 triple7) -> rule1) triple12) -> rule6) triple9) -> rule5)) -> rule7) OR ((triple10 triple6 ((triple7 ((((triple10 triple7) -> rule1) ((triple10 triple7 triple9) -> rule3)) -> rule6) ((triple10 triple7) -> rule1)) -> rule5)) -> rule7) OR ((((triple7 triple9) -> rule4) triple6 ((triple7 ((triple9 ((triple10 triple7 triple9) -> rule3)) -> rule6) ((triple10 triple7) -> rule1)) -> rule5)) -> rule7) OR ((((triple7 triple9) -> rule4) triple6 ((triple7 ((((triple10 triple7) -> rule1) triple12) -> rule6) ((triple10 triple7) -> rule1)) -> rule5)) -> rule7) OR ((((triple7 triple9) -> rule4) triple6 ((triple7 ((((triple10 triple7) -> rule1) ((triple10 triple7 triple9) -> rule3)) -> rule6) triple9) -> rule5)) -> rule7) OR ((((triple7 triple9) -> rule4) triple6 ((triple7 ((((triple10 triple7) -> rule1) ((triple10 triple7 triple9) -> rule3)) -> rule6) ((triple10 triple7) -> rule1)) -> rule5)) -> rule7) OR ((triple10 triple6 ((triple7 ((triple9 ((triple10 triple7 ((triple10 triple7) -> rule1)) -> rule3)) -> rule6) triple9) -> rule5)) -> rule7) OR ((triple10 triple6 ((triple7 ((triple9 ((((triple7 triple9) -> rule4) triple7 triple9) -> rule3)) -> rule6) triple9) -> rule5)) -> rule7) OR ((triple10 triple6 ((triple7 ((triple9 ((triple10 triple7 ((triple10 triple7) -> rule1)) -> rule3)) -> rule6) ((triple10 triple7) -> rule1)) -> rule5)) -> rule7) OR ((triple10 triple6 ((triple7 ((triple9 ((((triple7 triple9) -> rule4) triple7 triple9) -> rule3)) -> rule6) ((triple10 triple7) -> rule1)) -> rule5)) -> rule7) OR ((triple10 triple6 ((triple7 ((triple9 ((((triple7 triple9) -> rule4) triple7 ((triple10 triple7) -> rule1)) -> rule3)) -> rule6) triple9) -> rule5)) -> rule7) OR ((triple10 triple6 ((triple7 ((((triple10 triple7) -> rule1) ((triple10 triple7 ((triple10 triple7) -> rule1)) -> rule3)) -> rule6) triple9) -> rule5)) -> rule7) OR ((triple10 triple6 ((triple7 ((((triple10 triple7) -> rule1) ((((triple7 triple9) -> rule4) triple7 triple9) -> rule3)) -> rule6) triple9) -> rule5)) -> rule7) OR ((((triple7 triple9) -> rule4) triple6 ((triple7 ((triple9 ((triple10 triple7 ((triple10 triple7) -> rule1)) -> rule3)) -> rule6) triple9) -> rule5)) -> rule7) OR ((((triple7 triple9) -> rule4) triple6 ((triple7 ((triple9 ((((triple7 triple9) -> rule4) triple7 triple9) -> rule3)) -> rule6) triple9) -> rule5)) -> rule7) OR ((triple10 triple6 ((triple7 ((triple9 ((((triple7 triple9) -> rule4) triple7 ((triple10 triple7) -> rule1)) -> rule3)) -> rule6) ((triple10 triple7) -> rule1)) -> rule5)) -> rule7) OR ((triple10 triple6 ((triple7 ((((triple10 triple7) -> rule1) ((triple10 triple7 ((triple10 triple7) -> rule1)) -> rule3)) -> rule6) ((triple10 triple7) -> rule1)) -> rule5)) -> rule7) OR ((triple10 triple6 ((triple7 ((((triple10 triple7) -> rule1) ((((triple7 triple9) -> rule4) triple7 triple9) -> rule3)) -> rule6) ((triple10 triple7) -> rule1)) -> rule5)) -> rule7) OR ((triple10 triple6 ((triple7 ((((triple10 triple7) -> rule1) ((((triple7 triple9) -> rule4) triple7 ((triple10 triple7) -> rule1)) -> rule3)) -> rule6) triple9) -> rule5)) -> rule7) OR ((((triple7 triple9) -> rule4) triple6 ((triple7 ((triple9 ((triple10 triple7 ((triple10 triple7) -> rule1)) -> rule3)) -> rule6) ((triple10 triple7) -> rule1)) -> rule5)) -> rule7) OR ((((triple7 triple9) -> rule4) triple6 ((triple7 ((triple9 ((((triple7 triple9) -> rule4) triple7 triple9) -> rule3)) -> rule6) ((triple10 triple7) -> rule1)) -> rule5)) -> rule7) OR ((((triple7 triple9) -> rule4) triple6 ((triple7 ((triple9 ((((triple7 triple9) -> rule4) triple7 ((triple10 triple7) -> rule1)) -> rule3)) -> rule6) triple9) -> rule5)) -> rule7) OR ((((triple7 triple9) -> rule4) triple6 ((triple7 ((((triple10 triple7) -> rule1) ((triple10 triple7 ((triple10 triple7) -> rule1)) -> rule3)) -> rule6) triple9) -> rule5)) -> rule7) OR ((((triple7 triple9) -> rule4) triple6 ((triple7 ((((triple10 triple7) -> rule1) ((((triple7 triple9) -> rule4) triple7 triple9) -> rule3)) -> rule6) triple9) -> rule5)) -> rule7) OR ((triple10 triple6 ((triple7 ((((triple10 triple7) -> rule1) ((((triple7 triple9) -> rule4) triple7 ((triple10 triple7) -> rule1)) -> rule3)) -> rule6) ((triple10 triple7) -> rule1)) -> rule5)) -> rule7) OR ((((triple7 triple9) -> rule4) triple6 ((triple7 ((triple9 ((((triple7 triple9) -> rule4) triple7 ((triple10 triple7) -> rule1)) -> rule3)) -> rule6) ((triple10 triple7) -> rule1)) -> rule5)) -> rule7) OR ((((triple7 triple9) -> rule4) triple6 ((triple7 ((((triple10 triple7) -> rule1) ((triple10 triple7 ((triple10 triple7) -> rule1)) -> rule3)) -> rule6) ((triple10 triple7) -> rule1)) -> rule5)) -> rule7) OR ((((triple7 triple9) -> rule4) triple6 ((triple7 ((((triple10 triple7) -> rule1) ((((triple7 triple9) -> rule4) triple7 triple9) -> rule3)) -> rule6) ((triple10 triple7) -> rule1)) -> rule5)) -> rule7) OR ((((triple7 triple9) -> rule4) triple6 ((triple7 ((((triple10 triple7) -> rule1) ((((triple7 triple9) -> rule4) triple7 ((triple10 triple7) -> rule1)) -> rule3)) -> rule6) triple9) -> rule5)) -> rule7) OR ((((triple7 triple9) -> rule4) triple6 ((triple7 ((((triple10 triple7) -> rule1) ((((triple7 triple9) -> rule4) triple7 ((triple10 triple7) -> rule1)) -> rule3)) -> rule6) ((triple10 triple7) -> rule1)) -> rule5)) -> rule7))]
("Harry" "is" "green" "-")
((triple10 triple6 ((triple7 ((triple9 triple12) -> (rule6 % int3)) triple9) -> (rule5 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
((triple10 triple6 ((triple7 ((triple9 triple12) -> (rule6 % int4)) ((triple10 triple7) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
((((triple7 triple9) -> (rule4 % int4)) triple6 ((triple7 ((triple9 triple12) -> (rule6 % int3)) triple9) -> (rule5 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
((((triple7 triple9) -> (rule4 % int5)) triple6 ((triple7 ((triple9 triple12) -> (rule6 % int4)) ((triple10 triple7) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
int5
((triple10 triple6 ((triple7 ((triple9 ((triple10 triple7 triple9) -> (rule3 % int4))) -> (rule6 % int3)) triple9) -> (rule5 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
((triple10 triple6 ((triple7 ((((triple10 triple7) -> (rule1 % int4)) triple12) -> (rule6 % int3)) triple9) -> (rule5 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
((triple10 triple6 ((triple7 ((triple9 ((triple10 triple7 triple9) -> (rule3 % int5))) -> (rule6 % int4)) ((triple10 triple7) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
((triple10 triple6 ((triple7 ((((triple10 triple7) -> (rule1 % int4)) triple12) -> (rule6 % int3)) ((triple10 triple7) -> (rule1 % int4))) -> (rule5 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
((triple10 triple6 ((triple7 ((((triple10 triple7) -> (rule1 % int5)) ((triple10 triple7 triple9) -> (rule3 % int4))) -> (rule6 % int3)) triple9) -> (rule5 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
((((triple7 triple9) -> (rule4 % int5)) triple6 ((triple7 ((triple9 ((triple10 triple7 triple9) -> (rule3 % int4))) -> (rule6 % int3)) triple9) -> (rule5 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
int5
((((triple7 triple9) -> (rule4 % int5)) triple6 ((triple7 ((((triple10 triple7) -> (rule1 % int4)) triple12) -> (rule6 % int3)) triple9) -> (rule5 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
int5
((triple10 triple6 ((triple7 ((((triple10 triple7) -> (rule1 % int5)) ((triple10 triple7 triple9) -> (rule3 % int4))) -> (rule6 % int3)) ((triple10 triple7) -> (rule1 % int5))) -> (rule5 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
((((triple7 triple9) -> (rule4 % int6)) triple6 ((triple7 ((triple9 ((triple10 triple7 triple9) -> (rule3 % int5))) -> (rule6 % int4)) ((triple10 triple7) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
Harry is nice.
("Harry" "is" "nice" "+")
int6
((((triple7 triple9) -> (rule4 % int5)) triple6 ((triple7 ((((triple10 triple7) -> (rule1 % int4)) triple12) -> (rule6 % int3)) ((triple10 triple7) -> (rule1 % int4))) -> (rule5 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
int5
((((triple7 triple9) -> (rule4 % int6)) triple6 ((triple7 ((((triple10 triple7) -> (rule1 % int5)) ((triple10 triple7 triple9) -> (rule3 % int4))) -> (rule6 % int3)) triple9) -> (rule5 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
Harry is nice.
("Harry" "is" "nice" "+")
int6
((((triple7 triple9) -> (rule4 % int6)) triple6 ((triple7 ((((triple10 triple7) -> (rule1 % int5)) ((triple10 triple7 triple9) -> (rule3 % int4))) -> (rule6 % int3)) ((triple10 triple7) -> (rule1 % int5))) -> (rule5 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
Harry is nice.
("Harry" "is" "nice" "+")
int6
((triple10 triple6 ((triple7 ((triple9 ((triple10 triple7 ((triple10 triple7) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule6 % int3)) triple9) -> (rule5 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
((triple10 triple6 ((triple7 ((triple9 ((((triple7 triple9) -> (rule4 % int5)) triple7 triple9) -> (rule3 % int4))) -> (rule6 % int3)) triple9) -> (rule5 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
int5
((triple10 triple6 ((triple7 ((triple9 ((triple10 triple7 ((triple10 triple7) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule6 % int3)) ((triple10 triple7) -> (rule1 % int5))) -> (rule5 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
((triple10 triple6 ((triple7 ((triple9 ((((triple7 triple9) -> (rule4 % int6)) triple7 triple9) -> (rule3 % int5))) -> (rule6 % int4)) ((triple10 triple7) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
Harry is nice.
("Harry" "is" "nice" "+")
int6
((triple10 triple6 ((triple7 ((triple9 ((((triple7 triple9) -> (rule4 % int6)) triple7 ((triple10 triple7) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule6 % int3)) triple9) -> (rule5 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
Harry is nice.
("Harry" "is" "nice" "+")
int6
((triple10 triple6 ((triple7 ((((triple10 triple7) -> (rule1 % int5)) ((triple10 triple7 ((triple10 triple7) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule6 % int3)) triple9) -> (rule5 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
((triple10 triple6 ((triple7 ((((triple10 triple7) -> (rule1 % int6)) ((((triple7 triple9) -> (rule4 % int5)) triple7 triple9) -> (rule3 % int4))) -> (rule6 % int3)) triple9) -> (rule5 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
int5
Harry is red.
("Harry" "is" "red" "+")
int6
((((triple7 triple9) -> (rule4 % int6)) triple6 ((triple7 ((triple9 ((triple10 triple7 ((triple10 triple7) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule6 % int3)) triple9) -> (rule5 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
Harry is nice.
("Harry" "is" "nice" "+")
int6
((((triple7 triple9) -> (rule4 % int5)) triple6 ((triple7 ((triple9 ((((triple7 triple9) -> (rule4 % int5)) triple7 triple9) -> (rule3 % int4))) -> (rule6 % int3)) triple9) -> (rule5 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
int5
((triple10 triple6 ((triple7 ((triple9 ((((triple7 triple9) -> (rule4 % int6)) triple7 ((triple10 triple7) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule6 % int3)) ((triple10 triple7) -> (rule1 % int5))) -> (rule5 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
Harry is nice.
("Harry" "is" "nice" "+")
int6
((triple10 triple6 ((triple7 ((((triple10 triple7) -> (rule1 % int5)) ((triple10 triple7 ((triple10 triple7) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule6 % int3)) ((triple10 triple7) -> (rule1 % int5))) -> (rule5 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
((triple10 triple6 ((triple7 ((((triple10 triple7) -> (rule1 % int6)) ((((triple7 triple9) -> (rule4 % int5)) triple7 triple9) -> (rule3 % int4))) -> (rule6 % int3)) ((triple10 triple7) -> (rule1 % int6))) -> (rule5 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
int5
Harry is red.
("Harry" "is" "red" "+")
int6
((triple10 triple6 ((triple7 ((((triple10 triple7) -> (rule1 % int6)) ((((triple7 triple9) -> (rule4 % int5)) triple7 ((triple10 triple7) -> (rule1 % int6))) -> (rule3 % int4))) -> (rule6 % int3)) triple9) -> (rule5 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
int5
Harry is red.
("Harry" "is" "red" "+")
int6
((((triple7 triple9) -> (rule4 % int6)) triple6 ((triple7 ((triple9 ((triple10 triple7 ((triple10 triple7) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule6 % int3)) ((triple10 triple7) -> (rule1 % int5))) -> (rule5 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
Harry is nice.
("Harry" "is" "nice" "+")
int6
((((triple7 triple9) -> (rule4 % int6)) triple6 ((triple7 ((triple9 ((((triple7 triple9) -> (rule4 % int6)) triple7 triple9) -> (rule3 % int5))) -> (rule6 % int4)) ((triple10 triple7) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
Harry is nice.
("Harry" "is" "nice" "+")
int6
((((triple7 triple9) -> (rule4 % int6)) triple6 ((triple7 ((triple9 ((((triple7 triple9) -> (rule4 % int6)) triple7 ((triple10 triple7) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule6 % int3)) triple9) -> (rule5 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
Harry is nice.
("Harry" "is" "nice" "+")
int6
((((triple7 triple9) -> (rule4 % int6)) triple6 ((triple7 ((((triple10 triple7) -> (rule1 % int5)) ((triple10 triple7 ((triple10 triple7) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule6 % int3)) triple9) -> (rule5 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
Harry is nice.
("Harry" "is" "nice" "+")
int6
((((triple7 triple9) -> (rule4 % int6)) triple6 ((triple7 ((((triple10 triple7) -> (rule1 % int5)) ((((triple7 triple9) -> (rule4 % int6)) triple7 triple9) -> (rule3 % int4))) -> (rule6 % int3)) triple9) -> (rule5 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
Harry is nice.
("Harry" "is" "nice" "+")
int6
((triple10 triple6 ((triple7 ((((triple10 triple7) -> (rule1 % int6)) ((((triple7 triple9) -> (rule4 % int5)) triple7 ((triple10 triple7) -> (rule1 % int6))) -> (rule3 % int4))) -> (rule6 % int3)) ((triple10 triple7) -> (rule1 % int6))) -> (rule5 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
int5
Harry is red.
("Harry" "is" "red" "+")
int6
((((triple7 triple9) -> (rule4 % int6)) triple6 ((triple7 ((triple9 ((((triple7 triple9) -> (rule4 % int6)) triple7 ((triple10 triple7) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule6 % int3)) ((triple10 triple7) -> (rule1 % int5))) -> (rule5 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
Harry is nice.
("Harry" "is" "nice" "+")
int6
((((triple7 triple9) -> (rule4 % int6)) triple6 ((triple7 ((((triple10 triple7) -> (rule1 % int5)) ((triple10 triple7 ((triple10 triple7) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule6 % int3)) ((triple10 triple7) -> (rule1 % int5))) -> (rule5 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
Harry is nice.
("Harry" "is" "nice" "+")
int6
((((triple7 triple9) -> (rule4 % int6)) triple6 ((triple7 ((((triple10 triple7) -> (rule1 % int5)) ((((triple7 triple9) -> (rule4 % int6)) triple7 triple9) -> (rule3 % int4))) -> (rule6 % int3)) ((triple10 triple7) -> (rule1 % int5))) -> (rule5 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
Harry is nice.
("Harry" "is" "nice" "+")
int6
((((triple7 triple9) -> (rule4 % int6)) triple6 ((triple7 ((((triple10 triple7) -> (rule1 % int5)) ((((triple7 triple9) -> (rule4 % int6)) triple7 ((triple10 triple7) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule6 % int3)) triple9) -> (rule5 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
Harry is nice.
("Harry" "is" "nice" "+")
int6
((((triple7 triple9) -> (rule4 % int6)) triple6 ((triple7 ((((triple10 triple7) -> (rule1 % int5)) ((((triple7 triple9) -> (rule4 % int6)) triple7 ((triple10 triple7) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule6 % int3)) ((triple10 triple7) -> (rule1 % int5))) -> (rule5 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
Harry is nice.
("Harry" "is" "nice" "+")
int6
Eric is not nice.
Unknown
inv-rconc
[@1: Eric is nice.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Eric" "is" "nice" "-")
Gary is big.
Unknown
rconc
[@1: Gary is big.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "big" "+")
Charlie is not nice.
Unknown
inv-rconc
[@1: Charlie is nice.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Charlie" "is" "nice" "-")
Charlie is green.
Unknown
rconc
[@1: Charlie is green.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Charlie" "is" "green" "+")
Gary is not round.
Unknown
inv-random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "-")
Eric is round.
Unknown
random
[@0: Eric is round.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "round" "+")
Gary is not young.
Unknown
inv-random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "-")
Charlie is round.
Unknown
random
[@0: Charlie is round.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "round" "+")
@0: Charlie is kind.[(triple1)] Eric is blue.[(triple3)] Eric is young.[(triple2)] Gary is blue.[(triple5)] Gary is red.[(triple4)] Harry is big.[(triple12 OR ((triple10 triple7 triple9) -> rule3) OR ((triple10 triple7 ((triple10 triple7) -> rule1)) -> rule3) OR ((((triple7 triple9) -> rule4) triple7 triple9) -> rule3) OR ((((triple7 triple9) -> rule4) triple7 ((triple10 triple7) -> rule1)) -> rule3))] Harry is kind.[(triple11 OR ((triple7 triple9) -> rule2) OR ((triple7 ((triple10 triple7) -> rule1)) -> rule2))] Harry is nice.[(triple10 OR ((triple7 triple9) -> rule4))] Harry is red.[(triple9 OR ((triple10 triple7) -> rule1))] Harry is rough.[(triple8)] Harry is round.[(triple7)] Harry is young.[(triple6)] @1: Harry is blue.[(((triple9 triple12) -> rule6) OR ((triple9 ((triple10 triple7 triple9) -> rule3)) -> rule6) OR ((((triple10 triple7) -> rule1) triple12) -> rule6) OR ((((triple10 triple7) -> rule1) ((triple10 triple7 triple9) -> rule3)) -> rule6) OR ((triple9 ((triple10 triple7 ((triple10 triple7) -> rule1)) -> rule3)) -> rule6) OR ((triple9 ((((triple7 triple9) -> rule4) triple7 triple9) -> rule3)) -> rule6) OR ((triple9 ((((triple7 triple9) -> rule4) triple7 ((triple10 triple7) -> rule1)) -> rule3)) -> rule6) OR ((((triple10 triple7) -> rule1) ((triple10 triple7 ((triple10 triple7) -> rule1)) -> rule3)) -> rule6) OR ((((triple10 triple7) -> rule1) ((((triple7 triple9) -> rule4) triple7 triple9) -> rule3)) -> rule6) OR ((((triple10 triple7) -> rule1) ((((triple7 triple9) -> rule4) triple7 ((triple10 triple7) -> rule1)) -> rule3)) -> rule6))] @2: Harry is cold.[(((triple7 ((triple9 triple12) -> rule6) triple9) -> rule5) OR ((triple7 ((triple9 triple12) -> rule6) ((triple10 triple7) -> rule1)) -> rule5) OR ((triple7 ((triple9 ((triple10 triple7 triple9) -> rule3)) -> rule6) triple9) -> rule5) OR ((triple7 ((((triple10 triple7) -> rule1) triple12) -> rule6) triple9) -> rule5) OR ((triple7 ((triple9 ((triple10 triple7 triple9) -> rule3)) -> rule6) ((triple10 triple7) -> rule1)) -> rule5) OR ((triple7 ((((triple10 triple7) -> rule1) triple12) -> rule6) ((triple10 triple7) -> rule1)) -> rule5) OR ((triple7 ((((triple10 triple7) -> rule1) ((triple10 triple7 triple9) -> rule3)) -> rule6) triple9) -> rule5) OR ((triple7 ((((triple10 triple7) -> rule1) ((triple10 triple7 triple9) -> rule3)) -> rule6) ((triple10 triple7) -> rule1)) -> rule5) OR ((triple7 ((triple9 ((triple10 triple7 ((triple10 triple7) -> rule1)) -> rule3)) -> rule6) triple9) -> rule5) OR ((triple7 ((triple9 ((((triple7 triple9) -> rule4) triple7 triple9) -> rule3)) -> rule6) triple9) -> rule5) OR ((triple7 ((triple9 ((triple10 triple7 ((triple10 triple7) -> rule1)) -> rule3)) -> rule6) ((triple10 triple7) -> rule1)) -> rule5) OR ((triple7 ((triple9 ((((triple7 triple9) -> rule4) triple7 triple9) -> rule3)) -> rule6) ((triple10 triple7) -> rule1)) -> rule5) OR ((triple7 ((triple9 ((((triple7 triple9) -> rule4) triple7 ((triple10 triple7) -> rule1)) -> rule3)) -> rule6) triple9) -> rule5) OR ((triple7 ((((triple10 triple7) -> rule1) ((triple10 triple7 ((triple10 triple7) -> rule1)) -> rule3)) -> rule6) triple9) -> rule5) OR ((triple7 ((((triple10 triple7) -> rule1) ((((triple7 triple9) -> rule4) triple7 triple9) -> rule3)) -> rule6) triple9) -> rule5) OR ((triple7 ((triple9 ((((triple7 triple9) -> rule4) triple7 ((triple10 triple7) -> rule1)) -> rule3)) -> rule6) ((triple10 triple7) -> rule1)) -> rule5) OR ((triple7 ((((triple10 triple7) -> rule1) ((triple10 triple7 ((triple10 triple7) -> rule1)) -> rule3)) -> rule6) ((triple10 triple7) -> rule1)) -> rule5) OR ((triple7 ((((triple10 triple7) -> rule1) ((((triple7 triple9) -> rule4) triple7 triple9) -> rule3)) -> rule6) ((triple10 triple7) -> rule1)) -> rule5) OR ((triple7 ((((triple10 triple7) -> rule1) ((((triple7 triple9) -> rule4) triple7 ((triple10 triple7) -> rule1)) -> rule3)) -> rule6) triple9) -> rule5) OR ((triple7 ((((triple10 triple7) -> rule1) ((((triple7 triple9) -> rule4) triple7 ((triple10 triple7) -> rule1)) -> rule3)) -> rule6) ((triple10 triple7) -> rule1)) -> rule5))] @3: Harry is green.[(((triple10 triple6 ((triple7 ((triple9 triple12) -> rule6) triple9) -> rule5)) -> rule7) OR ((triple10 triple6 ((triple7 ((triple9 triple12) -> rule6) ((triple10 triple7) -> rule1)) -> rule5)) -> rule7) OR ((((triple7 triple9) -> rule4) triple6 ((triple7 ((triple9 triple12) -> rule6) triple9) -> rule5)) -> rule7) OR ((((triple7 triple9) -> rule4) triple6 ((triple7 ((triple9 triple12) -> rule6) ((triple10 triple7) -> rule1)) -> rule5)) -> rule7) OR ((triple10 triple6 ((triple7 ((triple9 ((triple10 triple7 triple9) -> rule3)) -> rule6) triple9) -> rule5)) -> rule7) OR ((triple10 triple6 ((triple7 ((((triple10 triple7) -> rule1) triple12) -> rule6) triple9) -> rule5)) -> rule7) OR ((triple10 triple6 ((triple7 ((triple9 ((triple10 triple7 triple9) -> rule3)) -> rule6) ((triple10 triple7) -> rule1)) -> rule5)) -> rule7) OR ((triple10 triple6 ((triple7 ((((triple10 triple7) -> rule1) triple12) -> rule6) ((triple10 triple7) -> rule1)) -> rule5)) -> rule7) OR ((triple10 triple6 ((triple7 ((((triple10 triple7) -> rule1) ((triple10 triple7 triple9) -> rule3)) -> rule6) triple9) -> rule5)) -> rule7) OR ((((triple7 triple9) -> rule4) triple6 ((triple7 ((triple9 ((triple10 triple7 triple9) -> rule3)) -> rule6) triple9) -> rule5)) -> rule7) OR ((((triple7 triple9) -> rule4) triple6 ((triple7 ((((triple10 triple7) -> rule1) triple12) -> rule6) triple9) -> rule5)) -> rule7) OR ((triple10 triple6 ((triple7 ((((triple10 triple7) -> rule1) ((triple10 triple7 triple9) -> rule3)) -> rule6) ((triple10 triple7) -> rule1)) -> rule5)) -> rule7) OR ((((triple7 triple9) -> rule4) triple6 ((triple7 ((triple9 ((triple10 triple7 triple9) -> rule3)) -> rule6) ((triple10 triple7) -> rule1)) -> rule5)) -> rule7) OR ((((triple7 triple9) -> rule4) triple6 ((triple7 ((((triple10 triple7) -> rule1) triple12) -> rule6) ((triple10 triple7) -> rule1)) -> rule5)) -> rule7) OR ((((triple7 triple9) -> rule4) triple6 ((triple7 ((((triple10 triple7) -> rule1) ((triple10 triple7 triple9) -> rule3)) -> rule6) triple9) -> rule5)) -> rule7) OR ((((triple7 triple9) -> rule4) triple6 ((triple7 ((((triple10 triple7) -> rule1) ((triple10 triple7 triple9) -> rule3)) -> rule6) ((triple10 triple7) -> rule1)) -> rule5)) -> rule7) OR ((triple10 triple6 ((triple7 ((triple9 ((triple10 triple7 ((triple10 triple7) -> rule1)) -> rule3)) -> rule6) triple9) -> rule5)) -> rule7) OR ((triple10 triple6 ((triple7 ((triple9 ((((triple7 triple9) -> rule4) triple7 triple9) -> rule3)) -> rule6) triple9) -> rule5)) -> rule7) OR ((triple10 triple6 ((triple7 ((triple9 ((triple10 triple7 ((triple10 triple7) -> rule1)) -> rule3)) -> rule6) ((triple10 triple7) -> rule1)) -> rule5)) -> rule7) OR ((triple10 triple6 ((triple7 ((triple9 ((((triple7 triple9) -> rule4) triple7 triple9) -> rule3)) -> rule6) ((triple10 triple7) -> rule1)) -> rule5)) -> rule7) OR ((triple10 triple6 ((triple7 ((triple9 ((((triple7 triple9) -> rule4) triple7 ((triple10 triple7) -> rule1)) -> rule3)) -> rule6) triple9) -> rule5)) -> rule7) OR ((triple10 triple6 ((triple7 ((((triple10 triple7) -> rule1) ((triple10 triple7 ((triple10 triple7) -> rule1)) -> rule3)) -> rule6) triple9) -> rule5)) -> rule7) OR ((triple10 triple6 ((triple7 ((((triple10 triple7) -> rule1) ((((triple7 triple9) -> rule4) triple7 triple9) -> rule3)) -> rule6) triple9) -> rule5)) -> rule7) OR ((((triple7 triple9) -> rule4) triple6 ((triple7 ((triple9 ((triple10 triple7 ((triple10 triple7) -> rule1)) -> rule3)) -> rule6) triple9) -> rule5)) -> rule7) OR ((((triple7 triple9) -> rule4) triple6 ((triple7 ((triple9 ((((triple7 triple9) -> rule4) triple7 triple9) -> rule3)) -> rule6) triple9) -> rule5)) -> rule7) OR ((triple10 triple6 ((triple7 ((triple9 ((((triple7 triple9) -> rule4) triple7 ((triple10 triple7) -> rule1)) -> rule3)) -> rule6) ((triple10 triple7) -> rule1)) -> rule5)) -> rule7) OR ((triple10 triple6 ((triple7 ((((triple10 triple7) -> rule1) ((triple10 triple7 ((triple10 triple7) -> rule1)) -> rule3)) -> rule6) ((triple10 triple7) -> rule1)) -> rule5)) -> rule7) OR ((triple10 triple6 ((triple7 ((((triple10 triple7) -> rule1) ((((triple7 triple9) -> rule4) triple7 triple9) -> rule3)) -> rule6) ((triple10 triple7) -> rule1)) -> rule5)) -> rule7) OR ((triple10 triple6 ((triple7 ((((triple10 triple7) -> rule1) ((((triple7 triple9) -> rule4) triple7 ((triple10 triple7) -> rule1)) -> rule3)) -> rule6) triple9) -> rule5)) -> rule7) OR ((((triple7 triple9) -> rule4) triple6 ((triple7 ((triple9 ((triple10 triple7 ((triple10 triple7) -> rule1)) -> rule3)) -> rule6) ((triple10 triple7) -> rule1)) -> rule5)) -> rule7) OR ((((triple7 triple9) -> rule4) triple6 ((triple7 ((triple9 ((((triple7 triple9) -> rule4) triple7 triple9) -> rule3)) -> rule6) ((triple10 triple7) -> rule1)) -> rule5)) -> rule7) OR ((((triple7 triple9) -> rule4) triple6 ((triple7 ((triple9 ((((triple7 triple9) -> rule4) triple7 ((triple10 triple7) -> rule1)) -> rule3)) -> rule6) triple9) -> rule5)) -> rule7) OR ((((triple7 triple9) -> rule4) triple6 ((triple7 ((((triple10 triple7) -> rule1) ((triple10 triple7 ((triple10 triple7) -> rule1)) -> rule3)) -> rule6) triple9) -> rule5)) -> rule7) OR ((((triple7 triple9) -> rule4) triple6 ((triple7 ((((triple10 triple7) -> rule1) ((((triple7 triple9) -> rule4) triple7 triple9) -> rule3)) -> rule6) triple9) -> rule5)) -> rule7) OR ((triple10 triple6 ((triple7 ((((triple10 triple7) -> rule1) ((((triple7 triple9) -> rule4) triple7 ((triple10 triple7) -> rule1)) -> rule3)) -> rule6) ((triple10 triple7) -> rule1)) -> rule5)) -> rule7) OR ((((triple7 triple9) -> rule4) triple6 ((triple7 ((triple9 ((((triple7 triple9) -> rule4) triple7 ((triple10 triple7) -> rule1)) -> rule3)) -> rule6) ((triple10 triple7) -> rule1)) -> rule5)) -> rule7) OR ((((triple7 triple9) -> rule4) triple6 ((triple7 ((((triple10 triple7) -> rule1) ((triple10 triple7 ((triple10 triple7) -> rule1)) -> rule3)) -> rule6) ((triple10 triple7) -> rule1)) -> rule5)) -> rule7) OR ((((triple7 triple9) -> rule4) triple6 ((triple7 ((((triple10 triple7) -> rule1) ((((triple7 triple9) -> rule4) triple7 triple9) -> rule3)) -> rule6) ((triple10 triple7) -> rule1)) -> rule5)) -> rule7) OR ((((triple7 triple9) -> rule4) triple6 ((triple7 ((((triple10 triple7) -> rule1) ((((triple7 triple9) -> rule4) triple7 ((triple10 triple7) -> rule1)) -> rule3)) -> rule6) triple9) -> rule5)) -> rule7) OR ((((triple7 triple9) -> rule4) triple6 ((triple7 ((((triple10 triple7) -> rule1) ((((triple7 triple9) -> rule4) triple7 ((triple10 triple7) -> rule1)) -> rule3)) -> rule6) ((triple10 triple7) -> rule1)) -> rule5)) -> rule7))]
Charlie is kind.
("Charlie" "is" "kind" "+")
triple1
Eric is blue.
("Eric" "is" "blue" "+")
triple3
Eric is young.
("Eric" "is" "young" "+")
triple2
Gary is blue.
("Gary" "is" "blue" "+")
triple5
Gary is red.
("Gary" "is" "red" "+")
triple4
Harry is big.
("Harry" "is" "big" "+")
triple12
((triple10 triple7 triple9) -> (rule3 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
((triple10 triple7 ((triple10 triple7) -> (rule1 % int2))) -> (rule3 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
((((triple7 triple9) -> (rule4 % int2)) triple7 triple9) -> (rule3 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
((((triple7 triple9) -> (rule4 % int3)) triple7 ((triple10 triple7) -> (rule1 % int2))) -> (rule3 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
triple11
((triple7 triple9) -> (rule2 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
((triple7 ((triple10 triple7) -> (rule1 % int2))) -> (rule2 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
triple10
((triple7 triple9) -> (rule4 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
triple9
((triple10 triple7) -> (rule1 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
triple8
Harry is round.
("Harry" "is" "round" "+")
triple7
Harry is young.
("Harry" "is" "young" "+")
triple6
Harry is blue.
("Harry" "is" "blue" "+")
((triple9 triple12) -> (rule6 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
((triple9 ((triple10 triple7 triple9) -> (rule3 % int2))) -> (rule6 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
((((triple10 triple7) -> (rule1 % int2)) triple12) -> (rule6 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
((((triple10 triple7) -> (rule1 % int3)) ((triple10 triple7 triple9) -> (rule3 % int2))) -> (rule6 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
((triple9 ((triple10 triple7 ((triple10 triple7) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
((triple9 ((((triple7 triple9) -> (rule4 % int3)) triple7 triple9) -> (rule3 % int2))) -> (rule6 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
((triple9 ((((triple7 triple9) -> (rule4 % int4)) triple7 ((triple10 triple7) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
((((triple10 triple7) -> (rule1 % int3)) ((triple10 triple7 ((triple10 triple7) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
((((triple10 triple7) -> (rule1 % int4)) ((((triple7 triple9) -> (rule4 % int3)) triple7 triple9) -> (rule3 % int2))) -> (rule6 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
((((triple10 triple7) -> (rule1 % int4)) ((((triple7 triple9) -> (rule4 % int3)) triple7 ((triple10 triple7) -> (rule1 % int4))) -> (rule3 % int2))) -> (rule6 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
((triple7 ((triple9 triple12) -> (rule6 % int2)) triple9) -> (rule5 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
((triple7 ((triple9 triple12) -> (rule6 % int3)) ((triple10 triple7) -> (rule1 % int2))) -> (rule5 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
((triple7 ((triple9 ((triple10 triple7 triple9) -> (rule3 % int3))) -> (rule6 % int2)) triple9) -> (rule5 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
((triple7 ((((triple10 triple7) -> (rule1 % int3)) triple12) -> (rule6 % int2)) triple9) -> (rule5 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
((triple7 ((triple9 ((triple10 triple7 triple9) -> (rule3 % int4))) -> (rule6 % int3)) ((triple10 triple7) -> (rule1 % int2))) -> (rule5 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
((triple7 ((((triple10 triple7) -> (rule1 % int3)) triple12) -> (rule6 % int2)) ((triple10 triple7) -> (rule1 % int3))) -> (rule5 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
((triple7 ((((triple10 triple7) -> (rule1 % int4)) ((triple10 triple7 triple9) -> (rule3 % int3))) -> (rule6 % int2)) triple9) -> (rule5 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
((triple7 ((((triple10 triple7) -> (rule1 % int4)) ((triple10 triple7 triple9) -> (rule3 % int3))) -> (rule6 % int2)) ((triple10 triple7) -> (rule1 % int4))) -> (rule5 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
((triple7 ((triple9 ((triple10 triple7 ((triple10 triple7) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule6 % int2)) triple9) -> (rule5 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
((triple7 ((triple9 ((((triple7 triple9) -> (rule4 % int4)) triple7 triple9) -> (rule3 % int3))) -> (rule6 % int2)) triple9) -> (rule5 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
((triple7 ((triple9 ((triple10 triple7 ((triple10 triple7) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule6 % int2)) ((triple10 triple7) -> (rule1 % int4))) -> (rule5 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
((triple7 ((triple9 ((((triple7 triple9) -> (rule4 % int5)) triple7 triple9) -> (rule3 % int4))) -> (rule6 % int3)) ((triple10 triple7) -> (rule1 % int2))) -> (rule5 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
int5
((triple7 ((triple9 ((((triple7 triple9) -> (rule4 % int5)) triple7 ((triple10 triple7) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule6 % int2)) triple9) -> (rule5 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
int5
((triple7 ((((triple10 triple7) -> (rule1 % int4)) ((triple10 triple7 ((triple10 triple7) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule6 % int2)) triple9) -> (rule5 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
((triple7 ((((triple10 triple7) -> (rule1 % int5)) ((((triple7 triple9) -> (rule4 % int4)) triple7 triple9) -> (rule3 % int3))) -> (rule6 % int2)) triple9) -> (rule5 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
((triple7 ((triple9 ((((triple7 triple9) -> (rule4 % int5)) triple7 ((triple10 triple7) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule6 % int2)) ((triple10 triple7) -> (rule1 % int4))) -> (rule5 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
int5
((triple7 ((((triple10 triple7) -> (rule1 % int4)) ((triple10 triple7 ((triple10 triple7) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule6 % int2)) ((triple10 triple7) -> (rule1 % int4))) -> (rule5 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
((triple7 ((((triple10 triple7) -> (rule1 % int5)) ((((triple7 triple9) -> (rule4 % int4)) triple7 triple9) -> (rule3 % int3))) -> (rule6 % int2)) ((triple10 triple7) -> (rule1 % int5))) -> (rule5 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
((triple7 ((((triple10 triple7) -> (rule1 % int5)) ((((triple7 triple9) -> (rule4 % int4)) triple7 ((triple10 triple7) -> (rule1 % int5))) -> (rule3 % int3))) -> (rule6 % int2)) triple9) -> (rule5 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
((triple7 ((((triple10 triple7) -> (rule1 % int5)) ((((triple7 triple9) -> (rule4 % int4)) triple7 ((triple10 triple7) -> (rule1 % int5))) -> (rule3 % int3))) -> (rule6 % int2)) ((triple10 triple7) -> (rule1 % int5))) -> (rule5 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
Harry is green.
("Harry" "is" "green" "+")
((triple10 triple6 ((triple7 ((triple9 triple12) -> (rule6 % int3)) triple9) -> (rule5 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
((triple10 triple6 ((triple7 ((triple9 triple12) -> (rule6 % int4)) ((triple10 triple7) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
((((triple7 triple9) -> (rule4 % int4)) triple6 ((triple7 ((triple9 triple12) -> (rule6 % int3)) triple9) -> (rule5 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
((((triple7 triple9) -> (rule4 % int5)) triple6 ((triple7 ((triple9 triple12) -> (rule6 % int4)) ((triple10 triple7) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
int5
((triple10 triple6 ((triple7 ((triple9 ((triple10 triple7 triple9) -> (rule3 % int4))) -> (rule6 % int3)) triple9) -> (rule5 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
((triple10 triple6 ((triple7 ((((triple10 triple7) -> (rule1 % int4)) triple12) -> (rule6 % int3)) triple9) -> (rule5 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
((triple10 triple6 ((triple7 ((triple9 ((triple10 triple7 triple9) -> (rule3 % int5))) -> (rule6 % int4)) ((triple10 triple7) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
((triple10 triple6 ((triple7 ((((triple10 triple7) -> (rule1 % int4)) triple12) -> (rule6 % int3)) ((triple10 triple7) -> (rule1 % int4))) -> (rule5 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
((triple10 triple6 ((triple7 ((((triple10 triple7) -> (rule1 % int5)) ((triple10 triple7 triple9) -> (rule3 % int4))) -> (rule6 % int3)) triple9) -> (rule5 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
((((triple7 triple9) -> (rule4 % int5)) triple6 ((triple7 ((triple9 ((triple10 triple7 triple9) -> (rule3 % int4))) -> (rule6 % int3)) triple9) -> (rule5 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
int5
((((triple7 triple9) -> (rule4 % int5)) triple6 ((triple7 ((((triple10 triple7) -> (rule1 % int4)) triple12) -> (rule6 % int3)) triple9) -> (rule5 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
int5
((triple10 triple6 ((triple7 ((((triple10 triple7) -> (rule1 % int5)) ((triple10 triple7 triple9) -> (rule3 % int4))) -> (rule6 % int3)) ((triple10 triple7) -> (rule1 % int5))) -> (rule5 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
((((triple7 triple9) -> (rule4 % int6)) triple6 ((triple7 ((triple9 ((triple10 triple7 triple9) -> (rule3 % int5))) -> (rule6 % int4)) ((triple10 triple7) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
Harry is nice.
("Harry" "is" "nice" "+")
int6
((((triple7 triple9) -> (rule4 % int5)) triple6 ((triple7 ((((triple10 triple7) -> (rule1 % int4)) triple12) -> (rule6 % int3)) ((triple10 triple7) -> (rule1 % int4))) -> (rule5 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
int5
((((triple7 triple9) -> (rule4 % int6)) triple6 ((triple7 ((((triple10 triple7) -> (rule1 % int5)) ((triple10 triple7 triple9) -> (rule3 % int4))) -> (rule6 % int3)) triple9) -> (rule5 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
Harry is nice.
("Harry" "is" "nice" "+")
int6
((((triple7 triple9) -> (rule4 % int6)) triple6 ((triple7 ((((triple10 triple7) -> (rule1 % int5)) ((triple10 triple7 triple9) -> (rule3 % int4))) -> (rule6 % int3)) ((triple10 triple7) -> (rule1 % int5))) -> (rule5 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
Harry is nice.
("Harry" "is" "nice" "+")
int6
((triple10 triple6 ((triple7 ((triple9 ((triple10 triple7 ((triple10 triple7) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule6 % int3)) triple9) -> (rule5 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
((triple10 triple6 ((triple7 ((triple9 ((((triple7 triple9) -> (rule4 % int5)) triple7 triple9) -> (rule3 % int4))) -> (rule6 % int3)) triple9) -> (rule5 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
int5
((triple10 triple6 ((triple7 ((triple9 ((triple10 triple7 ((triple10 triple7) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule6 % int3)) ((triple10 triple7) -> (rule1 % int5))) -> (rule5 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
((triple10 triple6 ((triple7 ((triple9 ((((triple7 triple9) -> (rule4 % int6)) triple7 triple9) -> (rule3 % int5))) -> (rule6 % int4)) ((triple10 triple7) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
Harry is nice.
("Harry" "is" "nice" "+")
int6
((triple10 triple6 ((triple7 ((triple9 ((((triple7 triple9) -> (rule4 % int6)) triple7 ((triple10 triple7) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule6 % int3)) triple9) -> (rule5 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
Harry is nice.
("Harry" "is" "nice" "+")
int6
((triple10 triple6 ((triple7 ((((triple10 triple7) -> (rule1 % int5)) ((triple10 triple7 ((triple10 triple7) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule6 % int3)) triple9) -> (rule5 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
((triple10 triple6 ((triple7 ((((triple10 triple7) -> (rule1 % int6)) ((((triple7 triple9) -> (rule4 % int5)) triple7 triple9) -> (rule3 % int4))) -> (rule6 % int3)) triple9) -> (rule5 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
int5
Harry is red.
("Harry" "is" "red" "+")
int6
((((triple7 triple9) -> (rule4 % int6)) triple6 ((triple7 ((triple9 ((triple10 triple7 ((triple10 triple7) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule6 % int3)) triple9) -> (rule5 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
Harry is nice.
("Harry" "is" "nice" "+")
int6
((((triple7 triple9) -> (rule4 % int5)) triple6 ((triple7 ((triple9 ((((triple7 triple9) -> (rule4 % int5)) triple7 triple9) -> (rule3 % int4))) -> (rule6 % int3)) triple9) -> (rule5 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
int5
((triple10 triple6 ((triple7 ((triple9 ((((triple7 triple9) -> (rule4 % int6)) triple7 ((triple10 triple7) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule6 % int3)) ((triple10 triple7) -> (rule1 % int5))) -> (rule5 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
Harry is nice.
("Harry" "is" "nice" "+")
int6
((triple10 triple6 ((triple7 ((((triple10 triple7) -> (rule1 % int5)) ((triple10 triple7 ((triple10 triple7) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule6 % int3)) ((triple10 triple7) -> (rule1 % int5))) -> (rule5 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
((triple10 triple6 ((triple7 ((((triple10 triple7) -> (rule1 % int6)) ((((triple7 triple9) -> (rule4 % int5)) triple7 triple9) -> (rule3 % int4))) -> (rule6 % int3)) ((triple10 triple7) -> (rule1 % int6))) -> (rule5 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
int5
Harry is red.
("Harry" "is" "red" "+")
int6
((triple10 triple6 ((triple7 ((((triple10 triple7) -> (rule1 % int6)) ((((triple7 triple9) -> (rule4 % int5)) triple7 ((triple10 triple7) -> (rule1 % int6))) -> (rule3 % int4))) -> (rule6 % int3)) triple9) -> (rule5 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
int5
Harry is red.
("Harry" "is" "red" "+")
int6
((((triple7 triple9) -> (rule4 % int6)) triple6 ((triple7 ((triple9 ((triple10 triple7 ((triple10 triple7) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule6 % int3)) ((triple10 triple7) -> (rule1 % int5))) -> (rule5 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
Harry is nice.
("Harry" "is" "nice" "+")
int6
((((triple7 triple9) -> (rule4 % int6)) triple6 ((triple7 ((triple9 ((((triple7 triple9) -> (rule4 % int6)) triple7 triple9) -> (rule3 % int5))) -> (rule6 % int4)) ((triple10 triple7) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
Harry is nice.
("Harry" "is" "nice" "+")
int6
((((triple7 triple9) -> (rule4 % int6)) triple6 ((triple7 ((triple9 ((((triple7 triple9) -> (rule4 % int6)) triple7 ((triple10 triple7) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule6 % int3)) triple9) -> (rule5 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
Harry is nice.
("Harry" "is" "nice" "+")
int6
((((triple7 triple9) -> (rule4 % int6)) triple6 ((triple7 ((((triple10 triple7) -> (rule1 % int5)) ((triple10 triple7 ((triple10 triple7) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule6 % int3)) triple9) -> (rule5 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
Harry is nice.
("Harry" "is" "nice" "+")
int6
((((triple7 triple9) -> (rule4 % int6)) triple6 ((triple7 ((((triple10 triple7) -> (rule1 % int5)) ((((triple7 triple9) -> (rule4 % int6)) triple7 triple9) -> (rule3 % int4))) -> (rule6 % int3)) triple9) -> (rule5 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
Harry is nice.
("Harry" "is" "nice" "+")
int6
((triple10 triple6 ((triple7 ((((triple10 triple7) -> (rule1 % int6)) ((((triple7 triple9) -> (rule4 % int5)) triple7 ((triple10 triple7) -> (rule1 % int6))) -> (rule3 % int4))) -> (rule6 % int3)) ((triple10 triple7) -> (rule1 % int6))) -> (rule5 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
int5
Harry is red.
("Harry" "is" "red" "+")
int6
((((triple7 triple9) -> (rule4 % int6)) triple6 ((triple7 ((triple9 ((((triple7 triple9) -> (rule4 % int6)) triple7 ((triple10 triple7) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule6 % int3)) ((triple10 triple7) -> (rule1 % int5))) -> (rule5 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
Harry is nice.
("Harry" "is" "nice" "+")
int6
((((triple7 triple9) -> (rule4 % int6)) triple6 ((triple7 ((((triple10 triple7) -> (rule1 % int5)) ((triple10 triple7 ((triple10 triple7) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule6 % int3)) ((triple10 triple7) -> (rule1 % int5))) -> (rule5 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
Harry is nice.
("Harry" "is" "nice" "+")
int6
((((triple7 triple9) -> (rule4 % int6)) triple6 ((triple7 ((((triple10 triple7) -> (rule1 % int5)) ((((triple7 triple9) -> (rule4 % int6)) triple7 triple9) -> (rule3 % int4))) -> (rule6 % int3)) ((triple10 triple7) -> (rule1 % int5))) -> (rule5 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
Harry is nice.
("Harry" "is" "nice" "+")
int6
((((triple7 triple9) -> (rule4 % int6)) triple6 ((triple7 ((((triple10 triple7) -> (rule1 % int5)) ((((triple7 triple9) -> (rule4 % int6)) triple7 ((triple10 triple7) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule6 % int3)) triple9) -> (rule5 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
Harry is nice.
("Harry" "is" "nice" "+")
int6
((((triple7 triple9) -> (rule4 % int6)) triple6 ((triple7 ((((triple10 triple7) -> (rule1 % int5)) ((((triple7 triple9) -> (rule4 % int6)) triple7 ((triple10 triple7) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule6 % int3)) ((triple10 triple7) -> (rule1 % int5))) -> (rule5 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
Harry is nice.
("Harry" "is" "nice" "+")
int6
Charlie always goes out of his way to show that he is kind to people.
From a certain angle Eric is blue but he is young so maybe that will go away.
Gary looks red to most people, with blue features.
Harry is big, round, and rough; He is young, kind, and nice with rosy red cheeks.
If people are nice and round, they look red.
Lucky for us, people that are round and red are kind to strangers.
Red and round people are nice to others even though they are big.
A round shaped and red person is definitely nice.
Someone blue who is round with bloating and red from sunburn is surely cold from having fallen into the lake.
All men who happen to be red and big, will also be blue.
Young people who are nice and cold, are rather green.