Bob has a round face and is very nice. Gary is round in the middle and extraordinarily nice but he's also blue because people don't always treat him well. That cold kind hearted man over there with the round body, red nose, and rough blue hsirt is named Harry. A cold person who is round but rough around the edges is big. A big person who looks blue is also going to look young. A person who is cold but red, and big in size is young for sure. Young round folks who are at least a bit red are actually nice. Nice young people who are round are also blue. When someone feels cold, while being big and rough, they always turn out to be red. A person that is green also someone who is big.
Bob is round.
("Bob" "is" "round" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If someone is round and cold and rough then they are big.
((("someone" "is" "round" "+") ("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
If someone is blue and big then they are young.
((("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is red and big and cold then they are young.
((("someone" "is" "red" "+") ("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
If someone is red and round and young then they are nice.
((("someone" "is" "red" "+") ("someone" "is" "round" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "nice" "+"))
If someone is nice and young and round then they are blue.
((("someone" "is" "nice" "+") ("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
If someone is cold and big and rough then they are red.
((("someone" "is" "cold" "+") ("someone" "is" "big" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
If someone is green then they are big.
((("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
Gary is blue.
True
1
proof
[(triple5)]
("Gary" "is" "blue" "+")
triple5
Harry is not blue.
False
1
inv-proof
[(triple11 OR ((((triple8 triple6 ((triple8 ((triple6 triple10 triple7) -> rule1) triple10) -> rule3)) -> rule4) ((triple8 ((triple6 triple10 triple7) -> rule1) triple10) -> rule3) triple6) -> rule5) OR ((((triple8 triple6 ((triple8 ((triple6 triple10 triple7) -> rule1) triple10) -> rule3)) -> rule4) ((((triple10 ((triple6 triple10 triple7) -> rule1) triple7) -> rule6) ((triple6 triple10 triple7) -> rule1) triple10) -> rule3) triple6) -> rule5) OR ((((((triple10 ((triple6 triple10 triple7) -> rule1) triple7) -> rule6) triple6 ((triple8 ((triple6 triple10 triple7) -> rule1) triple10) -> rule3)) -> rule4) ((triple8 ((triple6 triple10 triple7) -> rule1) triple10) -> rule3) triple6) -> rule5) OR ((((((triple10 ((triple6 triple10 triple7) -> rule1) triple7) -> rule6) triple6 ((triple8 ((triple6 triple10 triple7) -> rule1) triple10) -> rule3)) -> rule4) ((((triple10 ((triple6 triple10 triple7) -> rule1) triple7) -> rule6) ((triple6 triple10 triple7) -> rule1) triple10) -> rule3) triple6) -> rule5) OR ((((triple8 triple6 ((((triple10 ((triple6 triple10 triple7) -> rule1) triple7) -> rule6) ((triple6 triple10 triple7) -> rule1) triple10) -> rule3)) -> rule4) ((triple8 ((triple6 triple10 triple7) -> rule1) triple10) -> rule3) triple6) -> rule5) OR ((((triple8 triple6 ((((triple10 ((triple6 triple10 triple7) -> rule1) triple7) -> rule6) ((triple6 triple10 triple7) -> rule1) triple10) -> rule3)) -> rule4) ((((triple10 ((triple6 triple10 triple7) -> rule1) triple7) -> rule6) ((triple6 triple10 triple7) -> rule1) triple10) -> rule3) triple6) -> rule5) OR ((((((triple10 ((triple6 triple10 triple7) -> rule1) triple7) -> rule6) triple6 ((((triple10 ((triple6 triple10 triple7) -> rule1) triple7) -> rule6) ((triple6 triple10 triple7) -> rule1) triple10) -> rule3)) -> rule4) ((triple8 ((triple6 triple10 triple7) -> rule1) triple10) -> rule3) triple6) -> rule5) OR ((((((triple10 ((triple6 triple10 triple7) -> rule1) triple7) -> rule6) triple6 ((((triple10 ((triple6 triple10 triple7) -> rule1) triple7) -> rule6) ((triple6 triple10 triple7) -> rule1) triple10) -> rule3)) -> rule4) ((((triple10 ((triple6 triple10 triple7) -> rule1) triple7) -> rule6) ((triple6 triple10 triple7) -> rule1) triple10) -> rule3) triple6) -> rule5))]
("Harry" "is" "blue" "-")
triple11
((((triple8 triple6 ((triple8 ((triple6 triple10 triple7) -> (rule1 % int4)) triple10) -> (rule3 % int3))) -> (rule4 % int2)) ((triple8 ((triple6 triple10 triple7) -> (rule1 % int4)) triple10) -> (rule3 % int3)) triple6) -> (rule5 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
((((triple8 triple6 ((triple8 ((triple6 triple10 triple7) -> (rule1 % int5)) triple10) -> (rule3 % int4))) -> (rule4 % int3)) ((((triple10 ((triple6 triple10 triple7) -> (rule1 % int5)) triple7) -> (rule6 % int2)) ((triple6 triple10 triple7) -> (rule1 % int5)) triple10) -> (rule3 % int4)) triple6) -> (rule5 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
((((((triple10 ((triple6 triple10 triple7) -> (rule1 % int5)) triple7) -> (rule6 % int4)) triple6 ((triple8 ((triple6 triple10 triple7) -> (rule1 % int5)) triple10) -> (rule3 % int3))) -> (rule4 % int2)) ((triple8 ((triple6 triple10 triple7) -> (rule1 % int5)) triple10) -> (rule3 % int3)) triple6) -> (rule5 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
((((((triple10 ((triple6 triple10 triple7) -> (rule1 % int5)) triple7) -> (rule6 % int4)) triple6 ((triple8 ((triple6 triple10 triple7) -> (rule1 % int5)) triple10) -> (rule3 % int3))) -> (rule4 % int2)) ((((triple10 ((triple6 triple10 triple7) -> (rule1 % int5)) triple7) -> (rule6 % int4)) ((triple6 triple10 triple7) -> (rule1 % int5)) triple10) -> (rule3 % int3)) triple6) -> (rule5 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
((((triple8 triple6 ((((triple10 ((triple6 triple10 triple7) -> (rule1 % int5)) triple7) -> (rule6 % int4)) ((triple6 triple10 triple7) -> (rule1 % int5)) triple10) -> (rule3 % int3))) -> (rule4 % int2)) ((triple8 ((triple6 triple10 triple7) -> (rule1 % int5)) triple10) -> (rule3 % int3)) triple6) -> (rule5 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
((((triple8 triple6 ((((triple10 ((triple6 triple10 triple7) -> (rule1 % int5)) triple7) -> (rule6 % int4)) ((triple6 triple10 triple7) -> (rule1 % int5)) triple10) -> (rule3 % int3))) -> (rule4 % int2)) ((((triple10 ((triple6 triple10 triple7) -> (rule1 % int5)) triple7) -> (rule6 % int4)) ((triple6 triple10 triple7) -> (rule1 % int5)) triple10) -> (rule3 % int3)) triple6) -> (rule5 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
((((((triple10 ((triple6 triple10 triple7) -> (rule1 % int5)) triple7) -> (rule6 % int4)) triple6 ((((triple10 ((triple6 triple10 triple7) -> (rule1 % int5)) triple7) -> (rule6 % int4)) ((triple6 triple10 triple7) -> (rule1 % int5)) triple10) -> (rule3 % int3))) -> (rule4 % int2)) ((triple8 ((triple6 triple10 triple7) -> (rule1 % int5)) triple10) -> (rule3 % int3)) triple6) -> (rule5 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
((((((triple10 ((triple6 triple10 triple7) -> (rule1 % int5)) triple7) -> (rule6 % int4)) triple6 ((((triple10 ((triple6 triple10 triple7) -> (rule1 % int5)) triple7) -> (rule6 % int4)) ((triple6 triple10 triple7) -> (rule1 % int5)) triple10) -> (rule3 % int3))) -> (rule4 % int2)) ((((triple10 ((triple6 triple10 triple7) -> (rule1 % int5)) triple7) -> (rule6 % int4)) ((triple6 triple10 triple7) -> (rule1 % int5)) triple10) -> (rule3 % int3)) triple6) -> (rule5 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
Harry is big.
True
4
proof
[(((triple6 triple10 triple7) -> rule1))]
("Harry" "is" "big" "+")
((triple6 triple10 triple7) -> (rule1 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is not big.
False
4
inv-proof
[(((triple6 triple10 triple7) -> rule1))]
("Harry" "is" "big" "-")
((triple6 triple10 triple7) -> (rule1 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is young.
True
6
proof
[(((triple11 ((triple6 triple10 triple7) -> rule1)) -> rule2) OR ((triple8 ((triple6 triple10 triple7) -> rule1) triple10) -> rule3) OR ((((triple10 ((triple6 triple10 triple7) -> rule1) triple7) -> rule6) ((triple6 triple10 triple7) -> rule1) triple10) -> rule3))]
("Harry" "is" "young" "+")
((triple11 ((triple6 triple10 triple7) -> (rule1 % int2))) -> (rule2 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
((triple8 ((triple6 triple10 triple7) -> (rule1 % int2)) triple10) -> (rule3 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
((((triple10 ((triple6 triple10 triple7) -> (rule1 % int3)) triple7) -> (rule6 % int2)) ((triple6 triple10 triple7) -> (rule1 % int3)) triple10) -> (rule3 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is not young.
False
6
inv-proof
[(((triple11 ((triple6 triple10 triple7) -> rule1)) -> rule2) OR ((triple8 ((triple6 triple10 triple7) -> rule1) triple10) -> rule3) OR ((((triple10 ((triple6 triple10 triple7) -> rule1) triple7) -> rule6) ((triple6 triple10 triple7) -> rule1) triple10) -> rule3))]
("Harry" "is" "young" "-")
((triple11 ((triple6 triple10 triple7) -> (rule1 % int2))) -> (rule2 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
((triple8 ((triple6 triple10 triple7) -> (rule1 % int2)) triple10) -> (rule3 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
((((triple10 ((triple6 triple10 triple7) -> (rule1 % int3)) triple7) -> (rule6 % int2)) ((triple6 triple10 triple7) -> (rule1 % int3)) triple10) -> (rule3 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is nice.
True
9
proof
[(((triple8 triple6 ((triple11 ((triple6 triple10 triple7) -> rule1)) -> rule2)) -> rule4) OR ((triple8 triple6 ((triple8 ((triple6 triple10 triple7) -> rule1) triple10) -> rule3)) -> rule4) OR ((((triple10 ((triple6 triple10 triple7) -> rule1) triple7) -> rule6) triple6 ((triple11 ((triple6 triple10 triple7) -> rule1)) -> rule2)) -> rule4) OR ((((triple10 ((triple6 triple10 triple7) -> rule1) triple7) -> rule6) triple6 ((triple8 ((triple6 triple10 triple7) -> rule1) triple10) -> rule3)) -> rule4) OR ((triple8 triple6 ((((triple10 ((triple6 triple10 triple7) -> rule1) triple7) -> rule6) ((triple6 triple10 triple7) -> rule1) triple10) -> rule3)) -> rule4) OR ((((triple10 ((triple6 triple10 triple7) -> rule1) triple7) -> rule6) triple6 ((((triple10 ((triple6 triple10 triple7) -> rule1) triple7) -> rule6) ((triple6 triple10 triple7) -> rule1) triple10) -> rule3)) -> rule4))]
("Harry" "is" "nice" "+")
((triple8 triple6 ((triple11 ((triple6 triple10 triple7) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
((triple8 triple6 ((triple8 ((triple6 triple10 triple7) -> (rule1 % int3)) triple10) -> (rule3 % int2))) -> (rule4 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
((((triple10 ((triple6 triple10 triple7) -> (rule1 % int4)) triple7) -> (rule6 % int3)) triple6 ((triple11 ((triple6 triple10 triple7) -> (rule1 % int4))) -> (rule2 % int2))) -> (rule4 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
((((triple10 ((triple6 triple10 triple7) -> (rule1 % int4)) triple7) -> (rule6 % int3)) triple6 ((triple8 ((triple6 triple10 triple7) -> (rule1 % int4)) triple10) -> (rule3 % int2))) -> (rule4 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
((triple8 triple6 ((((triple10 ((triple6 triple10 triple7) -> (rule1 % int4)) triple7) -> (rule6 % int3)) ((triple6 triple10 triple7) -> (rule1 % int4)) triple10) -> (rule3 % int2))) -> (rule4 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
((((triple10 ((triple6 triple10 triple7) -> (rule1 % int4)) triple7) -> (rule6 % int3)) triple6 ((((triple10 ((triple6 triple10 triple7) -> (rule1 % int4)) triple7) -> (rule6 % int3)) ((triple6 triple10 triple7) -> (rule1 % int4)) triple10) -> (rule3 % int2))) -> (rule4 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is not nice.
False
9
inv-proof
[(((triple8 triple6 ((triple11 ((triple6 triple10 triple7) -> rule1)) -> rule2)) -> rule4) OR ((triple8 triple6 ((triple8 ((triple6 triple10 triple7) -> rule1) triple10) -> rule3)) -> rule4) OR ((((triple10 ((triple6 triple10 triple7) -> rule1) triple7) -> rule6) triple6 ((triple11 ((triple6 triple10 triple7) -> rule1)) -> rule2)) -> rule4) OR ((((triple10 ((triple6 triple10 triple7) -> rule1) triple7) -> rule6) triple6 ((triple8 ((triple6 triple10 triple7) -> rule1) triple10) -> rule3)) -> rule4) OR ((triple8 triple6 ((((triple10 ((triple6 triple10 triple7) -> rule1) triple7) -> rule6) ((triple6 triple10 triple7) -> rule1) triple10) -> rule3)) -> rule4) OR ((((triple10 ((triple6 triple10 triple7) -> rule1) triple7) -> rule6) triple6 ((((triple10 ((triple6 triple10 triple7) -> rule1) triple7) -> rule6) ((triple6 triple10 triple7) -> rule1) triple10) -> rule3)) -> rule4))]
("Harry" "is" "nice" "-")
((triple8 triple6 ((triple11 ((triple6 triple10 triple7) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
((triple8 triple6 ((triple8 ((triple6 triple10 triple7) -> (rule1 % int3)) triple10) -> (rule3 % int2))) -> (rule4 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
((((triple10 ((triple6 triple10 triple7) -> (rule1 % int4)) triple7) -> (rule6 % int3)) triple6 ((triple11 ((triple6 triple10 triple7) -> (rule1 % int4))) -> (rule2 % int2))) -> (rule4 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
((((triple10 ((triple6 triple10 triple7) -> (rule1 % int4)) triple7) -> (rule6 % int3)) triple6 ((triple8 ((triple6 triple10 triple7) -> (rule1 % int4)) triple10) -> (rule3 % int2))) -> (rule4 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
((triple8 triple6 ((((triple10 ((triple6 triple10 triple7) -> (rule1 % int4)) triple7) -> (rule6 % int3)) ((triple6 triple10 triple7) -> (rule1 % int4)) triple10) -> (rule3 % int2))) -> (rule4 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
((((triple10 ((triple6 triple10 triple7) -> (rule1 % int4)) triple7) -> (rule6 % int3)) triple6 ((((triple10 ((triple6 triple10 triple7) -> (rule1 % int4)) triple7) -> (rule6 % int3)) ((triple6 triple10 triple7) -> (rule1 % int4)) triple10) -> (rule3 % int2))) -> (rule4 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Gary is not red.
Unknown
inv-rconc
[@1: Gary is red.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Gary" "is" "red" "-")
Eric is big.
Unknown
rconc
[@1: Eric is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Eric" "is" "big" "+")
Eric is not young.
Unknown
inv-rconc
[@2: Eric is young.[CWA. Example of deepest failure = (rule2 <- rule5 <- FAIL)]]
("Eric" "is" "young" "-")
Gary is big.
Unknown
rconc
[@1: Gary is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "big" "+")
Eric is not cold.
Unknown
inv-random
[@0: Eric is cold.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "cold" "-")
Harry is green.
Unknown
random
[@0: Harry is green.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "green" "+")
Gary is not green.
Unknown
inv-random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "-")
Eric is rough.
Unknown
random
[@0: Eric is rough.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "rough" "+")
@0: Bob is nice.[(triple2)] Bob is round.[(triple1)] Gary is blue.[(triple5)] Gary is nice.[(triple4)] Gary is round.[(triple3)] Harry is blue.[(triple11 OR ((((triple8 triple6 ((triple8 ((triple6 triple10 triple7) -> rule1) triple10) -> rule3)) -> rule4) ((triple8 ((triple6 triple10 triple7) -> rule1) triple10) -> rule3) triple6) -> rule5) OR ((((triple8 triple6 ((triple8 ((triple6 triple10 triple7) -> rule1) triple10) -> rule3)) -> rule4) ((((triple10 ((triple6 triple10 triple7) -> rule1) triple7) -> rule6) ((triple6 triple10 triple7) -> rule1) triple10) -> rule3) triple6) -> rule5) OR ((((((triple10 ((triple6 triple10 triple7) -> rule1) triple7) -> rule6) triple6 ((triple8 ((triple6 triple10 triple7) -> rule1) triple10) -> rule3)) -> rule4) ((triple8 ((triple6 triple10 triple7) -> rule1) triple10) -> rule3) triple6) -> rule5) OR ((((((triple10 ((triple6 triple10 triple7) -> rule1) triple7) -> rule6) triple6 ((triple8 ((triple6 triple10 triple7) -> rule1) triple10) -> rule3)) -> rule4) ((((triple10 ((triple6 triple10 triple7) -> rule1) triple7) -> rule6) ((triple6 triple10 triple7) -> rule1) triple10) -> rule3) triple6) -> rule5) OR ((((triple8 triple6 ((((triple10 ((triple6 triple10 triple7) -> rule1) triple7) -> rule6) ((triple6 triple10 triple7) -> rule1) triple10) -> rule3)) -> rule4) ((triple8 ((triple6 triple10 triple7) -> rule1) triple10) -> rule3) triple6) -> rule5) OR ((((triple8 triple6 ((((triple10 ((triple6 triple10 triple7) -> rule1) triple7) -> rule6) ((triple6 triple10 triple7) -> rule1) triple10) -> rule3)) -> rule4) ((((triple10 ((triple6 triple10 triple7) -> rule1) triple7) -> rule6) ((triple6 triple10 triple7) -> rule1) triple10) -> rule3) triple6) -> rule5) OR ((((((triple10 ((triple6 triple10 triple7) -> rule1) triple7) -> rule6) triple6 ((((triple10 ((triple6 triple10 triple7) -> rule1) triple7) -> rule6) ((triple6 triple10 triple7) -> rule1) triple10) -> rule3)) -> rule4) ((triple8 ((triple6 triple10 triple7) -> rule1) triple10) -> rule3) triple6) -> rule5) OR ((((((triple10 ((triple6 triple10 triple7) -> rule1) triple7) -> rule6) triple6 ((((triple10 ((triple6 triple10 triple7) -> rule1) triple7) -> rule6) ((triple6 triple10 triple7) -> rule1) triple10) -> rule3)) -> rule4) ((((triple10 ((triple6 triple10 triple7) -> rule1) triple7) -> rule6) ((triple6 triple10 triple7) -> rule1) triple10) -> rule3) triple6) -> rule5))] Harry is cold.[(triple10)] Harry is kind.[(triple9)] Harry is red.[(triple8 OR ((triple10 ((triple6 triple10 triple7) -> rule1) triple7) -> rule6))] Harry is rough.[(triple7)] Harry is round.[(triple6)] @1: Harry is big.[(((triple6 triple10 triple7) -> rule1))] @2: Harry is young.[(((triple11 ((triple6 triple10 triple7) -> rule1)) -> rule2) OR ((triple8 ((triple6 triple10 triple7) -> rule1) triple10) -> rule3) OR ((((triple10 ((triple6 triple10 triple7) -> rule1) triple7) -> rule6) ((triple6 triple10 triple7) -> rule1) triple10) -> rule3))] @3: Harry is nice.[(((triple8 triple6 ((triple11 ((triple6 triple10 triple7) -> rule1)) -> rule2)) -> rule4) OR ((triple8 triple6 ((triple8 ((triple6 triple10 triple7) -> rule1) triple10) -> rule3)) -> rule4) OR ((((triple10 ((triple6 triple10 triple7) -> rule1) triple7) -> rule6) triple6 ((triple11 ((triple6 triple10 triple7) -> rule1)) -> rule2)) -> rule4) OR ((((triple10 ((triple6 triple10 triple7) -> rule1) triple7) -> rule6) triple6 ((triple8 ((triple6 triple10 triple7) -> rule1) triple10) -> rule3)) -> rule4) OR ((triple8 triple6 ((((triple10 ((triple6 triple10 triple7) -> rule1) triple7) -> rule6) ((triple6 triple10 triple7) -> rule1) triple10) -> rule3)) -> rule4) OR ((((triple10 ((triple6 triple10 triple7) -> rule1) triple7) -> rule6) triple6 ((((triple10 ((triple6 triple10 triple7) -> rule1) triple7) -> rule6) ((triple6 triple10 triple7) -> rule1) triple10) -> rule3)) -> rule4))]
Bob is nice.
("Bob" "is" "nice" "+")
triple2
Bob is round.
("Bob" "is" "round" "+")
triple1
Gary is blue.
("Gary" "is" "blue" "+")
triple5
Gary is nice.
("Gary" "is" "nice" "+")
triple4
Gary is round.
("Gary" "is" "round" "+")
triple3
Harry is blue.
("Harry" "is" "blue" "+")
triple11
((((triple8 triple6 ((triple8 ((triple6 triple10 triple7) -> (rule1 % int4)) triple10) -> (rule3 % int3))) -> (rule4 % int2)) ((triple8 ((triple6 triple10 triple7) -> (rule1 % int4)) triple10) -> (rule3 % int3)) triple6) -> (rule5 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
((((triple8 triple6 ((triple8 ((triple6 triple10 triple7) -> (rule1 % int5)) triple10) -> (rule3 % int4))) -> (rule4 % int3)) ((((triple10 ((triple6 triple10 triple7) -> (rule1 % int5)) triple7) -> (rule6 % int2)) ((triple6 triple10 triple7) -> (rule1 % int5)) triple10) -> (rule3 % int4)) triple6) -> (rule5 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
((((((triple10 ((triple6 triple10 triple7) -> (rule1 % int5)) triple7) -> (rule6 % int4)) triple6 ((triple8 ((triple6 triple10 triple7) -> (rule1 % int5)) triple10) -> (rule3 % int3))) -> (rule4 % int2)) ((triple8 ((triple6 triple10 triple7) -> (rule1 % int5)) triple10) -> (rule3 % int3)) triple6) -> (rule5 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
((((((triple10 ((triple6 triple10 triple7) -> (rule1 % int5)) triple7) -> (rule6 % int4)) triple6 ((triple8 ((triple6 triple10 triple7) -> (rule1 % int5)) triple10) -> (rule3 % int3))) -> (rule4 % int2)) ((((triple10 ((triple6 triple10 triple7) -> (rule1 % int5)) triple7) -> (rule6 % int4)) ((triple6 triple10 triple7) -> (rule1 % int5)) triple10) -> (rule3 % int3)) triple6) -> (rule5 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
((((triple8 triple6 ((((triple10 ((triple6 triple10 triple7) -> (rule1 % int5)) triple7) -> (rule6 % int4)) ((triple6 triple10 triple7) -> (rule1 % int5)) triple10) -> (rule3 % int3))) -> (rule4 % int2)) ((triple8 ((triple6 triple10 triple7) -> (rule1 % int5)) triple10) -> (rule3 % int3)) triple6) -> (rule5 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
((((triple8 triple6 ((((triple10 ((triple6 triple10 triple7) -> (rule1 % int5)) triple7) -> (rule6 % int4)) ((triple6 triple10 triple7) -> (rule1 % int5)) triple10) -> (rule3 % int3))) -> (rule4 % int2)) ((((triple10 ((triple6 triple10 triple7) -> (rule1 % int5)) triple7) -> (rule6 % int4)) ((triple6 triple10 triple7) -> (rule1 % int5)) triple10) -> (rule3 % int3)) triple6) -> (rule5 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
((((((triple10 ((triple6 triple10 triple7) -> (rule1 % int5)) triple7) -> (rule6 % int4)) triple6 ((((triple10 ((triple6 triple10 triple7) -> (rule1 % int5)) triple7) -> (rule6 % int4)) ((triple6 triple10 triple7) -> (rule1 % int5)) triple10) -> (rule3 % int3))) -> (rule4 % int2)) ((triple8 ((triple6 triple10 triple7) -> (rule1 % int5)) triple10) -> (rule3 % int3)) triple6) -> (rule5 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
((((((triple10 ((triple6 triple10 triple7) -> (rule1 % int5)) triple7) -> (rule6 % int4)) triple6 ((((triple10 ((triple6 triple10 triple7) -> (rule1 % int5)) triple7) -> (rule6 % int4)) ((triple6 triple10 triple7) -> (rule1 % int5)) triple10) -> (rule3 % int3))) -> (rule4 % int2)) ((((triple10 ((triple6 triple10 triple7) -> (rule1 % int5)) triple7) -> (rule6 % int4)) ((triple6 triple10 triple7) -> (rule1 % int5)) triple10) -> (rule3 % int3)) triple6) -> (rule5 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
Harry is cold.
("Harry" "is" "cold" "+")
triple10
Harry is kind.
("Harry" "is" "kind" "+")
triple9
Harry is red.
("Harry" "is" "red" "+")
triple8
((triple10 ((triple6 triple10 triple7) -> (rule1 % int2)) triple7) -> (rule6 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
triple7
Harry is round.
("Harry" "is" "round" "+")
triple6
Harry is big.
("Harry" "is" "big" "+")
((triple6 triple10 triple7) -> (rule1 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
((triple11 ((triple6 triple10 triple7) -> (rule1 % int2))) -> (rule2 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
((triple8 ((triple6 triple10 triple7) -> (rule1 % int2)) triple10) -> (rule3 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
((((triple10 ((triple6 triple10 triple7) -> (rule1 % int3)) triple7) -> (rule6 % int2)) ((triple6 triple10 triple7) -> (rule1 % int3)) triple10) -> (rule3 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
((triple8 triple6 ((triple11 ((triple6 triple10 triple7) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
((triple8 triple6 ((triple8 ((triple6 triple10 triple7) -> (rule1 % int3)) triple10) -> (rule3 % int2))) -> (rule4 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
((((triple10 ((triple6 triple10 triple7) -> (rule1 % int4)) triple7) -> (rule6 % int3)) triple6 ((triple11 ((triple6 triple10 triple7) -> (rule1 % int4))) -> (rule2 % int2))) -> (rule4 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
((((triple10 ((triple6 triple10 triple7) -> (rule1 % int4)) triple7) -> (rule6 % int3)) triple6 ((triple8 ((triple6 triple10 triple7) -> (rule1 % int4)) triple10) -> (rule3 % int2))) -> (rule4 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
((triple8 triple6 ((((triple10 ((triple6 triple10 triple7) -> (rule1 % int4)) triple7) -> (rule6 % int3)) ((triple6 triple10 triple7) -> (rule1 % int4)) triple10) -> (rule3 % int2))) -> (rule4 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
((((triple10 ((triple6 triple10 triple7) -> (rule1 % int4)) triple7) -> (rule6 % int3)) triple6 ((((triple10 ((triple6 triple10 triple7) -> (rule1 % int4)) triple7) -> (rule6 % int3)) ((triple6 triple10 triple7) -> (rule1 % int4)) triple10) -> (rule3 % int2))) -> (rule4 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Bob has a round face and is very nice.
Gary is round in the middle and extraordinarily nice but he's also blue because people don't always treat him well.
That cold kind hearted man over there with the round body, red nose, and rough blue hsirt is named Harry.
A cold person who is round but rough around the edges is big.
A big person who looks blue is also going to look young.
A person who is cold but red, and big in size is young for sure.
Young round folks who are at least a bit red are actually nice.
Nice young people who are round are also blue.
When someone feels cold, while being big and rough, they always turn out to be red.
A person that is green also someone who is big.