Bob is both young and fairly round in size. Charlie was in a chemistry lab accident and turned blue and green which is even more obvious due to his round figure. Young, round Gary is green and very cold, but also nice. When you meet someone round, blue and nice they are as a rule rough. Young, green round people are big. A person who is nice and green with envy is round. Every time I see a young blue nice person I know they are also red. Someone big and rough in shape is always kind. If a nice person is round shaped, they feel blue about it. Someone who is round like a dumpling and cold like an icicle are very young in age.
Bob is young.
("Bob" "is" "young" "+")
Bob is round.
("Bob" "is" "round" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is cold.
("Gary" "is" "cold" "+")
If someone is blue and nice and round then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "rough" "+"))
If someone is green and young and round then they are big.
((("someone" "is" "green" "+") ("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
If someone is nice and green then they are round.
((("someone" "is" "nice" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is nice and young and blue then they are red.
((("someone" "is" "nice" "+") ("someone" "is" "young" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
If someone is big and rough then they are kind.
((("someone" "is" "big" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
If someone is nice and round then they are blue.
((("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
If someone is round and cold then they are young.
((("someone" "is" "round" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
Charlie is round.
True
1
proof
[(triple3)]
("Charlie" "is" "round" "+")
triple3
Gary is not round.
False
1
inv-proof
[(triple7 OR ((triple8 triple9) -> rule3))]
("Gary" "is" "round" "-")
triple7
((triple8 triple9) -> (rule3 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is blue.
True
3
proof
[(((triple8 triple7) -> rule6) OR ((triple8 ((triple8 triple9) -> rule3)) -> rule6))]
("Gary" "is" "blue" "+")
((triple8 triple7) -> (rule6 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
((triple8 ((triple8 triple9) -> (rule3 % int2))) -> (rule6 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is not blue.
False
3
inv-proof
[(((triple8 triple7) -> rule6) OR ((triple8 ((triple8 triple9) -> rule3)) -> rule6))]
("Gary" "is" "blue" "-")
((triple8 triple7) -> (rule6 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
((triple8 ((triple8 triple9) -> (rule3 % int2))) -> (rule6 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is red.
True
6
proof
[(((triple8 triple6 ((triple8 triple7) -> rule6)) -> rule4) OR ((triple8 ((triple7 triple10) -> rule7) ((triple8 triple7) -> rule6)) -> rule4) OR ((triple8 triple6 ((triple8 ((triple8 triple9) -> rule3)) -> rule6)) -> rule4) OR ((triple8 ((triple7 triple10) -> rule7) ((triple8 ((triple8 triple9) -> rule3)) -> rule6)) -> rule4) OR ((triple8 ((((triple8 triple9) -> rule3) triple10) -> rule7) ((triple8 triple7) -> rule6)) -> rule4) OR ((triple8 ((((triple8 triple9) -> rule3) triple10) -> rule7) ((triple8 ((triple8 triple9) -> rule3)) -> rule6)) -> rule4))]
("Gary" "is" "red" "+")
((triple8 triple6 ((triple8 triple7) -> (rule6 % int2))) -> (rule4 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
((triple8 ((triple7 triple10) -> (rule7 % int3)) ((triple8 triple7) -> (rule6 % int2))) -> (rule4 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
((triple8 triple6 ((triple8 ((triple8 triple9) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
((triple8 ((triple7 triple10) -> (rule7 % int4)) ((triple8 ((triple8 triple9) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
((triple8 ((((triple8 triple9) -> (rule3 % int4)) triple10) -> (rule7 % int3)) ((triple8 triple7) -> (rule6 % int2))) -> (rule4 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
((triple8 ((((triple8 triple9) -> (rule3 % int4)) triple10) -> (rule7 % int3)) ((triple8 ((triple8 triple9) -> (rule3 % int4))) -> (rule6 % int2))) -> (rule4 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Gary is not rough.
False
6
inv-proof
[(((((triple8 triple7) -> rule6) triple8 triple7) -> rule1) OR ((((triple8 triple7) -> rule6) triple8 ((triple8 triple9) -> rule3)) -> rule1) OR ((((triple8 ((triple8 triple9) -> rule3)) -> rule6) triple8 triple7) -> rule1) OR ((((triple8 ((triple8 triple9) -> rule3)) -> rule6) triple8 ((triple8 triple9) -> rule3)) -> rule1))]
("Gary" "is" "rough" "-")
((((triple8 triple7) -> (rule6 % int2)) triple8 triple7) -> (rule1 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
((((triple8 triple7) -> (rule6 % int3)) triple8 ((triple8 triple9) -> (rule3 % int2))) -> (rule1 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
((((triple8 ((triple8 triple9) -> (rule3 % int3))) -> (rule6 % int2)) triple8 triple7) -> (rule1 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
((((triple8 ((triple8 triple9) -> (rule3 % int3))) -> (rule6 % int2)) triple8 ((triple8 triple9) -> (rule3 % int3))) -> (rule1 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is kind.
True
11
proof
[(((((triple9 triple6 triple7) -> rule2) ((((triple8 triple7) -> rule6) triple8 triple7) -> rule1)) -> rule5) OR ((((triple9 triple6 triple7) -> rule2) ((((triple8 triple7) -> rule6) triple8 ((triple8 triple9) -> rule3)) -> rule1)) -> rule5) OR ((((triple9 triple6 ((triple8 triple9) -> rule3)) -> rule2) ((((triple8 triple7) -> rule6) triple8 triple7) -> rule1)) -> rule5) OR ((((triple9 ((triple7 triple10) -> rule7) triple7) -> rule2) ((((triple8 triple7) -> rule6) triple8 triple7) -> rule1)) -> rule5) OR ((((triple9 triple6 ((triple8 triple9) -> rule3)) -> rule2) ((((triple8 triple7) -> rule6) triple8 ((triple8 triple9) -> rule3)) -> rule1)) -> rule5) OR ((((triple9 ((triple7 triple10) -> rule7) triple7) -> rule2) ((((triple8 triple7) -> rule6) triple8 ((triple8 triple9) -> rule3)) -> rule1)) -> rule5) OR ((((triple9 ((triple7 triple10) -> rule7) ((triple8 triple9) -> rule3)) -> rule2) ((((triple8 triple7) -> rule6) triple8 triple7) -> rule1)) -> rule5) OR ((((triple9 ((triple7 triple10) -> rule7) ((triple8 triple9) -> rule3)) -> rule2) ((((triple8 triple7) -> rule6) triple8 ((triple8 triple9) -> rule3)) -> rule1)) -> rule5) OR ((((triple9 triple6 triple7) -> rule2) ((((triple8 ((triple8 triple9) -> rule3)) -> rule6) triple8 triple7) -> rule1)) -> rule5) OR ((((triple9 triple6 triple7) -> rule2) ((((triple8 ((triple8 triple9) -> rule3)) -> rule6) triple8 ((triple8 triple9) -> rule3)) -> rule1)) -> rule5) OR ((((triple9 triple6 ((triple8 triple9) -> rule3)) -> rule2) ((((triple8 ((triple8 triple9) -> rule3)) -> rule6) triple8 triple7) -> rule1)) -> rule5) OR ((((triple9 ((triple7 triple10) -> rule7) triple7) -> rule2) ((((triple8 ((triple8 triple9) -> rule3)) -> rule6) triple8 triple7) -> rule1)) -> rule5) OR ((((triple9 ((((triple8 triple9) -> rule3) triple10) -> rule7) triple7) -> rule2) ((((triple8 triple7) -> rule6) triple8 triple7) -> rule1)) -> rule5) OR ((((triple9 triple6 ((triple8 triple9) -> rule3)) -> rule2) ((((triple8 ((triple8 triple9) -> rule3)) -> rule6) triple8 ((triple8 triple9) -> rule3)) -> rule1)) -> rule5) OR ((((triple9 ((triple7 triple10) -> rule7) triple7) -> rule2) ((((triple8 ((triple8 triple9) -> rule3)) -> rule6) triple8 ((triple8 triple9) -> rule3)) -> rule1)) -> rule5) OR ((((triple9 ((triple7 triple10) -> rule7) ((triple8 triple9) -> rule3)) -> rule2) ((((triple8 ((triple8 triple9) -> rule3)) -> rule6) triple8 triple7) -> rule1)) -> rule5) OR ((((triple9 ((((triple8 triple9) -> rule3) triple10) -> rule7) triple7) -> rule2) ((((triple8 triple7) -> rule6) triple8 ((triple8 triple9) -> rule3)) -> rule1)) -> rule5) OR ((((triple9 ((((triple8 triple9) -> rule3) triple10) -> rule7) triple7) -> rule2) ((((triple8 ((triple8 triple9) -> rule3)) -> rule6) triple8 triple7) -> rule1)) -> rule5) OR ((((triple9 ((((triple8 triple9) -> rule3) triple10) -> rule7) ((triple8 triple9) -> rule3)) -> rule2) ((((triple8 triple7) -> rule6) triple8 triple7) -> rule1)) -> rule5) OR ((((triple9 ((triple7 triple10) -> rule7) ((triple8 triple9) -> rule3)) -> rule2) ((((triple8 ((triple8 triple9) -> rule3)) -> rule6) triple8 ((triple8 triple9) -> rule3)) -> rule1)) -> rule5) OR ((((triple9 ((((triple8 triple9) -> rule3) triple10) -> rule7) triple7) -> rule2) ((((triple8 ((triple8 triple9) -> rule3)) -> rule6) triple8 ((triple8 triple9) -> rule3)) -> rule1)) -> rule5) OR ((((triple9 ((((triple8 triple9) -> rule3) triple10) -> rule7) ((triple8 triple9) -> rule3)) -> rule2) ((((triple8 triple7) -> rule6) triple8 ((triple8 triple9) -> rule3)) -> rule1)) -> rule5) OR ((((triple9 ((((triple8 triple9) -> rule3) triple10) -> rule7) ((triple8 triple9) -> rule3)) -> rule2) ((((triple8 ((triple8 triple9) -> rule3)) -> rule6) triple8 triple7) -> rule1)) -> rule5) OR ((((triple9 ((((triple8 triple9) -> rule3) triple10) -> rule7) ((triple8 triple9) -> rule3)) -> rule2) ((((triple8 ((triple8 triple9) -> rule3)) -> rule6) triple8 ((triple8 triple9) -> rule3)) -> rule1)) -> rule5))]
("Gary" "is" "kind" "+")
((((triple9 triple6 triple7) -> (rule2 % int4)) ((((triple8 triple7) -> (rule6 % int3)) triple8 triple7) -> (rule1 % int2))) -> (rule5 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
((((triple9 triple6 triple7) -> (rule2 % int5)) ((((triple8 triple7) -> (rule6 % int4)) triple8 ((triple8 triple9) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
Gary is big.
("Gary" "is" "big" "+")
int5
((((triple9 triple6 ((triple8 triple9) -> (rule3 % int5))) -> (rule2 % int4)) ((((triple8 triple7) -> (rule6 % int3)) triple8 triple7) -> (rule1 % int2))) -> (rule5 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is round.
("Gary" "is" "round" "+")
int5
((((triple9 ((triple7 triple10) -> (rule7 % int5)) triple7) -> (rule2 % int4)) ((((triple8 triple7) -> (rule6 % int3)) triple8 triple7) -> (rule1 % int2))) -> (rule5 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
int5
((((triple9 triple6 ((triple8 triple9) -> (rule3 % int5))) -> (rule2 % int4)) ((((triple8 triple7) -> (rule6 % int3)) triple8 ((triple8 triple9) -> (rule3 % int5))) -> (rule1 % int2))) -> (rule5 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is round.
("Gary" "is" "round" "+")
int5
((((triple9 ((triple7 triple10) -> (rule7 % int6)) triple7) -> (rule2 % int5)) ((((triple8 triple7) -> (rule6 % int4)) triple8 ((triple8 triple9) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
Gary is big.
("Gary" "is" "big" "+")
int5
Gary is young.
("Gary" "is" "young" "+")
int6
((((triple9 ((triple7 triple10) -> (rule7 % int6)) ((triple8 triple9) -> (rule3 % int5))) -> (rule2 % int4)) ((((triple8 triple7) -> (rule6 % int3)) triple8 triple7) -> (rule1 % int2))) -> (rule5 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is round.
("Gary" "is" "round" "+")
int5
Gary is young.
("Gary" "is" "young" "+")
int6
((((triple9 ((triple7 triple10) -> (rule7 % int6)) ((triple8 triple9) -> (rule3 % int5))) -> (rule2 % int4)) ((((triple8 triple7) -> (rule6 % int3)) triple8 ((triple8 triple9) -> (rule3 % int5))) -> (rule1 % int2))) -> (rule5 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is round.
("Gary" "is" "round" "+")
int5
Gary is young.
("Gary" "is" "young" "+")
int6
((((triple9 triple6 triple7) -> (rule2 % int5)) ((((triple8 ((triple8 triple9) -> (rule3 % int4))) -> (rule6 % int3)) triple8 triple7) -> (rule1 % int2))) -> (rule5 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Gary is big.
("Gary" "is" "big" "+")
int5
((((triple9 triple6 triple7) -> (rule2 % int5)) ((((triple8 ((triple8 triple9) -> (rule3 % int4))) -> (rule6 % int3)) triple8 ((triple8 triple9) -> (rule3 % int4))) -> (rule1 % int2))) -> (rule5 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Gary is big.
("Gary" "is" "big" "+")
int5
((((triple9 triple6 ((triple8 triple9) -> (rule3 % int5))) -> (rule2 % int4)) ((((triple8 ((triple8 triple9) -> (rule3 % int5))) -> (rule6 % int3)) triple8 triple7) -> (rule1 % int2))) -> (rule5 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is round.
("Gary" "is" "round" "+")
int5
((((triple9 ((triple7 triple10) -> (rule7 % int6)) triple7) -> (rule2 % int5)) ((((triple8 ((triple8 triple9) -> (rule3 % int4))) -> (rule6 % int3)) triple8 triple7) -> (rule1 % int2))) -> (rule5 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Gary is big.
("Gary" "is" "big" "+")
int5
Gary is young.
("Gary" "is" "young" "+")
int6
((((triple9 ((((triple8 triple9) -> (rule3 % int6)) triple10) -> (rule7 % int5)) triple7) -> (rule2 % int4)) ((((triple8 triple7) -> (rule6 % int3)) triple8 triple7) -> (rule1 % int2))) -> (rule5 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
int5
Gary is round.
("Gary" "is" "round" "+")
int6
((((triple9 triple6 ((triple8 triple9) -> (rule3 % int5))) -> (rule2 % int4)) ((((triple8 ((triple8 triple9) -> (rule3 % int5))) -> (rule6 % int3)) triple8 ((triple8 triple9) -> (rule3 % int5))) -> (rule1 % int2))) -> (rule5 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is round.
("Gary" "is" "round" "+")
int5
((((triple9 ((triple7 triple10) -> (rule7 % int6)) triple7) -> (rule2 % int5)) ((((triple8 ((triple8 triple9) -> (rule3 % int4))) -> (rule6 % int3)) triple8 ((triple8 triple9) -> (rule3 % int4))) -> (rule1 % int2))) -> (rule5 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Gary is big.
("Gary" "is" "big" "+")
int5
Gary is young.
("Gary" "is" "young" "+")
int6
((((triple9 ((triple7 triple10) -> (rule7 % int6)) ((triple8 triple9) -> (rule3 % int5))) -> (rule2 % int4)) ((((triple8 ((triple8 triple9) -> (rule3 % int5))) -> (rule6 % int3)) triple8 triple7) -> (rule1 % int2))) -> (rule5 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is round.
("Gary" "is" "round" "+")
int5
Gary is young.
("Gary" "is" "young" "+")
int6
((((triple9 ((((triple8 triple9) -> (rule3 % int6)) triple10) -> (rule7 % int5)) triple7) -> (rule2 % int4)) ((((triple8 triple7) -> (rule6 % int3)) triple8 ((triple8 triple9) -> (rule3 % int6))) -> (rule1 % int2))) -> (rule5 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
int5
Gary is round.
("Gary" "is" "round" "+")
int6
((((triple9 ((((triple8 triple9) -> (rule3 % int6)) triple10) -> (rule7 % int5)) triple7) -> (rule2 % int4)) ((((triple8 ((triple8 triple9) -> (rule3 % int6))) -> (rule6 % int3)) triple8 triple7) -> (rule1 % int2))) -> (rule5 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
int5
Gary is round.
("Gary" "is" "round" "+")
int6
((((triple9 ((((triple8 triple9) -> (rule3 % int6)) triple10) -> (rule7 % int5)) ((triple8 triple9) -> (rule3 % int6))) -> (rule2 % int4)) ((((triple8 triple7) -> (rule6 % int3)) triple8 triple7) -> (rule1 % int2))) -> (rule5 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
int5
Gary is round.
("Gary" "is" "round" "+")
int6
((((triple9 ((triple7 triple10) -> (rule7 % int6)) ((triple8 triple9) -> (rule3 % int5))) -> (rule2 % int4)) ((((triple8 ((triple8 triple9) -> (rule3 % int5))) -> (rule6 % int3)) triple8 ((triple8 triple9) -> (rule3 % int5))) -> (rule1 % int2))) -> (rule5 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is round.
("Gary" "is" "round" "+")
int5
Gary is young.
("Gary" "is" "young" "+")
int6
((((triple9 ((((triple8 triple9) -> (rule3 % int6)) triple10) -> (rule7 % int5)) triple7) -> (rule2 % int4)) ((((triple8 ((triple8 triple9) -> (rule3 % int6))) -> (rule6 % int3)) triple8 ((triple8 triple9) -> (rule3 % int6))) -> (rule1 % int2))) -> (rule5 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
int5
Gary is round.
("Gary" "is" "round" "+")
int6
((((triple9 ((((triple8 triple9) -> (rule3 % int6)) triple10) -> (rule7 % int5)) ((triple8 triple9) -> (rule3 % int6))) -> (rule2 % int4)) ((((triple8 triple7) -> (rule6 % int3)) triple8 ((triple8 triple9) -> (rule3 % int6))) -> (rule1 % int2))) -> (rule5 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
int5
Gary is round.
("Gary" "is" "round" "+")
int6
((((triple9 ((((triple8 triple9) -> (rule3 % int6)) triple10) -> (rule7 % int5)) ((triple8 triple9) -> (rule3 % int6))) -> (rule2 % int4)) ((((triple8 ((triple8 triple9) -> (rule3 % int6))) -> (rule6 % int3)) triple8 triple7) -> (rule1 % int2))) -> (rule5 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
int5
Gary is round.
("Gary" "is" "round" "+")
int6
((((triple9 ((((triple8 triple9) -> (rule3 % int6)) triple10) -> (rule7 % int5)) ((triple8 triple9) -> (rule3 % int6))) -> (rule2 % int4)) ((((triple8 ((triple8 triple9) -> (rule3 % int6))) -> (rule6 % int3)) triple8 ((triple8 triple9) -> (rule3 % int6))) -> (rule1 % int2))) -> (rule5 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
int5
Gary is round.
("Gary" "is" "round" "+")
int6
Gary is not kind.
False
11
inv-proof
[(((((triple9 triple6 triple7) -> rule2) ((((triple8 triple7) -> rule6) triple8 triple7) -> rule1)) -> rule5) OR ((((triple9 triple6 triple7) -> rule2) ((((triple8 triple7) -> rule6) triple8 ((triple8 triple9) -> rule3)) -> rule1)) -> rule5) OR ((((triple9 triple6 ((triple8 triple9) -> rule3)) -> rule2) ((((triple8 triple7) -> rule6) triple8 triple7) -> rule1)) -> rule5) OR ((((triple9 ((triple7 triple10) -> rule7) triple7) -> rule2) ((((triple8 triple7) -> rule6) triple8 triple7) -> rule1)) -> rule5) OR ((((triple9 triple6 ((triple8 triple9) -> rule3)) -> rule2) ((((triple8 triple7) -> rule6) triple8 ((triple8 triple9) -> rule3)) -> rule1)) -> rule5) OR ((((triple9 ((triple7 triple10) -> rule7) triple7) -> rule2) ((((triple8 triple7) -> rule6) triple8 ((triple8 triple9) -> rule3)) -> rule1)) -> rule5) OR ((((triple9 ((triple7 triple10) -> rule7) ((triple8 triple9) -> rule3)) -> rule2) ((((triple8 triple7) -> rule6) triple8 triple7) -> rule1)) -> rule5) OR ((((triple9 ((triple7 triple10) -> rule7) ((triple8 triple9) -> rule3)) -> rule2) ((((triple8 triple7) -> rule6) triple8 ((triple8 triple9) -> rule3)) -> rule1)) -> rule5) OR ((((triple9 triple6 triple7) -> rule2) ((((triple8 ((triple8 triple9) -> rule3)) -> rule6) triple8 triple7) -> rule1)) -> rule5) OR ((((triple9 triple6 triple7) -> rule2) ((((triple8 ((triple8 triple9) -> rule3)) -> rule6) triple8 ((triple8 triple9) -> rule3)) -> rule1)) -> rule5) OR ((((triple9 triple6 ((triple8 triple9) -> rule3)) -> rule2) ((((triple8 ((triple8 triple9) -> rule3)) -> rule6) triple8 triple7) -> rule1)) -> rule5) OR ((((triple9 ((triple7 triple10) -> rule7) triple7) -> rule2) ((((triple8 ((triple8 triple9) -> rule3)) -> rule6) triple8 triple7) -> rule1)) -> rule5) OR ((((triple9 ((((triple8 triple9) -> rule3) triple10) -> rule7) triple7) -> rule2) ((((triple8 triple7) -> rule6) triple8 triple7) -> rule1)) -> rule5) OR ((((triple9 triple6 ((triple8 triple9) -> rule3)) -> rule2) ((((triple8 ((triple8 triple9) -> rule3)) -> rule6) triple8 ((triple8 triple9) -> rule3)) -> rule1)) -> rule5) OR ((((triple9 ((triple7 triple10) -> rule7) triple7) -> rule2) ((((triple8 ((triple8 triple9) -> rule3)) -> rule6) triple8 ((triple8 triple9) -> rule3)) -> rule1)) -> rule5) OR ((((triple9 ((triple7 triple10) -> rule7) ((triple8 triple9) -> rule3)) -> rule2) ((((triple8 ((triple8 triple9) -> rule3)) -> rule6) triple8 triple7) -> rule1)) -> rule5) OR ((((triple9 ((((triple8 triple9) -> rule3) triple10) -> rule7) triple7) -> rule2) ((((triple8 triple7) -> rule6) triple8 ((triple8 triple9) -> rule3)) -> rule1)) -> rule5) OR ((((triple9 ((((triple8 triple9) -> rule3) triple10) -> rule7) triple7) -> rule2) ((((triple8 ((triple8 triple9) -> rule3)) -> rule6) triple8 triple7) -> rule1)) -> rule5) OR ((((triple9 ((((triple8 triple9) -> rule3) triple10) -> rule7) ((triple8 triple9) -> rule3)) -> rule2) ((((triple8 triple7) -> rule6) triple8 triple7) -> rule1)) -> rule5) OR ((((triple9 ((triple7 triple10) -> rule7) ((triple8 triple9) -> rule3)) -> rule2) ((((triple8 ((triple8 triple9) -> rule3)) -> rule6) triple8 ((triple8 triple9) -> rule3)) -> rule1)) -> rule5) OR ((((triple9 ((((triple8 triple9) -> rule3) triple10) -> rule7) triple7) -> rule2) ((((triple8 ((triple8 triple9) -> rule3)) -> rule6) triple8 ((triple8 triple9) -> rule3)) -> rule1)) -> rule5) OR ((((triple9 ((((triple8 triple9) -> rule3) triple10) -> rule7) ((triple8 triple9) -> rule3)) -> rule2) ((((triple8 triple7) -> rule6) triple8 ((triple8 triple9) -> rule3)) -> rule1)) -> rule5) OR ((((triple9 ((((triple8 triple9) -> rule3) triple10) -> rule7) ((triple8 triple9) -> rule3)) -> rule2) ((((triple8 ((triple8 triple9) -> rule3)) -> rule6) triple8 triple7) -> rule1)) -> rule5) OR ((((triple9 ((((triple8 triple9) -> rule3) triple10) -> rule7) ((triple8 triple9) -> rule3)) -> rule2) ((((triple8 ((triple8 triple9) -> rule3)) -> rule6) triple8 ((triple8 triple9) -> rule3)) -> rule1)) -> rule5))]
("Gary" "is" "kind" "-")
((((triple9 triple6 triple7) -> (rule2 % int4)) ((((triple8 triple7) -> (rule6 % int3)) triple8 triple7) -> (rule1 % int2))) -> (rule5 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
((((triple9 triple6 triple7) -> (rule2 % int5)) ((((triple8 triple7) -> (rule6 % int4)) triple8 ((triple8 triple9) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
Gary is big.
("Gary" "is" "big" "+")
int5
((((triple9 triple6 ((triple8 triple9) -> (rule3 % int5))) -> (rule2 % int4)) ((((triple8 triple7) -> (rule6 % int3)) triple8 triple7) -> (rule1 % int2))) -> (rule5 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is round.
("Gary" "is" "round" "+")
int5
((((triple9 ((triple7 triple10) -> (rule7 % int5)) triple7) -> (rule2 % int4)) ((((triple8 triple7) -> (rule6 % int3)) triple8 triple7) -> (rule1 % int2))) -> (rule5 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
int5
((((triple9 triple6 ((triple8 triple9) -> (rule3 % int5))) -> (rule2 % int4)) ((((triple8 triple7) -> (rule6 % int3)) triple8 ((triple8 triple9) -> (rule3 % int5))) -> (rule1 % int2))) -> (rule5 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is round.
("Gary" "is" "round" "+")
int5
((((triple9 ((triple7 triple10) -> (rule7 % int6)) triple7) -> (rule2 % int5)) ((((triple8 triple7) -> (rule6 % int4)) triple8 ((triple8 triple9) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
Gary is big.
("Gary" "is" "big" "+")
int5
Gary is young.
("Gary" "is" "young" "+")
int6
((((triple9 ((triple7 triple10) -> (rule7 % int6)) ((triple8 triple9) -> (rule3 % int5))) -> (rule2 % int4)) ((((triple8 triple7) -> (rule6 % int3)) triple8 triple7) -> (rule1 % int2))) -> (rule5 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is round.
("Gary" "is" "round" "+")
int5
Gary is young.
("Gary" "is" "young" "+")
int6
((((triple9 ((triple7 triple10) -> (rule7 % int6)) ((triple8 triple9) -> (rule3 % int5))) -> (rule2 % int4)) ((((triple8 triple7) -> (rule6 % int3)) triple8 ((triple8 triple9) -> (rule3 % int5))) -> (rule1 % int2))) -> (rule5 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is round.
("Gary" "is" "round" "+")
int5
Gary is young.
("Gary" "is" "young" "+")
int6
((((triple9 triple6 triple7) -> (rule2 % int5)) ((((triple8 ((triple8 triple9) -> (rule3 % int4))) -> (rule6 % int3)) triple8 triple7) -> (rule1 % int2))) -> (rule5 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Gary is big.
("Gary" "is" "big" "+")
int5
((((triple9 triple6 triple7) -> (rule2 % int5)) ((((triple8 ((triple8 triple9) -> (rule3 % int4))) -> (rule6 % int3)) triple8 ((triple8 triple9) -> (rule3 % int4))) -> (rule1 % int2))) -> (rule5 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Gary is big.
("Gary" "is" "big" "+")
int5
((((triple9 triple6 ((triple8 triple9) -> (rule3 % int5))) -> (rule2 % int4)) ((((triple8 ((triple8 triple9) -> (rule3 % int5))) -> (rule6 % int3)) triple8 triple7) -> (rule1 % int2))) -> (rule5 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is round.
("Gary" "is" "round" "+")
int5
((((triple9 ((triple7 triple10) -> (rule7 % int6)) triple7) -> (rule2 % int5)) ((((triple8 ((triple8 triple9) -> (rule3 % int4))) -> (rule6 % int3)) triple8 triple7) -> (rule1 % int2))) -> (rule5 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Gary is big.
("Gary" "is" "big" "+")
int5
Gary is young.
("Gary" "is" "young" "+")
int6
((((triple9 ((((triple8 triple9) -> (rule3 % int6)) triple10) -> (rule7 % int5)) triple7) -> (rule2 % int4)) ((((triple8 triple7) -> (rule6 % int3)) triple8 triple7) -> (rule1 % int2))) -> (rule5 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
int5
Gary is round.
("Gary" "is" "round" "+")
int6
((((triple9 triple6 ((triple8 triple9) -> (rule3 % int5))) -> (rule2 % int4)) ((((triple8 ((triple8 triple9) -> (rule3 % int5))) -> (rule6 % int3)) triple8 ((triple8 triple9) -> (rule3 % int5))) -> (rule1 % int2))) -> (rule5 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is round.
("Gary" "is" "round" "+")
int5
((((triple9 ((triple7 triple10) -> (rule7 % int6)) triple7) -> (rule2 % int5)) ((((triple8 ((triple8 triple9) -> (rule3 % int4))) -> (rule6 % int3)) triple8 ((triple8 triple9) -> (rule3 % int4))) -> (rule1 % int2))) -> (rule5 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Gary is big.
("Gary" "is" "big" "+")
int5
Gary is young.
("Gary" "is" "young" "+")
int6
((((triple9 ((triple7 triple10) -> (rule7 % int6)) ((triple8 triple9) -> (rule3 % int5))) -> (rule2 % int4)) ((((triple8 ((triple8 triple9) -> (rule3 % int5))) -> (rule6 % int3)) triple8 triple7) -> (rule1 % int2))) -> (rule5 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is round.
("Gary" "is" "round" "+")
int5
Gary is young.
("Gary" "is" "young" "+")
int6
((((triple9 ((((triple8 triple9) -> (rule3 % int6)) triple10) -> (rule7 % int5)) triple7) -> (rule2 % int4)) ((((triple8 triple7) -> (rule6 % int3)) triple8 ((triple8 triple9) -> (rule3 % int6))) -> (rule1 % int2))) -> (rule5 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
int5
Gary is round.
("Gary" "is" "round" "+")
int6
((((triple9 ((((triple8 triple9) -> (rule3 % int6)) triple10) -> (rule7 % int5)) triple7) -> (rule2 % int4)) ((((triple8 ((triple8 triple9) -> (rule3 % int6))) -> (rule6 % int3)) triple8 triple7) -> (rule1 % int2))) -> (rule5 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
int5
Gary is round.
("Gary" "is" "round" "+")
int6
((((triple9 ((((triple8 triple9) -> (rule3 % int6)) triple10) -> (rule7 % int5)) ((triple8 triple9) -> (rule3 % int6))) -> (rule2 % int4)) ((((triple8 triple7) -> (rule6 % int3)) triple8 triple7) -> (rule1 % int2))) -> (rule5 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
int5
Gary is round.
("Gary" "is" "round" "+")
int6
((((triple9 ((triple7 triple10) -> (rule7 % int6)) ((triple8 triple9) -> (rule3 % int5))) -> (rule2 % int4)) ((((triple8 ((triple8 triple9) -> (rule3 % int5))) -> (rule6 % int3)) triple8 ((triple8 triple9) -> (rule3 % int5))) -> (rule1 % int2))) -> (rule5 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is round.
("Gary" "is" "round" "+")
int5
Gary is young.
("Gary" "is" "young" "+")
int6
((((triple9 ((((triple8 triple9) -> (rule3 % int6)) triple10) -> (rule7 % int5)) triple7) -> (rule2 % int4)) ((((triple8 ((triple8 triple9) -> (rule3 % int6))) -> (rule6 % int3)) triple8 ((triple8 triple9) -> (rule3 % int6))) -> (rule1 % int2))) -> (rule5 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
int5
Gary is round.
("Gary" "is" "round" "+")
int6
((((triple9 ((((triple8 triple9) -> (rule3 % int6)) triple10) -> (rule7 % int5)) ((triple8 triple9) -> (rule3 % int6))) -> (rule2 % int4)) ((((triple8 triple7) -> (rule6 % int3)) triple8 ((triple8 triple9) -> (rule3 % int6))) -> (rule1 % int2))) -> (rule5 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
int5
Gary is round.
("Gary" "is" "round" "+")
int6
((((triple9 ((((triple8 triple9) -> (rule3 % int6)) triple10) -> (rule7 % int5)) ((triple8 triple9) -> (rule3 % int6))) -> (rule2 % int4)) ((((triple8 ((triple8 triple9) -> (rule3 % int6))) -> (rule6 % int3)) triple8 triple7) -> (rule1 % int2))) -> (rule5 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
int5
Gary is round.
("Gary" "is" "round" "+")
int6
((((triple9 ((((triple8 triple9) -> (rule3 % int6)) triple10) -> (rule7 % int5)) ((triple8 triple9) -> (rule3 % int6))) -> (rule2 % int4)) ((((triple8 ((triple8 triple9) -> (rule3 % int6))) -> (rule6 % int3)) triple8 ((triple8 triple9) -> (rule3 % int6))) -> (rule1 % int2))) -> (rule5 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
int5
Gary is round.
("Gary" "is" "round" "+")
int6
Fred is not red.
Unknown
inv-rconc
[@1: Fred is red.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fred" "is" "red" "-")
Fred is big.
Unknown
rconc
[@1: Fred is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fred" "is" "big" "+")
Bob is not big.
Unknown
inv-rconc
[@1: Bob is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "big" "-")
Fred is round.
Unknown
rconc
[@1: Fred is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fred" "is" "round" "+")
Charlie is not nice.
Unknown
inv-random
[@0: Charlie is nice.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "nice" "-")
Fred is green.
Unknown
random
[@0: Fred is green.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "green" "+")
Bob is not cold.
Unknown
inv-random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "-")
Bob is nice.
Unknown
random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "+")
@0: Bob is round.[(triple2)] Bob is young.[(triple1)] Charlie is blue.[(triple5)] Charlie is green.[(triple4)] Charlie is round.[(triple3)] Gary is cold.[(triple10)] Gary is green.[(triple9)] Gary is nice.[(triple8)] Gary is round.[(triple7 OR ((triple8 triple9) -> rule3))] Gary is young.[(triple6 OR ((triple7 triple10) -> rule7) OR ((((triple8 triple9) -> rule3) triple10) -> rule7))] @1: Gary is big.[(((triple9 triple6 triple7) -> rule2) OR ((triple9 triple6 ((triple8 triple9) -> rule3)) -> rule2) OR ((triple9 ((triple7 triple10) -> rule7) triple7) -> rule2) OR ((triple9 ((triple7 triple10) -> rule7) ((triple8 triple9) -> rule3)) -> rule2) OR ((triple9 ((((triple8 triple9) -> rule3) triple10) -> rule7) triple7) -> rule2) OR ((triple9 ((((triple8 triple9) -> rule3) triple10) -> rule7) ((triple8 triple9) -> rule3)) -> rule2))] Gary is blue.[(((triple8 triple7) -> rule6) OR ((triple8 ((triple8 triple9) -> rule3)) -> rule6))] @2: Gary is red.[(((triple8 triple6 ((triple8 triple7) -> rule6)) -> rule4) OR ((triple8 ((triple7 triple10) -> rule7) ((triple8 triple7) -> rule6)) -> rule4) OR ((triple8 triple6 ((triple8 ((triple8 triple9) -> rule3)) -> rule6)) -> rule4) OR ((triple8 ((triple7 triple10) -> rule7) ((triple8 ((triple8 triple9) -> rule3)) -> rule6)) -> rule4) OR ((triple8 ((((triple8 triple9) -> rule3) triple10) -> rule7) ((triple8 triple7) -> rule6)) -> rule4) OR ((triple8 ((((triple8 triple9) -> rule3) triple10) -> rule7) ((triple8 ((triple8 triple9) -> rule3)) -> rule6)) -> rule4))] Gary is rough.[(((((triple8 triple7) -> rule6) triple8 triple7) -> rule1) OR ((((triple8 triple7) -> rule6) triple8 ((triple8 triple9) -> rule3)) -> rule1) OR ((((triple8 ((triple8 triple9) -> rule3)) -> rule6) triple8 triple7) -> rule1) OR ((((triple8 ((triple8 triple9) -> rule3)) -> rule6) triple8 ((triple8 triple9) -> rule3)) -> rule1))] @3: Gary is kind.[(((((triple9 triple6 triple7) -> rule2) ((((triple8 triple7) -> rule6) triple8 triple7) -> rule1)) -> rule5) OR ((((triple9 triple6 triple7) -> rule2) ((((triple8 triple7) -> rule6) triple8 ((triple8 triple9) -> rule3)) -> rule1)) -> rule5) OR ((((triple9 triple6 ((triple8 triple9) -> rule3)) -> rule2) ((((triple8 triple7) -> rule6) triple8 triple7) -> rule1)) -> rule5) OR ((((triple9 ((triple7 triple10) -> rule7) triple7) -> rule2) ((((triple8 triple7) -> rule6) triple8 triple7) -> rule1)) -> rule5) OR ((((triple9 triple6 ((triple8 triple9) -> rule3)) -> rule2) ((((triple8 triple7) -> rule6) triple8 ((triple8 triple9) -> rule3)) -> rule1)) -> rule5) OR ((((triple9 ((triple7 triple10) -> rule7) triple7) -> rule2) ((((triple8 triple7) -> rule6) triple8 ((triple8 triple9) -> rule3)) -> rule1)) -> rule5) OR ((((triple9 ((triple7 triple10) -> rule7) ((triple8 triple9) -> rule3)) -> rule2) ((((triple8 triple7) -> rule6) triple8 triple7) -> rule1)) -> rule5) OR ((((triple9 ((triple7 triple10) -> rule7) ((triple8 triple9) -> rule3)) -> rule2) ((((triple8 triple7) -> rule6) triple8 ((triple8 triple9) -> rule3)) -> rule1)) -> rule5) OR ((((triple9 triple6 triple7) -> rule2) ((((triple8 ((triple8 triple9) -> rule3)) -> rule6) triple8 triple7) -> rule1)) -> rule5) OR ((((triple9 triple6 triple7) -> rule2) ((((triple8 ((triple8 triple9) -> rule3)) -> rule6) triple8 ((triple8 triple9) -> rule3)) -> rule1)) -> rule5) OR ((((triple9 triple6 ((triple8 triple9) -> rule3)) -> rule2) ((((triple8 ((triple8 triple9) -> rule3)) -> rule6) triple8 triple7) -> rule1)) -> rule5) OR ((((triple9 ((triple7 triple10) -> rule7) triple7) -> rule2) ((((triple8 ((triple8 triple9) -> rule3)) -> rule6) triple8 triple7) -> rule1)) -> rule5) OR ((((triple9 ((((triple8 triple9) -> rule3) triple10) -> rule7) triple7) -> rule2) ((((triple8 triple7) -> rule6) triple8 triple7) -> rule1)) -> rule5) OR ((((triple9 triple6 ((triple8 triple9) -> rule3)) -> rule2) ((((triple8 ((triple8 triple9) -> rule3)) -> rule6) triple8 ((triple8 triple9) -> rule3)) -> rule1)) -> rule5) OR ((((triple9 ((triple7 triple10) -> rule7) triple7) -> rule2) ((((triple8 ((triple8 triple9) -> rule3)) -> rule6) triple8 ((triple8 triple9) -> rule3)) -> rule1)) -> rule5) OR ((((triple9 ((triple7 triple10) -> rule7) ((triple8 triple9) -> rule3)) -> rule2) ((((triple8 ((triple8 triple9) -> rule3)) -> rule6) triple8 triple7) -> rule1)) -> rule5) OR ((((triple9 ((((triple8 triple9) -> rule3) triple10) -> rule7) triple7) -> rule2) ((((triple8 triple7) -> rule6) triple8 ((triple8 triple9) -> rule3)) -> rule1)) -> rule5) OR ((((triple9 ((((triple8 triple9) -> rule3) triple10) -> rule7) triple7) -> rule2) ((((triple8 ((triple8 triple9) -> rule3)) -> rule6) triple8 triple7) -> rule1)) -> rule5) OR ((((triple9 ((((triple8 triple9) -> rule3) triple10) -> rule7) ((triple8 triple9) -> rule3)) -> rule2) ((((triple8 triple7) -> rule6) triple8 triple7) -> rule1)) -> rule5) OR ((((triple9 ((triple7 triple10) -> rule7) ((triple8 triple9) -> rule3)) -> rule2) ((((triple8 ((triple8 triple9) -> rule3)) -> rule6) triple8 ((triple8 triple9) -> rule3)) -> rule1)) -> rule5) OR ((((triple9 ((((triple8 triple9) -> rule3) triple10) -> rule7) triple7) -> rule2) ((((triple8 ((triple8 triple9) -> rule3)) -> rule6) triple8 ((triple8 triple9) -> rule3)) -> rule1)) -> rule5) OR ((((triple9 ((((triple8 triple9) -> rule3) triple10) -> rule7) ((triple8 triple9) -> rule3)) -> rule2) ((((triple8 triple7) -> rule6) triple8 ((triple8 triple9) -> rule3)) -> rule1)) -> rule5) OR ((((triple9 ((((triple8 triple9) -> rule3) triple10) -> rule7) ((triple8 triple9) -> rule3)) -> rule2) ((((triple8 ((triple8 triple9) -> rule3)) -> rule6) triple8 triple7) -> rule1)) -> rule5) OR ((((triple9 ((((triple8 triple9) -> rule3) triple10) -> rule7) ((triple8 triple9) -> rule3)) -> rule2) ((((triple8 ((triple8 triple9) -> rule3)) -> rule6) triple8 ((triple8 triple9) -> rule3)) -> rule1)) -> rule5))]
Bob is round.
("Bob" "is" "round" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple1
Charlie is blue.
("Charlie" "is" "blue" "+")
triple5
Charlie is green.
("Charlie" "is" "green" "+")
triple4
Charlie is round.
("Charlie" "is" "round" "+")
triple3
Gary is cold.
("Gary" "is" "cold" "+")
triple10
Gary is green.
("Gary" "is" "green" "+")
triple9
Gary is nice.
("Gary" "is" "nice" "+")
triple8
Gary is round.
("Gary" "is" "round" "+")
triple7
((triple8 triple9) -> (rule3 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
triple6
((triple7 triple10) -> (rule7 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
((((triple8 triple9) -> (rule3 % int2)) triple10) -> (rule7 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
((triple9 triple6 triple7) -> (rule2 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
((triple9 triple6 ((triple8 triple9) -> (rule3 % int2))) -> (rule2 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
((triple9 ((triple7 triple10) -> (rule7 % int2)) triple7) -> (rule2 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
((triple9 ((triple7 triple10) -> (rule7 % int3)) ((triple8 triple9) -> (rule3 % int2))) -> (rule2 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
((triple9 ((((triple8 triple9) -> (rule3 % int3)) triple10) -> (rule7 % int2)) triple7) -> (rule2 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
((triple9 ((((triple8 triple9) -> (rule3 % int3)) triple10) -> (rule7 % int2)) ((triple8 triple9) -> (rule3 % int3))) -> (rule2 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
((triple8 triple7) -> (rule6 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
((triple8 ((triple8 triple9) -> (rule3 % int2))) -> (rule6 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
((triple8 triple6 ((triple8 triple7) -> (rule6 % int2))) -> (rule4 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
((triple8 ((triple7 triple10) -> (rule7 % int3)) ((triple8 triple7) -> (rule6 % int2))) -> (rule4 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
((triple8 triple6 ((triple8 ((triple8 triple9) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
((triple8 ((triple7 triple10) -> (rule7 % int4)) ((triple8 ((triple8 triple9) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
((triple8 ((((triple8 triple9) -> (rule3 % int4)) triple10) -> (rule7 % int3)) ((triple8 triple7) -> (rule6 % int2))) -> (rule4 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
((triple8 ((((triple8 triple9) -> (rule3 % int4)) triple10) -> (rule7 % int3)) ((triple8 ((triple8 triple9) -> (rule3 % int4))) -> (rule6 % int2))) -> (rule4 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Gary is rough.
("Gary" "is" "rough" "+")
((((triple8 triple7) -> (rule6 % int2)) triple8 triple7) -> (rule1 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
((((triple8 triple7) -> (rule6 % int3)) triple8 ((triple8 triple9) -> (rule3 % int2))) -> (rule1 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
((((triple8 ((triple8 triple9) -> (rule3 % int3))) -> (rule6 % int2)) triple8 triple7) -> (rule1 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
((((triple8 ((triple8 triple9) -> (rule3 % int3))) -> (rule6 % int2)) triple8 ((triple8 triple9) -> (rule3 % int3))) -> (rule1 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
((((triple9 triple6 triple7) -> (rule2 % int4)) ((((triple8 triple7) -> (rule6 % int3)) triple8 triple7) -> (rule1 % int2))) -> (rule5 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
((((triple9 triple6 triple7) -> (rule2 % int5)) ((((triple8 triple7) -> (rule6 % int4)) triple8 ((triple8 triple9) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
Gary is big.
("Gary" "is" "big" "+")
int5
((((triple9 triple6 ((triple8 triple9) -> (rule3 % int5))) -> (rule2 % int4)) ((((triple8 triple7) -> (rule6 % int3)) triple8 triple7) -> (rule1 % int2))) -> (rule5 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is round.
("Gary" "is" "round" "+")
int5
((((triple9 ((triple7 triple10) -> (rule7 % int5)) triple7) -> (rule2 % int4)) ((((triple8 triple7) -> (rule6 % int3)) triple8 triple7) -> (rule1 % int2))) -> (rule5 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
int5
((((triple9 triple6 ((triple8 triple9) -> (rule3 % int5))) -> (rule2 % int4)) ((((triple8 triple7) -> (rule6 % int3)) triple8 ((triple8 triple9) -> (rule3 % int5))) -> (rule1 % int2))) -> (rule5 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is round.
("Gary" "is" "round" "+")
int5
((((triple9 ((triple7 triple10) -> (rule7 % int6)) triple7) -> (rule2 % int5)) ((((triple8 triple7) -> (rule6 % int4)) triple8 ((triple8 triple9) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
Gary is big.
("Gary" "is" "big" "+")
int5
Gary is young.
("Gary" "is" "young" "+")
int6
((((triple9 ((triple7 triple10) -> (rule7 % int6)) ((triple8 triple9) -> (rule3 % int5))) -> (rule2 % int4)) ((((triple8 triple7) -> (rule6 % int3)) triple8 triple7) -> (rule1 % int2))) -> (rule5 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is round.
("Gary" "is" "round" "+")
int5
Gary is young.
("Gary" "is" "young" "+")
int6
((((triple9 ((triple7 triple10) -> (rule7 % int6)) ((triple8 triple9) -> (rule3 % int5))) -> (rule2 % int4)) ((((triple8 triple7) -> (rule6 % int3)) triple8 ((triple8 triple9) -> (rule3 % int5))) -> (rule1 % int2))) -> (rule5 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is round.
("Gary" "is" "round" "+")
int5
Gary is young.
("Gary" "is" "young" "+")
int6
((((triple9 triple6 triple7) -> (rule2 % int5)) ((((triple8 ((triple8 triple9) -> (rule3 % int4))) -> (rule6 % int3)) triple8 triple7) -> (rule1 % int2))) -> (rule5 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Gary is big.
("Gary" "is" "big" "+")
int5
((((triple9 triple6 triple7) -> (rule2 % int5)) ((((triple8 ((triple8 triple9) -> (rule3 % int4))) -> (rule6 % int3)) triple8 ((triple8 triple9) -> (rule3 % int4))) -> (rule1 % int2))) -> (rule5 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Gary is big.
("Gary" "is" "big" "+")
int5
((((triple9 triple6 ((triple8 triple9) -> (rule3 % int5))) -> (rule2 % int4)) ((((triple8 ((triple8 triple9) -> (rule3 % int5))) -> (rule6 % int3)) triple8 triple7) -> (rule1 % int2))) -> (rule5 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is round.
("Gary" "is" "round" "+")
int5
((((triple9 ((triple7 triple10) -> (rule7 % int6)) triple7) -> (rule2 % int5)) ((((triple8 ((triple8 triple9) -> (rule3 % int4))) -> (rule6 % int3)) triple8 triple7) -> (rule1 % int2))) -> (rule5 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Gary is big.
("Gary" "is" "big" "+")
int5
Gary is young.
("Gary" "is" "young" "+")
int6
((((triple9 ((((triple8 triple9) -> (rule3 % int6)) triple10) -> (rule7 % int5)) triple7) -> (rule2 % int4)) ((((triple8 triple7) -> (rule6 % int3)) triple8 triple7) -> (rule1 % int2))) -> (rule5 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
int5
Gary is round.
("Gary" "is" "round" "+")
int6
((((triple9 triple6 ((triple8 triple9) -> (rule3 % int5))) -> (rule2 % int4)) ((((triple8 ((triple8 triple9) -> (rule3 % int5))) -> (rule6 % int3)) triple8 ((triple8 triple9) -> (rule3 % int5))) -> (rule1 % int2))) -> (rule5 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is round.
("Gary" "is" "round" "+")
int5
((((triple9 ((triple7 triple10) -> (rule7 % int6)) triple7) -> (rule2 % int5)) ((((triple8 ((triple8 triple9) -> (rule3 % int4))) -> (rule6 % int3)) triple8 ((triple8 triple9) -> (rule3 % int4))) -> (rule1 % int2))) -> (rule5 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Gary is big.
("Gary" "is" "big" "+")
int5
Gary is young.
("Gary" "is" "young" "+")
int6
((((triple9 ((triple7 triple10) -> (rule7 % int6)) ((triple8 triple9) -> (rule3 % int5))) -> (rule2 % int4)) ((((triple8 ((triple8 triple9) -> (rule3 % int5))) -> (rule6 % int3)) triple8 triple7) -> (rule1 % int2))) -> (rule5 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is round.
("Gary" "is" "round" "+")
int5
Gary is young.
("Gary" "is" "young" "+")
int6
((((triple9 ((((triple8 triple9) -> (rule3 % int6)) triple10) -> (rule7 % int5)) triple7) -> (rule2 % int4)) ((((triple8 triple7) -> (rule6 % int3)) triple8 ((triple8 triple9) -> (rule3 % int6))) -> (rule1 % int2))) -> (rule5 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
int5
Gary is round.
("Gary" "is" "round" "+")
int6
((((triple9 ((((triple8 triple9) -> (rule3 % int6)) triple10) -> (rule7 % int5)) triple7) -> (rule2 % int4)) ((((triple8 ((triple8 triple9) -> (rule3 % int6))) -> (rule6 % int3)) triple8 triple7) -> (rule1 % int2))) -> (rule5 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
int5
Gary is round.
("Gary" "is" "round" "+")
int6
((((triple9 ((((triple8 triple9) -> (rule3 % int6)) triple10) -> (rule7 % int5)) ((triple8 triple9) -> (rule3 % int6))) -> (rule2 % int4)) ((((triple8 triple7) -> (rule6 % int3)) triple8 triple7) -> (rule1 % int2))) -> (rule5 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
int5
Gary is round.
("Gary" "is" "round" "+")
int6
((((triple9 ((triple7 triple10) -> (rule7 % int6)) ((triple8 triple9) -> (rule3 % int5))) -> (rule2 % int4)) ((((triple8 ((triple8 triple9) -> (rule3 % int5))) -> (rule6 % int3)) triple8 ((triple8 triple9) -> (rule3 % int5))) -> (rule1 % int2))) -> (rule5 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is round.
("Gary" "is" "round" "+")
int5
Gary is young.
("Gary" "is" "young" "+")
int6
((((triple9 ((((triple8 triple9) -> (rule3 % int6)) triple10) -> (rule7 % int5)) triple7) -> (rule2 % int4)) ((((triple8 ((triple8 triple9) -> (rule3 % int6))) -> (rule6 % int3)) triple8 ((triple8 triple9) -> (rule3 % int6))) -> (rule1 % int2))) -> (rule5 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
int5
Gary is round.
("Gary" "is" "round" "+")
int6
((((triple9 ((((triple8 triple9) -> (rule3 % int6)) triple10) -> (rule7 % int5)) ((triple8 triple9) -> (rule3 % int6))) -> (rule2 % int4)) ((((triple8 triple7) -> (rule6 % int3)) triple8 ((triple8 triple9) -> (rule3 % int6))) -> (rule1 % int2))) -> (rule5 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
int5
Gary is round.
("Gary" "is" "round" "+")
int6
((((triple9 ((((triple8 triple9) -> (rule3 % int6)) triple10) -> (rule7 % int5)) ((triple8 triple9) -> (rule3 % int6))) -> (rule2 % int4)) ((((triple8 ((triple8 triple9) -> (rule3 % int6))) -> (rule6 % int3)) triple8 triple7) -> (rule1 % int2))) -> (rule5 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
int5
Gary is round.
("Gary" "is" "round" "+")
int6
((((triple9 ((((triple8 triple9) -> (rule3 % int6)) triple10) -> (rule7 % int5)) ((triple8 triple9) -> (rule3 % int6))) -> (rule2 % int4)) ((((triple8 ((triple8 triple9) -> (rule3 % int6))) -> (rule6 % int3)) triple8 ((triple8 triple9) -> (rule3 % int6))) -> (rule1 % int2))) -> (rule5 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
int5
Gary is round.
("Gary" "is" "round" "+")
int6
Bob is both young and fairly round in size.
Charlie was in a chemistry lab accident and turned blue and green which is even more obvious due to his round figure.
Young, round Gary is green and very cold, but also nice.
When you meet someone round, blue and nice they are as a rule rough.
Young, green round people are big.
A person who is nice and green with envy is round.
Every time I see a young blue nice person I know they are also red.
Someone big and rough in shape is always kind.
If a nice person is round shaped, they feel blue about it.
Someone who is round like a dumpling and cold like an icicle are very young in age.