Round Bob is big and red, but blue from the cold. Because Gary, who is young, loves to eat he is quite round.  Sometimes that makes him feel blue and get rough with people who make fun of him.  But he is actually quite kind. Harry is a person both green and big. A male or female with rough, kind and round traits will surely have a nice quality, as well. Red people feel blue about it. It's said that any person with blue skin, round bones, and big feet is kind. It is true that anyone who is cold while being young and nice is secretly a kind person. Big and cold people are likely to be round, too. If a rather cold person is also kind then they are probably rough. They found the ones that were round, blue, and green to be nice.
Bob is round.
("Bob" "is" "round" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is big.
("Bob" "is" "big" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is rough and kind and round then they are nice.
((("someone" "is" "rough" "+") ("someone" "is" "kind" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
If someone is red then they are blue.
((("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
If someone is blue and round and big then they are kind.
((("someone" "is" "blue" "+") ("someone" "is" "round" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "kind" "+"))
If someone is nice and cold and young then they are kind.
((("someone" "is" "nice" "+") ("someone" "is" "cold" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is big and cold then they are round.
((("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
If someone is cold and kind then they are rough.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
If someone is round and blue and green then they are nice.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
Gary is blue.
True
1
proof
[(triple10)]
("Gary" "is" "blue" "+")
triple10
Gary is not kind.
False
1
inv-proof
[(triple9)]
("Gary" "is" "kind" "-")
triple9
Bob is kind.
True
4
proof
[(((triple4 triple1 triple5) -> rule3) OR ((triple4 ((triple5 triple3) -> rule5) triple5) -> rule3) OR ((((triple2) -> rule2) triple1 triple5) -> rule3) OR ((((triple2) -> rule2) ((triple5 triple3) -> rule5) triple5) -> rule3))]
("Bob" "is" "kind" "+")
((triple4 triple1 triple5) -> (rule3 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
((triple4 ((triple5 triple3) -> (rule5 % int2)) triple5) -> (rule3 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
((((triple2) -> (rule2 % int2)) triple1 triple5) -> (rule3 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
((((triple2) -> (rule2 % int3)) ((triple5 triple3) -> (rule5 % int2)) triple5) -> (rule3 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Gary is not nice.
False
4
inv-proof
[(((triple8 triple9 triple7) -> rule1))]
("Gary" "is" "nice" "-")
((triple8 triple9 triple7) -> (rule1 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Bob is rough.
True
6
proof
[(((triple3 ((triple4 triple1 triple5) -> rule3)) -> rule6) OR ((triple3 ((triple4 ((triple5 triple3) -> rule5) triple5) -> rule3)) -> rule6) OR ((triple3 ((((triple2) -> rule2) triple1 triple5) -> rule3)) -> rule6) OR ((triple3 ((((triple2) -> rule2) ((triple5 triple3) -> rule5) triple5) -> rule3)) -> rule6))]
("Bob" "is" "rough" "+")
((triple3 ((triple4 triple1 triple5) -> (rule3 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
((triple3 ((triple4 ((triple5 triple3) -> (rule5 % int3)) triple5) -> (rule3 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
((triple3 ((((triple2) -> (rule2 % int3)) triple1 triple5) -> (rule3 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
((triple3 ((((triple2) -> (rule2 % int4)) ((triple5 triple3) -> (rule5 % int3)) triple5) -> (rule3 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
Bob is not rough.
False
6
inv-proof
[(((triple3 ((triple4 triple1 triple5) -> rule3)) -> rule6) OR ((triple3 ((triple4 ((triple5 triple3) -> rule5) triple5) -> rule3)) -> rule6) OR ((triple3 ((((triple2) -> rule2) triple1 triple5) -> rule3)) -> rule6) OR ((triple3 ((((triple2) -> rule2) ((triple5 triple3) -> rule5) triple5) -> rule3)) -> rule6))]
("Bob" "is" "rough" "-")
((triple3 ((triple4 triple1 triple5) -> (rule3 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
((triple3 ((triple4 ((triple5 triple3) -> (rule5 % int3)) triple5) -> (rule3 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
((triple3 ((((triple2) -> (rule2 % int3)) triple1 triple5) -> (rule3 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
((triple3 ((((triple2) -> (rule2 % int4)) ((triple5 triple3) -> (rule5 % int3)) triple5) -> (rule3 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
Bob is nice.
True
12
proof
[(((((triple3 ((triple4 triple1 triple5) -> rule3)) -> rule6) ((triple4 triple1 triple5) -> rule3) triple1) -> rule1) OR ((((triple3 ((triple4 triple1 triple5) -> rule3)) -> rule6) ((triple4 triple1 triple5) -> rule3) ((triple5 triple3) -> rule5)) -> rule1) OR ((((triple3 ((triple4 triple1 triple5) -> rule3)) -> rule6) ((triple4 ((triple5 triple3) -> rule5) triple5) -> rule3) triple1) -> rule1) OR ((((triple3 ((triple4 triple1 triple5) -> rule3)) -> rule6) ((((triple2) -> rule2) triple1 triple5) -> rule3) triple1) -> rule1) OR ((((triple3 ((triple4 triple1 triple5) -> rule3)) -> rule6) ((triple4 ((triple5 triple3) -> rule5) triple5) -> rule3) ((triple5 triple3) -> rule5)) -> rule1) OR ((((triple3 ((triple4 triple1 triple5) -> rule3)) -> rule6) ((((triple2) -> rule2) triple1 triple5) -> rule3) ((triple5 triple3) -> rule5)) -> rule1) OR ((((triple3 ((triple4 triple1 triple5) -> rule3)) -> rule6) ((((triple2) -> rule2) ((triple5 triple3) -> rule5) triple5) -> rule3) triple1) -> rule1) OR ((((triple3 ((triple4 triple1 triple5) -> rule3)) -> rule6) ((((triple2) -> rule2) ((triple5 triple3) -> rule5) triple5) -> rule3) ((triple5 triple3) -> rule5)) -> rule1) OR ((((triple3 ((triple4 ((triple5 triple3) -> rule5) triple5) -> rule3)) -> rule6) ((triple4 triple1 triple5) -> rule3) triple1) -> rule1) OR ((((triple3 ((((triple2) -> rule2) triple1 triple5) -> rule3)) -> rule6) ((triple4 triple1 triple5) -> rule3) triple1) -> rule1) OR ((((triple3 ((triple4 ((triple5 triple3) -> rule5) triple5) -> rule3)) -> rule6) ((triple4 triple1 triple5) -> rule3) ((triple5 triple3) -> rule5)) -> rule1) OR ((((triple3 ((triple4 ((triple5 triple3) -> rule5) triple5) -> rule3)) -> rule6) ((triple4 ((triple5 triple3) -> rule5) triple5) -> rule3) triple1) -> rule1) OR ((((triple3 ((triple4 ((triple5 triple3) -> rule5) triple5) -> rule3)) -> rule6) ((((triple2) -> rule2) triple1 triple5) -> rule3) triple1) -> rule1) OR ((((triple3 ((((triple2) -> rule2) triple1 triple5) -> rule3)) -> rule6) ((triple4 triple1 triple5) -> rule3) ((triple5 triple3) -> rule5)) -> rule1) OR ((((triple3 ((((triple2) -> rule2) triple1 triple5) -> rule3)) -> rule6) ((triple4 ((triple5 triple3) -> rule5) triple5) -> rule3) triple1) -> rule1) OR ((((triple3 ((((triple2) -> rule2) triple1 triple5) -> rule3)) -> rule6) ((((triple2) -> rule2) triple1 triple5) -> rule3) triple1) -> rule1) OR ((((triple3 ((((triple2) -> rule2) ((triple5 triple3) -> rule5) triple5) -> rule3)) -> rule6) ((triple4 triple1 triple5) -> rule3) triple1) -> rule1) OR ((((triple3 ((triple4 ((triple5 triple3) -> rule5) triple5) -> rule3)) -> rule6) ((triple4 ((triple5 triple3) -> rule5) triple5) -> rule3) ((triple5 triple3) -> rule5)) -> rule1) OR ((((triple3 ((triple4 ((triple5 triple3) -> rule5) triple5) -> rule3)) -> rule6) ((((triple2) -> rule2) triple1 triple5) -> rule3) ((triple5 triple3) -> rule5)) -> rule1) OR ((((triple3 ((triple4 ((triple5 triple3) -> rule5) triple5) -> rule3)) -> rule6) ((((triple2) -> rule2) ((triple5 triple3) -> rule5) triple5) -> rule3) triple1) -> rule1) OR ((((triple3 ((((triple2) -> rule2) triple1 triple5) -> rule3)) -> rule6) ((triple4 ((triple5 triple3) -> rule5) triple5) -> rule3) ((triple5 triple3) -> rule5)) -> rule1) OR ((((triple3 ((((triple2) -> rule2) triple1 triple5) -> rule3)) -> rule6) ((((triple2) -> rule2) triple1 triple5) -> rule3) ((triple5 triple3) -> rule5)) -> rule1) OR ((((triple3 ((((triple2) -> rule2) triple1 triple5) -> rule3)) -> rule6) ((((triple2) -> rule2) ((triple5 triple3) -> rule5) triple5) -> rule3) triple1) -> rule1) OR ((((triple3 ((((triple2) -> rule2) ((triple5 triple3) -> rule5) triple5) -> rule3)) -> rule6) ((triple4 triple1 triple5) -> rule3) ((triple5 triple3) -> rule5)) -> rule1) OR ((((triple3 ((((triple2) -> rule2) ((triple5 triple3) -> rule5) triple5) -> rule3)) -> rule6) ((triple4 ((triple5 triple3) -> rule5) triple5) -> rule3) triple1) -> rule1) OR ((((triple3 ((((triple2) -> rule2) ((triple5 triple3) -> rule5) triple5) -> rule3)) -> rule6) ((((triple2) -> rule2) triple1 triple5) -> rule3) triple1) -> rule1) OR ((((triple3 ((triple4 ((triple5 triple3) -> rule5) triple5) -> rule3)) -> rule6) ((((triple2) -> rule2) ((triple5 triple3) -> rule5) triple5) -> rule3) ((triple5 triple3) -> rule5)) -> rule1) OR ((((triple3 ((((triple2) -> rule2) triple1 triple5) -> rule3)) -> rule6) ((((triple2) -> rule2) ((triple5 triple3) -> rule5) triple5) -> rule3) ((triple5 triple3) -> rule5)) -> rule1) OR ((((triple3 ((((triple2) -> rule2) ((triple5 triple3) -> rule5) triple5) -> rule3)) -> rule6) ((triple4 ((triple5 triple3) -> rule5) triple5) -> rule3) ((triple5 triple3) -> rule5)) -> rule1) OR ((((triple3 ((((triple2) -> rule2) ((triple5 triple3) -> rule5) triple5) -> rule3)) -> rule6) ((((triple2) -> rule2) triple1 triple5) -> rule3) ((triple5 triple3) -> rule5)) -> rule1) OR ((((triple3 ((((triple2) -> rule2) ((triple5 triple3) -> rule5) triple5) -> rule3)) -> rule6) ((((triple2) -> rule2) ((triple5 triple3) -> rule5) triple5) -> rule3) triple1) -> rule1) OR ((((triple3 ((((triple2) -> rule2) ((triple5 triple3) -> rule5) triple5) -> rule3)) -> rule6) ((((triple2) -> rule2) ((triple5 triple3) -> rule5) triple5) -> rule3) ((triple5 triple3) -> rule5)) -> rule1))]
("Bob" "is" "nice" "+")
((((triple3 ((triple4 triple1 triple5) -> (rule3 % int3))) -> (rule6 % int2)) ((triple4 triple1 triple5) -> (rule3 % int3)) triple1) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
((((triple3 ((triple4 triple1 triple5) -> (rule3 % int4))) -> (rule6 % int3)) ((triple4 triple1 triple5) -> (rule3 % int4)) ((triple5 triple3) -> (rule5 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
((((triple3 ((triple4 triple1 triple5) -> (rule3 % int4))) -> (rule6 % int3)) ((triple4 ((triple5 triple3) -> (rule5 % int2)) triple5) -> (rule3 % int4)) triple1) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
((((triple3 ((triple4 triple1 triple5) -> (rule3 % int4))) -> (rule6 % int3)) ((((triple2) -> (rule2 % int2)) triple1 triple5) -> (rule3 % int4)) triple1) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
((((triple3 ((triple4 triple1 triple5) -> (rule3 % int4))) -> (rule6 % int3)) ((triple4 ((triple5 triple3) -> (rule5 % int2)) triple5) -> (rule3 % int4)) ((triple5 triple3) -> (rule5 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
((((triple3 ((triple4 triple1 triple5) -> (rule3 % int5))) -> (rule6 % int4)) ((((triple2) -> (rule2 % int3)) triple1 triple5) -> (rule3 % int5)) ((triple5 triple3) -> (rule5 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
((((triple3 ((triple4 triple1 triple5) -> (rule3 % int5))) -> (rule6 % int4)) ((((triple2) -> (rule2 % int3)) ((triple5 triple3) -> (rule5 % int2)) triple5) -> (rule3 % int5)) triple1) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
((((triple3 ((triple4 triple1 triple5) -> (rule3 % int5))) -> (rule6 % int4)) ((((triple2) -> (rule2 % int3)) ((triple5 triple3) -> (rule5 % int2)) triple5) -> (rule3 % int5)) ((triple5 triple3) -> (rule5 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
((((triple3 ((triple4 ((triple5 triple3) -> (rule5 % int4)) triple5) -> (rule3 % int3))) -> (rule6 % int2)) ((triple4 triple1 triple5) -> (rule3 % int3)) triple1) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
((((triple3 ((((triple2) -> (rule2 % int4)) triple1 triple5) -> (rule3 % int3))) -> (rule6 % int2)) ((triple4 triple1 triple5) -> (rule3 % int3)) triple1) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
((((triple3 ((triple4 ((triple5 triple3) -> (rule5 % int4)) triple5) -> (rule3 % int3))) -> (rule6 % int2)) ((triple4 triple1 triple5) -> (rule3 % int3)) ((triple5 triple3) -> (rule5 % int4))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
((((triple3 ((triple4 ((triple5 triple3) -> (rule5 % int4)) triple5) -> (rule3 % int3))) -> (rule6 % int2)) ((triple4 ((triple5 triple3) -> (rule5 % int4)) triple5) -> (rule3 % int3)) triple1) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
((((triple3 ((triple4 ((triple5 triple3) -> (rule5 % int5)) triple5) -> (rule3 % int4))) -> (rule6 % int3)) ((((triple2) -> (rule2 % int2)) triple1 triple5) -> (rule3 % int4)) triple1) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is round.
("Bob" "is" "round" "+")
int5
((((triple3 ((((triple2) -> (rule2 % int5)) triple1 triple5) -> (rule3 % int4))) -> (rule6 % int3)) ((triple4 triple1 triple5) -> (rule3 % int4)) ((triple5 triple3) -> (rule5 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
((((triple3 ((((triple2) -> (rule2 % int5)) triple1 triple5) -> (rule3 % int4))) -> (rule6 % int3)) ((triple4 ((triple5 triple3) -> (rule5 % int2)) triple5) -> (rule3 % int4)) triple1) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
((((triple3 ((((triple2) -> (rule2 % int4)) triple1 triple5) -> (rule3 % int3))) -> (rule6 % int2)) ((((triple2) -> (rule2 % int4)) triple1 triple5) -> (rule3 % int3)) triple1) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
((((triple3 ((((triple2) -> (rule2 % int5)) ((triple5 triple3) -> (rule5 % int4)) triple5) -> (rule3 % int3))) -> (rule6 % int2)) ((triple4 triple1 triple5) -> (rule3 % int3)) triple1) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
((((triple3 ((triple4 ((triple5 triple3) -> (rule5 % int4)) triple5) -> (rule3 % int3))) -> (rule6 % int2)) ((triple4 ((triple5 triple3) -> (rule5 % int4)) triple5) -> (rule3 % int3)) ((triple5 triple3) -> (rule5 % int4))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
((((triple3 ((triple4 ((triple5 triple3) -> (rule5 % int5)) triple5) -> (rule3 % int4))) -> (rule6 % int3)) ((((triple2) -> (rule2 % int2)) triple1 triple5) -> (rule3 % int4)) ((triple5 triple3) -> (rule5 % int5))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is round.
("Bob" "is" "round" "+")
int5
((((triple3 ((triple4 ((triple5 triple3) -> (rule5 % int5)) triple5) -> (rule3 % int4))) -> (rule6 % int3)) ((((triple2) -> (rule2 % int2)) ((triple5 triple3) -> (rule5 % int5)) triple5) -> (rule3 % int4)) triple1) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is round.
("Bob" "is" "round" "+")
int5
((((triple3 ((((triple2) -> (rule2 % int5)) triple1 triple5) -> (rule3 % int4))) -> (rule6 % int3)) ((triple4 ((triple5 triple3) -> (rule5 % int2)) triple5) -> (rule3 % int4)) ((triple5 triple3) -> (rule5 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
((((triple3 ((((triple2) -> (rule2 % int5)) triple1 triple5) -> (rule3 % int4))) -> (rule6 % int3)) ((((triple2) -> (rule2 % int5)) triple1 triple5) -> (rule3 % int4)) ((triple5 triple3) -> (rule5 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
((((triple3 ((((triple2) -> (rule2 % int5)) triple1 triple5) -> (rule3 % int4))) -> (rule6 % int3)) ((((triple2) -> (rule2 % int5)) ((triple5 triple3) -> (rule5 % int2)) triple5) -> (rule3 % int4)) triple1) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
((((triple3 ((((triple2) -> (rule2 % int5)) ((triple5 triple3) -> (rule5 % int4)) triple5) -> (rule3 % int3))) -> (rule6 % int2)) ((triple4 triple1 triple5) -> (rule3 % int3)) ((triple5 triple3) -> (rule5 % int4))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
((((triple3 ((((triple2) -> (rule2 % int5)) ((triple5 triple3) -> (rule5 % int4)) triple5) -> (rule3 % int3))) -> (rule6 % int2)) ((triple4 ((triple5 triple3) -> (rule5 % int4)) triple5) -> (rule3 % int3)) triple1) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
((((triple3 ((((triple2) -> (rule2 % int5)) ((triple5 triple3) -> (rule5 % int4)) triple5) -> (rule3 % int3))) -> (rule6 % int2)) ((((triple2) -> (rule2 % int5)) triple1 triple5) -> (rule3 % int3)) triple1) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
((((triple3 ((triple4 ((triple5 triple3) -> (rule5 % int5)) triple5) -> (rule3 % int4))) -> (rule6 % int3)) ((((triple2) -> (rule2 % int2)) ((triple5 triple3) -> (rule5 % int5)) triple5) -> (rule3 % int4)) ((triple5 triple3) -> (rule5 % int5))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is round.
("Bob" "is" "round" "+")
int5
((((triple3 ((((triple2) -> (rule2 % int5)) triple1 triple5) -> (rule3 % int4))) -> (rule6 % int3)) ((((triple2) -> (rule2 % int5)) ((triple5 triple3) -> (rule5 % int2)) triple5) -> (rule3 % int4)) ((triple5 triple3) -> (rule5 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
((((triple3 ((((triple2) -> (rule2 % int5)) ((triple5 triple3) -> (rule5 % int4)) triple5) -> (rule3 % int3))) -> (rule6 % int2)) ((triple4 ((triple5 triple3) -> (rule5 % int4)) triple5) -> (rule3 % int3)) ((triple5 triple3) -> (rule5 % int4))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
((((triple3 ((((triple2) -> (rule2 % int5)) ((triple5 triple3) -> (rule5 % int4)) triple5) -> (rule3 % int3))) -> (rule6 % int2)) ((((triple2) -> (rule2 % int5)) triple1 triple5) -> (rule3 % int3)) ((triple5 triple3) -> (rule5 % int4))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
((((triple3 ((((triple2) -> (rule2 % int5)) ((triple5 triple3) -> (rule5 % int4)) triple5) -> (rule3 % int3))) -> (rule6 % int2)) ((((triple2) -> (rule2 % int5)) ((triple5 triple3) -> (rule5 % int4)) triple5) -> (rule3 % int3)) triple1) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
((((triple3 ((((triple2) -> (rule2 % int5)) ((triple5 triple3) -> (rule5 % int4)) triple5) -> (rule3 % int3))) -> (rule6 % int2)) ((((triple2) -> (rule2 % int5)) ((triple5 triple3) -> (rule5 % int4)) triple5) -> (rule3 % int3)) ((triple5 triple3) -> (rule5 % int4))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
Bob is not nice.
False
12
inv-proof
[(((((triple3 ((triple4 triple1 triple5) -> rule3)) -> rule6) ((triple4 triple1 triple5) -> rule3) triple1) -> rule1) OR ((((triple3 ((triple4 triple1 triple5) -> rule3)) -> rule6) ((triple4 triple1 triple5) -> rule3) ((triple5 triple3) -> rule5)) -> rule1) OR ((((triple3 ((triple4 triple1 triple5) -> rule3)) -> rule6) ((triple4 ((triple5 triple3) -> rule5) triple5) -> rule3) triple1) -> rule1) OR ((((triple3 ((triple4 triple1 triple5) -> rule3)) -> rule6) ((((triple2) -> rule2) triple1 triple5) -> rule3) triple1) -> rule1) OR ((((triple3 ((triple4 triple1 triple5) -> rule3)) -> rule6) ((triple4 ((triple5 triple3) -> rule5) triple5) -> rule3) ((triple5 triple3) -> rule5)) -> rule1) OR ((((triple3 ((triple4 triple1 triple5) -> rule3)) -> rule6) ((((triple2) -> rule2) triple1 triple5) -> rule3) ((triple5 triple3) -> rule5)) -> rule1) OR ((((triple3 ((triple4 triple1 triple5) -> rule3)) -> rule6) ((((triple2) -> rule2) ((triple5 triple3) -> rule5) triple5) -> rule3) triple1) -> rule1) OR ((((triple3 ((triple4 triple1 triple5) -> rule3)) -> rule6) ((((triple2) -> rule2) ((triple5 triple3) -> rule5) triple5) -> rule3) ((triple5 triple3) -> rule5)) -> rule1) OR ((((triple3 ((triple4 ((triple5 triple3) -> rule5) triple5) -> rule3)) -> rule6) ((triple4 triple1 triple5) -> rule3) triple1) -> rule1) OR ((((triple3 ((((triple2) -> rule2) triple1 triple5) -> rule3)) -> rule6) ((triple4 triple1 triple5) -> rule3) triple1) -> rule1) OR ((((triple3 ((triple4 ((triple5 triple3) -> rule5) triple5) -> rule3)) -> rule6) ((triple4 triple1 triple5) -> rule3) ((triple5 triple3) -> rule5)) -> rule1) OR ((((triple3 ((triple4 ((triple5 triple3) -> rule5) triple5) -> rule3)) -> rule6) ((triple4 ((triple5 triple3) -> rule5) triple5) -> rule3) triple1) -> rule1) OR ((((triple3 ((triple4 ((triple5 triple3) -> rule5) triple5) -> rule3)) -> rule6) ((((triple2) -> rule2) triple1 triple5) -> rule3) triple1) -> rule1) OR ((((triple3 ((((triple2) -> rule2) triple1 triple5) -> rule3)) -> rule6) ((triple4 triple1 triple5) -> rule3) ((triple5 triple3) -> rule5)) -> rule1) OR ((((triple3 ((((triple2) -> rule2) triple1 triple5) -> rule3)) -> rule6) ((triple4 ((triple5 triple3) -> rule5) triple5) -> rule3) triple1) -> rule1) OR ((((triple3 ((((triple2) -> rule2) triple1 triple5) -> rule3)) -> rule6) ((((triple2) -> rule2) triple1 triple5) -> rule3) triple1) -> rule1) OR ((((triple3 ((((triple2) -> rule2) ((triple5 triple3) -> rule5) triple5) -> rule3)) -> rule6) ((triple4 triple1 triple5) -> rule3) triple1) -> rule1) OR ((((triple3 ((triple4 ((triple5 triple3) -> rule5) triple5) -> rule3)) -> rule6) ((triple4 ((triple5 triple3) -> rule5) triple5) -> rule3) ((triple5 triple3) -> rule5)) -> rule1) OR ((((triple3 ((triple4 ((triple5 triple3) -> rule5) triple5) -> rule3)) -> rule6) ((((triple2) -> rule2) triple1 triple5) -> rule3) ((triple5 triple3) -> rule5)) -> rule1) OR ((((triple3 ((triple4 ((triple5 triple3) -> rule5) triple5) -> rule3)) -> rule6) ((((triple2) -> rule2) ((triple5 triple3) -> rule5) triple5) -> rule3) triple1) -> rule1) OR ((((triple3 ((((triple2) -> rule2) triple1 triple5) -> rule3)) -> rule6) ((triple4 ((triple5 triple3) -> rule5) triple5) -> rule3) ((triple5 triple3) -> rule5)) -> rule1) OR ((((triple3 ((((triple2) -> rule2) triple1 triple5) -> rule3)) -> rule6) ((((triple2) -> rule2) triple1 triple5) -> rule3) ((triple5 triple3) -> rule5)) -> rule1) OR ((((triple3 ((((triple2) -> rule2) triple1 triple5) -> rule3)) -> rule6) ((((triple2) -> rule2) ((triple5 triple3) -> rule5) triple5) -> rule3) triple1) -> rule1) OR ((((triple3 ((((triple2) -> rule2) ((triple5 triple3) -> rule5) triple5) -> rule3)) -> rule6) ((triple4 triple1 triple5) -> rule3) ((triple5 triple3) -> rule5)) -> rule1) OR ((((triple3 ((((triple2) -> rule2) ((triple5 triple3) -> rule5) triple5) -> rule3)) -> rule6) ((triple4 ((triple5 triple3) -> rule5) triple5) -> rule3) triple1) -> rule1) OR ((((triple3 ((((triple2) -> rule2) ((triple5 triple3) -> rule5) triple5) -> rule3)) -> rule6) ((((triple2) -> rule2) triple1 triple5) -> rule3) triple1) -> rule1) OR ((((triple3 ((triple4 ((triple5 triple3) -> rule5) triple5) -> rule3)) -> rule6) ((((triple2) -> rule2) ((triple5 triple3) -> rule5) triple5) -> rule3) ((triple5 triple3) -> rule5)) -> rule1) OR ((((triple3 ((((triple2) -> rule2) triple1 triple5) -> rule3)) -> rule6) ((((triple2) -> rule2) ((triple5 triple3) -> rule5) triple5) -> rule3) ((triple5 triple3) -> rule5)) -> rule1) OR ((((triple3 ((((triple2) -> rule2) ((triple5 triple3) -> rule5) triple5) -> rule3)) -> rule6) ((triple4 ((triple5 triple3) -> rule5) triple5) -> rule3) ((triple5 triple3) -> rule5)) -> rule1) OR ((((triple3 ((((triple2) -> rule2) ((triple5 triple3) -> rule5) triple5) -> rule3)) -> rule6) ((((triple2) -> rule2) triple1 triple5) -> rule3) ((triple5 triple3) -> rule5)) -> rule1) OR ((((triple3 ((((triple2) -> rule2) ((triple5 triple3) -> rule5) triple5) -> rule3)) -> rule6) ((((triple2) -> rule2) ((triple5 triple3) -> rule5) triple5) -> rule3) triple1) -> rule1) OR ((((triple3 ((((triple2) -> rule2) ((triple5 triple3) -> rule5) triple5) -> rule3)) -> rule6) ((((triple2) -> rule2) ((triple5 triple3) -> rule5) triple5) -> rule3) ((triple5 triple3) -> rule5)) -> rule1))]
("Bob" "is" "nice" "-")
((((triple3 ((triple4 triple1 triple5) -> (rule3 % int3))) -> (rule6 % int2)) ((triple4 triple1 triple5) -> (rule3 % int3)) triple1) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
((((triple3 ((triple4 triple1 triple5) -> (rule3 % int4))) -> (rule6 % int3)) ((triple4 triple1 triple5) -> (rule3 % int4)) ((triple5 triple3) -> (rule5 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
((((triple3 ((triple4 triple1 triple5) -> (rule3 % int4))) -> (rule6 % int3)) ((triple4 ((triple5 triple3) -> (rule5 % int2)) triple5) -> (rule3 % int4)) triple1) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
((((triple3 ((triple4 triple1 triple5) -> (rule3 % int4))) -> (rule6 % int3)) ((((triple2) -> (rule2 % int2)) triple1 triple5) -> (rule3 % int4)) triple1) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
((((triple3 ((triple4 triple1 triple5) -> (rule3 % int4))) -> (rule6 % int3)) ((triple4 ((triple5 triple3) -> (rule5 % int2)) triple5) -> (rule3 % int4)) ((triple5 triple3) -> (rule5 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
((((triple3 ((triple4 triple1 triple5) -> (rule3 % int5))) -> (rule6 % int4)) ((((triple2) -> (rule2 % int3)) triple1 triple5) -> (rule3 % int5)) ((triple5 triple3) -> (rule5 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
((((triple3 ((triple4 triple1 triple5) -> (rule3 % int5))) -> (rule6 % int4)) ((((triple2) -> (rule2 % int3)) ((triple5 triple3) -> (rule5 % int2)) triple5) -> (rule3 % int5)) triple1) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
((((triple3 ((triple4 triple1 triple5) -> (rule3 % int5))) -> (rule6 % int4)) ((((triple2) -> (rule2 % int3)) ((triple5 triple3) -> (rule5 % int2)) triple5) -> (rule3 % int5)) ((triple5 triple3) -> (rule5 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
((((triple3 ((triple4 ((triple5 triple3) -> (rule5 % int4)) triple5) -> (rule3 % int3))) -> (rule6 % int2)) ((triple4 triple1 triple5) -> (rule3 % int3)) triple1) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
((((triple3 ((((triple2) -> (rule2 % int4)) triple1 triple5) -> (rule3 % int3))) -> (rule6 % int2)) ((triple4 triple1 triple5) -> (rule3 % int3)) triple1) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
((((triple3 ((triple4 ((triple5 triple3) -> (rule5 % int4)) triple5) -> (rule3 % int3))) -> (rule6 % int2)) ((triple4 triple1 triple5) -> (rule3 % int3)) ((triple5 triple3) -> (rule5 % int4))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
((((triple3 ((triple4 ((triple5 triple3) -> (rule5 % int4)) triple5) -> (rule3 % int3))) -> (rule6 % int2)) ((triple4 ((triple5 triple3) -> (rule5 % int4)) triple5) -> (rule3 % int3)) triple1) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
((((triple3 ((triple4 ((triple5 triple3) -> (rule5 % int5)) triple5) -> (rule3 % int4))) -> (rule6 % int3)) ((((triple2) -> (rule2 % int2)) triple1 triple5) -> (rule3 % int4)) triple1) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is round.
("Bob" "is" "round" "+")
int5
((((triple3 ((((triple2) -> (rule2 % int5)) triple1 triple5) -> (rule3 % int4))) -> (rule6 % int3)) ((triple4 triple1 triple5) -> (rule3 % int4)) ((triple5 triple3) -> (rule5 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
((((triple3 ((((triple2) -> (rule2 % int5)) triple1 triple5) -> (rule3 % int4))) -> (rule6 % int3)) ((triple4 ((triple5 triple3) -> (rule5 % int2)) triple5) -> (rule3 % int4)) triple1) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
((((triple3 ((((triple2) -> (rule2 % int4)) triple1 triple5) -> (rule3 % int3))) -> (rule6 % int2)) ((((triple2) -> (rule2 % int4)) triple1 triple5) -> (rule3 % int3)) triple1) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
((((triple3 ((((triple2) -> (rule2 % int5)) ((triple5 triple3) -> (rule5 % int4)) triple5) -> (rule3 % int3))) -> (rule6 % int2)) ((triple4 triple1 triple5) -> (rule3 % int3)) triple1) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
((((triple3 ((triple4 ((triple5 triple3) -> (rule5 % int4)) triple5) -> (rule3 % int3))) -> (rule6 % int2)) ((triple4 ((triple5 triple3) -> (rule5 % int4)) triple5) -> (rule3 % int3)) ((triple5 triple3) -> (rule5 % int4))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
((((triple3 ((triple4 ((triple5 triple3) -> (rule5 % int5)) triple5) -> (rule3 % int4))) -> (rule6 % int3)) ((((triple2) -> (rule2 % int2)) triple1 triple5) -> (rule3 % int4)) ((triple5 triple3) -> (rule5 % int5))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is round.
("Bob" "is" "round" "+")
int5
((((triple3 ((triple4 ((triple5 triple3) -> (rule5 % int5)) triple5) -> (rule3 % int4))) -> (rule6 % int3)) ((((triple2) -> (rule2 % int2)) ((triple5 triple3) -> (rule5 % int5)) triple5) -> (rule3 % int4)) triple1) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is round.
("Bob" "is" "round" "+")
int5
((((triple3 ((((triple2) -> (rule2 % int5)) triple1 triple5) -> (rule3 % int4))) -> (rule6 % int3)) ((triple4 ((triple5 triple3) -> (rule5 % int2)) triple5) -> (rule3 % int4)) ((triple5 triple3) -> (rule5 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
((((triple3 ((((triple2) -> (rule2 % int5)) triple1 triple5) -> (rule3 % int4))) -> (rule6 % int3)) ((((triple2) -> (rule2 % int5)) triple1 triple5) -> (rule3 % int4)) ((triple5 triple3) -> (rule5 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
((((triple3 ((((triple2) -> (rule2 % int5)) triple1 triple5) -> (rule3 % int4))) -> (rule6 % int3)) ((((triple2) -> (rule2 % int5)) ((triple5 triple3) -> (rule5 % int2)) triple5) -> (rule3 % int4)) triple1) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
((((triple3 ((((triple2) -> (rule2 % int5)) ((triple5 triple3) -> (rule5 % int4)) triple5) -> (rule3 % int3))) -> (rule6 % int2)) ((triple4 triple1 triple5) -> (rule3 % int3)) ((triple5 triple3) -> (rule5 % int4))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
((((triple3 ((((triple2) -> (rule2 % int5)) ((triple5 triple3) -> (rule5 % int4)) triple5) -> (rule3 % int3))) -> (rule6 % int2)) ((triple4 ((triple5 triple3) -> (rule5 % int4)) triple5) -> (rule3 % int3)) triple1) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
((((triple3 ((((triple2) -> (rule2 % int5)) ((triple5 triple3) -> (rule5 % int4)) triple5) -> (rule3 % int3))) -> (rule6 % int2)) ((((triple2) -> (rule2 % int5)) triple1 triple5) -> (rule3 % int3)) triple1) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
((((triple3 ((triple4 ((triple5 triple3) -> (rule5 % int5)) triple5) -> (rule3 % int4))) -> (rule6 % int3)) ((((triple2) -> (rule2 % int2)) ((triple5 triple3) -> (rule5 % int5)) triple5) -> (rule3 % int4)) ((triple5 triple3) -> (rule5 % int5))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is round.
("Bob" "is" "round" "+")
int5
((((triple3 ((((triple2) -> (rule2 % int5)) triple1 triple5) -> (rule3 % int4))) -> (rule6 % int3)) ((((triple2) -> (rule2 % int5)) ((triple5 triple3) -> (rule5 % int2)) triple5) -> (rule3 % int4)) ((triple5 triple3) -> (rule5 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
((((triple3 ((((triple2) -> (rule2 % int5)) ((triple5 triple3) -> (rule5 % int4)) triple5) -> (rule3 % int3))) -> (rule6 % int2)) ((triple4 ((triple5 triple3) -> (rule5 % int4)) triple5) -> (rule3 % int3)) ((triple5 triple3) -> (rule5 % int4))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
((((triple3 ((((triple2) -> (rule2 % int5)) ((triple5 triple3) -> (rule5 % int4)) triple5) -> (rule3 % int3))) -> (rule6 % int2)) ((((triple2) -> (rule2 % int5)) triple1 triple5) -> (rule3 % int3)) ((triple5 triple3) -> (rule5 % int4))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
((((triple3 ((((triple2) -> (rule2 % int5)) ((triple5 triple3) -> (rule5 % int4)) triple5) -> (rule3 % int3))) -> (rule6 % int2)) ((((triple2) -> (rule2 % int5)) ((triple5 triple3) -> (rule5 % int4)) triple5) -> (rule3 % int3)) triple1) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
((((triple3 ((((triple2) -> (rule2 % int5)) ((triple5 triple3) -> (rule5 % int4)) triple5) -> (rule3 % int3))) -> (rule6 % int2)) ((((triple2) -> (rule2 % int5)) ((triple5 triple3) -> (rule5 % int4)) triple5) -> (rule3 % int3)) ((triple5 triple3) -> (rule5 % int4))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
Dave is not blue.
Unknown
inv-rconc
[@1: Dave is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "blue" "-")
Dave is kind.
Unknown
rconc
[@1: Dave is kind.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Dave" "is" "kind" "+")
Harry is not round.
Unknown
inv-rconc
[@1: Harry is round.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Harry" "is" "round" "-")
Harry is kind.
Unknown
rconc
[@2: Harry is kind.[CWA. Example of deepest failure = (rule3 <- rule2 <- FAIL)]]
("Harry" "is" "kind" "+")
Dave is not red.
Unknown
inv-random
[@0: Dave is red.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "red" "-")
Harry is cold.
Unknown
random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "+")
Harry is not young.
Unknown
inv-random
[@0: Harry is young.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "young" "-")
Gary is green.
Unknown
random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "+")
@0: Bob is big.[(triple5)] Bob is blue.[(triple4 OR ((triple2) -> rule2))] Bob is cold.[(triple3)] Bob is red.[(triple2)] Bob is round.[(triple1 OR ((triple5 triple3) -> rule5))] Gary is blue.[(triple10)] Gary is kind.[(triple9)] Gary is rough.[(triple8)] Gary is round.[(triple7)] Gary is young.[(triple6)] Harry is big.[(triple12)] Harry is green.[(triple11)] @1: Bob is kind.[(((triple4 triple1 triple5) -> rule3) OR ((triple4 ((triple5 triple3) -> rule5) triple5) -> rule3) OR ((((triple2) -> rule2) triple1 triple5) -> rule3) OR ((((triple2) -> rule2) ((triple5 triple3) -> rule5) triple5) -> rule3))] Gary is nice.[(((triple8 triple9 triple7) -> rule1))] @2: Bob is rough.[(((triple3 ((triple4 triple1 triple5) -> rule3)) -> rule6) OR ((triple3 ((triple4 ((triple5 triple3) -> rule5) triple5) -> rule3)) -> rule6) OR ((triple3 ((((triple2) -> rule2) triple1 triple5) -> rule3)) -> rule6) OR ((triple3 ((((triple2) -> rule2) ((triple5 triple3) -> rule5) triple5) -> rule3)) -> rule6))] @3: Bob is nice.[(((((triple3 ((triple4 triple1 triple5) -> rule3)) -> rule6) ((triple4 triple1 triple5) -> rule3) triple1) -> rule1) OR ((((triple3 ((triple4 triple1 triple5) -> rule3)) -> rule6) ((triple4 triple1 triple5) -> rule3) ((triple5 triple3) -> rule5)) -> rule1) OR ((((triple3 ((triple4 triple1 triple5) -> rule3)) -> rule6) ((triple4 ((triple5 triple3) -> rule5) triple5) -> rule3) triple1) -> rule1) OR ((((triple3 ((triple4 triple1 triple5) -> rule3)) -> rule6) ((((triple2) -> rule2) triple1 triple5) -> rule3) triple1) -> rule1) OR ((((triple3 ((triple4 triple1 triple5) -> rule3)) -> rule6) ((triple4 ((triple5 triple3) -> rule5) triple5) -> rule3) ((triple5 triple3) -> rule5)) -> rule1) OR ((((triple3 ((triple4 triple1 triple5) -> rule3)) -> rule6) ((((triple2) -> rule2) triple1 triple5) -> rule3) ((triple5 triple3) -> rule5)) -> rule1) OR ((((triple3 ((triple4 triple1 triple5) -> rule3)) -> rule6) ((((triple2) -> rule2) ((triple5 triple3) -> rule5) triple5) -> rule3) triple1) -> rule1) OR ((((triple3 ((triple4 triple1 triple5) -> rule3)) -> rule6) ((((triple2) -> rule2) ((triple5 triple3) -> rule5) triple5) -> rule3) ((triple5 triple3) -> rule5)) -> rule1) OR ((((triple3 ((triple4 ((triple5 triple3) -> rule5) triple5) -> rule3)) -> rule6) ((triple4 triple1 triple5) -> rule3) triple1) -> rule1) OR ((((triple3 ((((triple2) -> rule2) triple1 triple5) -> rule3)) -> rule6) ((triple4 triple1 triple5) -> rule3) triple1) -> rule1) OR ((((triple3 ((triple4 ((triple5 triple3) -> rule5) triple5) -> rule3)) -> rule6) ((triple4 triple1 triple5) -> rule3) ((triple5 triple3) -> rule5)) -> rule1) OR ((((triple3 ((triple4 ((triple5 triple3) -> rule5) triple5) -> rule3)) -> rule6) ((triple4 ((triple5 triple3) -> rule5) triple5) -> rule3) triple1) -> rule1) OR ((((triple3 ((triple4 ((triple5 triple3) -> rule5) triple5) -> rule3)) -> rule6) ((((triple2) -> rule2) triple1 triple5) -> rule3) triple1) -> rule1) OR ((((triple3 ((((triple2) -> rule2) triple1 triple5) -> rule3)) -> rule6) ((triple4 triple1 triple5) -> rule3) ((triple5 triple3) -> rule5)) -> rule1) OR ((((triple3 ((((triple2) -> rule2) triple1 triple5) -> rule3)) -> rule6) ((triple4 ((triple5 triple3) -> rule5) triple5) -> rule3) triple1) -> rule1) OR ((((triple3 ((((triple2) -> rule2) triple1 triple5) -> rule3)) -> rule6) ((((triple2) -> rule2) triple1 triple5) -> rule3) triple1) -> rule1) OR ((((triple3 ((((triple2) -> rule2) ((triple5 triple3) -> rule5) triple5) -> rule3)) -> rule6) ((triple4 triple1 triple5) -> rule3) triple1) -> rule1) OR ((((triple3 ((triple4 ((triple5 triple3) -> rule5) triple5) -> rule3)) -> rule6) ((triple4 ((triple5 triple3) -> rule5) triple5) -> rule3) ((triple5 triple3) -> rule5)) -> rule1) OR ((((triple3 ((triple4 ((triple5 triple3) -> rule5) triple5) -> rule3)) -> rule6) ((((triple2) -> rule2) triple1 triple5) -> rule3) ((triple5 triple3) -> rule5)) -> rule1) OR ((((triple3 ((triple4 ((triple5 triple3) -> rule5) triple5) -> rule3)) -> rule6) ((((triple2) -> rule2) ((triple5 triple3) -> rule5) triple5) -> rule3) triple1) -> rule1) OR ((((triple3 ((((triple2) -> rule2) triple1 triple5) -> rule3)) -> rule6) ((triple4 ((triple5 triple3) -> rule5) triple5) -> rule3) ((triple5 triple3) -> rule5)) -> rule1) OR ((((triple3 ((((triple2) -> rule2) triple1 triple5) -> rule3)) -> rule6) ((((triple2) -> rule2) triple1 triple5) -> rule3) ((triple5 triple3) -> rule5)) -> rule1) OR ((((triple3 ((((triple2) -> rule2) triple1 triple5) -> rule3)) -> rule6) ((((triple2) -> rule2) ((triple5 triple3) -> rule5) triple5) -> rule3) triple1) -> rule1) OR ((((triple3 ((((triple2) -> rule2) ((triple5 triple3) -> rule5) triple5) -> rule3)) -> rule6) ((triple4 triple1 triple5) -> rule3) ((triple5 triple3) -> rule5)) -> rule1) OR ((((triple3 ((((triple2) -> rule2) ((triple5 triple3) -> rule5) triple5) -> rule3)) -> rule6) ((triple4 ((triple5 triple3) -> rule5) triple5) -> rule3) triple1) -> rule1) OR ((((triple3 ((((triple2) -> rule2) ((triple5 triple3) -> rule5) triple5) -> rule3)) -> rule6) ((((triple2) -> rule2) triple1 triple5) -> rule3) triple1) -> rule1) OR ((((triple3 ((triple4 ((triple5 triple3) -> rule5) triple5) -> rule3)) -> rule6) ((((triple2) -> rule2) ((triple5 triple3) -> rule5) triple5) -> rule3) ((triple5 triple3) -> rule5)) -> rule1) OR ((((triple3 ((((triple2) -> rule2) triple1 triple5) -> rule3)) -> rule6) ((((triple2) -> rule2) ((triple5 triple3) -> rule5) triple5) -> rule3) ((triple5 triple3) -> rule5)) -> rule1) OR ((((triple3 ((((triple2) -> rule2) ((triple5 triple3) -> rule5) triple5) -> rule3)) -> rule6) ((triple4 ((triple5 triple3) -> rule5) triple5) -> rule3) ((triple5 triple3) -> rule5)) -> rule1) OR ((((triple3 ((((triple2) -> rule2) ((triple5 triple3) -> rule5) triple5) -> rule3)) -> rule6) ((((triple2) -> rule2) triple1 triple5) -> rule3) ((triple5 triple3) -> rule5)) -> rule1) OR ((((triple3 ((((triple2) -> rule2) ((triple5 triple3) -> rule5) triple5) -> rule3)) -> rule6) ((((triple2) -> rule2) ((triple5 triple3) -> rule5) triple5) -> rule3) triple1) -> rule1) OR ((((triple3 ((((triple2) -> rule2) ((triple5 triple3) -> rule5) triple5) -> rule3)) -> rule6) ((((triple2) -> rule2) ((triple5 triple3) -> rule5) triple5) -> rule3) ((triple5 triple3) -> rule5)) -> rule1))]
Bob is big.
("Bob" "is" "big" "+")
triple5
Bob is blue.
("Bob" "is" "blue" "+")
triple4
((triple2) -> (rule2 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
triple3
Bob is red.
("Bob" "is" "red" "+")
triple2
Bob is round.
("Bob" "is" "round" "+")
triple1
((triple5 triple3) -> (rule5 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
triple10
Gary is kind.
("Gary" "is" "kind" "+")
triple9
Gary is rough.
("Gary" "is" "rough" "+")
triple8
Gary is round.
("Gary" "is" "round" "+")
triple7
Gary is young.
("Gary" "is" "young" "+")
triple6
Harry is big.
("Harry" "is" "big" "+")
triple12
Harry is green.
("Harry" "is" "green" "+")
triple11
Bob is kind.
("Bob" "is" "kind" "+")
((triple4 triple1 triple5) -> (rule3 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
((triple4 ((triple5 triple3) -> (rule5 % int2)) triple5) -> (rule3 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
((((triple2) -> (rule2 % int2)) triple1 triple5) -> (rule3 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
((((triple2) -> (rule2 % int3)) ((triple5 triple3) -> (rule5 % int2)) triple5) -> (rule3 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
((triple8 triple9 triple7) -> (rule1 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
((triple3 ((triple4 triple1 triple5) -> (rule3 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
((triple3 ((triple4 ((triple5 triple3) -> (rule5 % int3)) triple5) -> (rule3 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
((triple3 ((((triple2) -> (rule2 % int3)) triple1 triple5) -> (rule3 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
((triple3 ((((triple2) -> (rule2 % int4)) ((triple5 triple3) -> (rule5 % int3)) triple5) -> (rule3 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
((((triple3 ((triple4 triple1 triple5) -> (rule3 % int3))) -> (rule6 % int2)) ((triple4 triple1 triple5) -> (rule3 % int3)) triple1) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
((((triple3 ((triple4 triple1 triple5) -> (rule3 % int4))) -> (rule6 % int3)) ((triple4 triple1 triple5) -> (rule3 % int4)) ((triple5 triple3) -> (rule5 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
((((triple3 ((triple4 triple1 triple5) -> (rule3 % int4))) -> (rule6 % int3)) ((triple4 ((triple5 triple3) -> (rule5 % int2)) triple5) -> (rule3 % int4)) triple1) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
((((triple3 ((triple4 triple1 triple5) -> (rule3 % int4))) -> (rule6 % int3)) ((((triple2) -> (rule2 % int2)) triple1 triple5) -> (rule3 % int4)) triple1) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
((((triple3 ((triple4 triple1 triple5) -> (rule3 % int4))) -> (rule6 % int3)) ((triple4 ((triple5 triple3) -> (rule5 % int2)) triple5) -> (rule3 % int4)) ((triple5 triple3) -> (rule5 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
((((triple3 ((triple4 triple1 triple5) -> (rule3 % int5))) -> (rule6 % int4)) ((((triple2) -> (rule2 % int3)) triple1 triple5) -> (rule3 % int5)) ((triple5 triple3) -> (rule5 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
((((triple3 ((triple4 triple1 triple5) -> (rule3 % int5))) -> (rule6 % int4)) ((((triple2) -> (rule2 % int3)) ((triple5 triple3) -> (rule5 % int2)) triple5) -> (rule3 % int5)) triple1) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
((((triple3 ((triple4 triple1 triple5) -> (rule3 % int5))) -> (rule6 % int4)) ((((triple2) -> (rule2 % int3)) ((triple5 triple3) -> (rule5 % int2)) triple5) -> (rule3 % int5)) ((triple5 triple3) -> (rule5 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
((((triple3 ((triple4 ((triple5 triple3) -> (rule5 % int4)) triple5) -> (rule3 % int3))) -> (rule6 % int2)) ((triple4 triple1 triple5) -> (rule3 % int3)) triple1) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
((((triple3 ((((triple2) -> (rule2 % int4)) triple1 triple5) -> (rule3 % int3))) -> (rule6 % int2)) ((triple4 triple1 triple5) -> (rule3 % int3)) triple1) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
((((triple3 ((triple4 ((triple5 triple3) -> (rule5 % int4)) triple5) -> (rule3 % int3))) -> (rule6 % int2)) ((triple4 triple1 triple5) -> (rule3 % int3)) ((triple5 triple3) -> (rule5 % int4))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
((((triple3 ((triple4 ((triple5 triple3) -> (rule5 % int4)) triple5) -> (rule3 % int3))) -> (rule6 % int2)) ((triple4 ((triple5 triple3) -> (rule5 % int4)) triple5) -> (rule3 % int3)) triple1) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
((((triple3 ((triple4 ((triple5 triple3) -> (rule5 % int5)) triple5) -> (rule3 % int4))) -> (rule6 % int3)) ((((triple2) -> (rule2 % int2)) triple1 triple5) -> (rule3 % int4)) triple1) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is round.
("Bob" "is" "round" "+")
int5
((((triple3 ((((triple2) -> (rule2 % int5)) triple1 triple5) -> (rule3 % int4))) -> (rule6 % int3)) ((triple4 triple1 triple5) -> (rule3 % int4)) ((triple5 triple3) -> (rule5 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
((((triple3 ((((triple2) -> (rule2 % int5)) triple1 triple5) -> (rule3 % int4))) -> (rule6 % int3)) ((triple4 ((triple5 triple3) -> (rule5 % int2)) triple5) -> (rule3 % int4)) triple1) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
((((triple3 ((((triple2) -> (rule2 % int4)) triple1 triple5) -> (rule3 % int3))) -> (rule6 % int2)) ((((triple2) -> (rule2 % int4)) triple1 triple5) -> (rule3 % int3)) triple1) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
((((triple3 ((((triple2) -> (rule2 % int5)) ((triple5 triple3) -> (rule5 % int4)) triple5) -> (rule3 % int3))) -> (rule6 % int2)) ((triple4 triple1 triple5) -> (rule3 % int3)) triple1) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
((((triple3 ((triple4 ((triple5 triple3) -> (rule5 % int4)) triple5) -> (rule3 % int3))) -> (rule6 % int2)) ((triple4 ((triple5 triple3) -> (rule5 % int4)) triple5) -> (rule3 % int3)) ((triple5 triple3) -> (rule5 % int4))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
((((triple3 ((triple4 ((triple5 triple3) -> (rule5 % int5)) triple5) -> (rule3 % int4))) -> (rule6 % int3)) ((((triple2) -> (rule2 % int2)) triple1 triple5) -> (rule3 % int4)) ((triple5 triple3) -> (rule5 % int5))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is round.
("Bob" "is" "round" "+")
int5
((((triple3 ((triple4 ((triple5 triple3) -> (rule5 % int5)) triple5) -> (rule3 % int4))) -> (rule6 % int3)) ((((triple2) -> (rule2 % int2)) ((triple5 triple3) -> (rule5 % int5)) triple5) -> (rule3 % int4)) triple1) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is round.
("Bob" "is" "round" "+")
int5
((((triple3 ((((triple2) -> (rule2 % int5)) triple1 triple5) -> (rule3 % int4))) -> (rule6 % int3)) ((triple4 ((triple5 triple3) -> (rule5 % int2)) triple5) -> (rule3 % int4)) ((triple5 triple3) -> (rule5 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
((((triple3 ((((triple2) -> (rule2 % int5)) triple1 triple5) -> (rule3 % int4))) -> (rule6 % int3)) ((((triple2) -> (rule2 % int5)) triple1 triple5) -> (rule3 % int4)) ((triple5 triple3) -> (rule5 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
((((triple3 ((((triple2) -> (rule2 % int5)) triple1 triple5) -> (rule3 % int4))) -> (rule6 % int3)) ((((triple2) -> (rule2 % int5)) ((triple5 triple3) -> (rule5 % int2)) triple5) -> (rule3 % int4)) triple1) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
((((triple3 ((((triple2) -> (rule2 % int5)) ((triple5 triple3) -> (rule5 % int4)) triple5) -> (rule3 % int3))) -> (rule6 % int2)) ((triple4 triple1 triple5) -> (rule3 % int3)) ((triple5 triple3) -> (rule5 % int4))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
((((triple3 ((((triple2) -> (rule2 % int5)) ((triple5 triple3) -> (rule5 % int4)) triple5) -> (rule3 % int3))) -> (rule6 % int2)) ((triple4 ((triple5 triple3) -> (rule5 % int4)) triple5) -> (rule3 % int3)) triple1) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
((((triple3 ((((triple2) -> (rule2 % int5)) ((triple5 triple3) -> (rule5 % int4)) triple5) -> (rule3 % int3))) -> (rule6 % int2)) ((((triple2) -> (rule2 % int5)) triple1 triple5) -> (rule3 % int3)) triple1) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
((((triple3 ((triple4 ((triple5 triple3) -> (rule5 % int5)) triple5) -> (rule3 % int4))) -> (rule6 % int3)) ((((triple2) -> (rule2 % int2)) ((triple5 triple3) -> (rule5 % int5)) triple5) -> (rule3 % int4)) ((triple5 triple3) -> (rule5 % int5))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is round.
("Bob" "is" "round" "+")
int5
((((triple3 ((((triple2) -> (rule2 % int5)) triple1 triple5) -> (rule3 % int4))) -> (rule6 % int3)) ((((triple2) -> (rule2 % int5)) ((triple5 triple3) -> (rule5 % int2)) triple5) -> (rule3 % int4)) ((triple5 triple3) -> (rule5 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
((((triple3 ((((triple2) -> (rule2 % int5)) ((triple5 triple3) -> (rule5 % int4)) triple5) -> (rule3 % int3))) -> (rule6 % int2)) ((triple4 ((triple5 triple3) -> (rule5 % int4)) triple5) -> (rule3 % int3)) ((triple5 triple3) -> (rule5 % int4))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
((((triple3 ((((triple2) -> (rule2 % int5)) ((triple5 triple3) -> (rule5 % int4)) triple5) -> (rule3 % int3))) -> (rule6 % int2)) ((((triple2) -> (rule2 % int5)) triple1 triple5) -> (rule3 % int3)) ((triple5 triple3) -> (rule5 % int4))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
((((triple3 ((((triple2) -> (rule2 % int5)) ((triple5 triple3) -> (rule5 % int4)) triple5) -> (rule3 % int3))) -> (rule6 % int2)) ((((triple2) -> (rule2 % int5)) ((triple5 triple3) -> (rule5 % int4)) triple5) -> (rule3 % int3)) triple1) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
((((triple3 ((((triple2) -> (rule2 % int5)) ((triple5 triple3) -> (rule5 % int4)) triple5) -> (rule3 % int3))) -> (rule6 % int2)) ((((triple2) -> (rule2 % int5)) ((triple5 triple3) -> (rule5 % int4)) triple5) -> (rule3 % int3)) ((triple5 triple3) -> (rule5 % int4))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
Round Bob is big and red, but blue from the cold.
Because Gary, who is young, loves to eat he is quite round; Sometimes that makes him feel blue and get rough with people who make fun of him; But he is actually quite kind.
Harry is a person both green and big.
A male or female with rough, kind and round traits will surely have a nice quality, as well.
Red people feel blue about it.
It's said that any person with blue skin, round bones, and big feet is kind.
It is true that anyone who is cold while being young and nice is secretly a kind person.
Big and cold people are likely to be round, too.
If a rather cold person is also kind then they are probably rough.
They found the ones that were round, blue, and green to be nice.