Gary is big. Gary is green. Gary is nice. Gary is red. Gary is round. Gary is white. Gary is young. All young, big people are red. Big, red people are round. Round, big people are nice. If someone is round then they are big. All red people are nice. If Gary is green and Gary is nice then Gary is big. All nice, red people are white. White, big people are red.
Gary is big.
("Gary" "is" "big" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is white.
("Gary" "is" "white" "+")
Gary is young.
("Gary" "is" "young" "+")
All young, big people are red.
((("someone" "is" "young" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "red" "+"))
Big, red people are round.
((("someone" "is" "big" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
Round, big people are nice.
((("someone" "is" "round" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
If someone is round then they are big.
((("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
All red people are nice.
((("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
If Gary is green and Gary is nice then Gary is big.
((("Gary" "is" "green" "+") ("Gary" "is" "nice" "+")) -> ("Gary" "is" "big" "+"))
All nice, red people are white.
((("someone" "is" "nice" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "white" "+"))
White, big people are red.
((("someone" "is" "white" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "red" "+"))
Gary is nice.
True
1
proof
[(triple3 OR ((triple4) -> rule5) OR ((triple5 triple1) -> rule3) OR ((((triple6 triple1) -> rule8)) -> rule5) OR ((((triple7 triple1) -> rule1)) -> rule5) OR ((triple5 ((triple5) -> rule4)) -> rule3) OR ((((triple1 triple4) -> rule2) triple1) -> rule3) OR ((((triple1 triple4) -> rule2) ((triple5) -> rule4)) -> rule3) OR ((((triple6 ((triple5) -> rule4)) -> rule8)) -> rule5) OR ((((triple7 ((triple5) -> rule4)) -> rule1)) -> rule5) OR ((((triple1 ((triple6 triple1) -> rule8)) -> rule2) triple1) -> rule3) OR ((((triple1 ((triple7 triple1) -> rule1)) -> rule2) triple1) -> rule3) OR ((((triple1 ((triple6 triple1) -> rule8)) -> rule2) ((triple5) -> rule4)) -> rule3) OR ((((triple1 ((triple7 triple1) -> rule1)) -> rule2) ((triple5) -> rule4)) -> rule3))]
("Gary" "is" "nice" "+")
triple3
((triple4) -> (rule5 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
((triple5 triple1) -> (rule3 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
((((triple6 triple1) -> (rule8 % int2))) -> (rule5 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
((((triple7 triple1) -> (rule1 % int2))) -> (rule5 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
((triple5 ((triple5) -> (rule4 % int2))) -> (rule3 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
((((triple1 triple4) -> (rule2 % int2)) triple1) -> (rule3 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
((((triple1 triple4) -> (rule2 % int3)) ((triple5) -> (rule4 % int2))) -> (rule3 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
((((triple6 ((triple5) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
((((triple7 ((triple5) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
((((triple1 ((triple6 triple1) -> (rule8 % int3))) -> (rule2 % int2)) triple1) -> (rule3 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
((((triple1 ((triple7 triple1) -> (rule1 % int3))) -> (rule2 % int2)) triple1) -> (rule3 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
((((triple1 ((triple6 triple1) -> (rule8 % int4))) -> (rule2 % int3)) ((triple5) -> (rule4 % int2))) -> (rule3 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
((((triple1 ((triple7 triple1) -> (rule1 % int4))) -> (rule2 % int3)) ((triple5) -> (rule4 % int2))) -> (rule3 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is not white.
False
1
inv-proof
[(triple6 OR ((triple3 triple4) -> rule7) OR ((triple3 ((triple7 triple1) -> rule1)) -> rule7) OR ((((triple4) -> rule5) triple4) -> rule7) OR ((((triple5 triple1) -> rule3) triple4) -> rule7) OR ((((triple4) -> rule5) ((triple7 triple1) -> rule1)) -> rule7) OR ((((triple5 triple1) -> rule3) ((triple7 triple1) -> rule1)) -> rule7) OR ((triple3 ((triple7 ((triple5) -> rule4)) -> rule1)) -> rule7) OR ((triple3 ((triple7 ((triple2 triple3) -> rule6)) -> rule1)) -> rule7) OR ((((((triple7 triple1) -> rule1)) -> rule5) triple4) -> rule7) OR ((((triple5 ((triple5) -> rule4)) -> rule3) triple4) -> rule7) OR ((((((triple1 triple4) -> rule2) triple1) -> rule3) triple4) -> rule7) OR ((((triple4) -> rule5) ((triple7 ((triple5) -> rule4)) -> rule1)) -> rule7) OR ((((triple4) -> rule5) ((triple7 ((triple2 triple3) -> rule6)) -> rule1)) -> rule7) OR ((((((triple7 triple1) -> rule1)) -> rule5) ((triple7 triple1) -> rule1)) -> rule7) OR ((((triple5 triple1) -> rule3) ((triple7 ((triple5) -> rule4)) -> rule1)) -> rule7) OR ((((triple5 triple1) -> rule3) ((triple7 ((triple2 triple3) -> rule6)) -> rule1)) -> rule7) OR ((((triple5 ((triple5) -> rule4)) -> rule3) ((triple7 triple1) -> rule1)) -> rule7) OR ((((((triple1 triple4) -> rule2) triple1) -> rule3) ((triple7 triple1) -> rule1)) -> rule7) OR ((((((triple1 triple4) -> rule2) ((triple5) -> rule4)) -> rule3) triple4) -> rule7) OR ((((((triple7 triple1) -> rule1)) -> rule5) ((triple7 ((triple5) -> rule4)) -> rule1)) -> rule7) OR ((((((triple7 triple1) -> rule1)) -> rule5) ((triple7 ((triple2 triple3) -> rule6)) -> rule1)) -> rule7) OR ((((triple5 ((triple5) -> rule4)) -> rule3) ((triple7 ((triple5) -> rule4)) -> rule1)) -> rule7) OR ((((triple5 ((triple5) -> rule4)) -> rule3) ((triple7 ((triple2 triple3) -> rule6)) -> rule1)) -> rule7) OR ((((((triple1 triple4) -> rule2) triple1) -> rule3) ((triple7 ((triple5) -> rule4)) -> rule1)) -> rule7) OR ((((((triple1 triple4) -> rule2) triple1) -> rule3) ((triple7 ((triple2 triple3) -> rule6)) -> rule1)) -> rule7) OR ((((((triple1 triple4) -> rule2) ((triple5) -> rule4)) -> rule3) ((triple7 triple1) -> rule1)) -> rule7) OR ((((((triple1 triple4) -> rule2) ((triple5) -> rule4)) -> rule3) ((triple7 ((triple5) -> rule4)) -> rule1)) -> rule7) OR ((((((triple1 triple4) -> rule2) ((triple5) -> rule4)) -> rule3) ((triple7 ((triple2 triple3) -> rule6)) -> rule1)) -> rule7) OR ((((((triple7 ((triple5) -> rule4)) -> rule1)) -> rule5) triple4) -> rule7) OR ((((((triple1 ((triple7 triple1) -> rule1)) -> rule2) triple1) -> rule3) triple4) -> rule7) OR ((((((triple7 ((triple5) -> rule4)) -> rule1)) -> rule5) ((triple7 triple1) -> rule1)) -> rule7) OR ((((((triple1 ((triple7 triple1) -> rule1)) -> rule2) triple1) -> rule3) ((triple7 triple1) -> rule1)) -> rule7) OR ((((((triple1 ((triple7 triple1) -> rule1)) -> rule2) ((triple5) -> rule4)) -> rule3) triple4) -> rule7) OR ((((((triple7 ((triple5) -> rule4)) -> rule1)) -> rule5) ((triple7 ((triple5) -> rule4)) -> rule1)) -> rule7) OR ((((((triple7 ((triple5) -> rule4)) -> rule1)) -> rule5) ((triple7 ((triple2 triple3) -> rule6)) -> rule1)) -> rule7) OR ((((((triple1 ((triple7 triple1) -> rule1)) -> rule2) triple1) -> rule3) ((triple7 ((triple5) -> rule4)) -> rule1)) -> rule7) OR ((((((triple1 ((triple7 triple1) -> rule1)) -> rule2) triple1) -> rule3) ((triple7 ((triple2 triple3) -> rule6)) -> rule1)) -> rule7) OR ((((((triple1 ((triple7 triple1) -> rule1)) -> rule2) ((triple5) -> rule4)) -> rule3) ((triple7 triple1) -> rule1)) -> rule7) OR ((((((triple1 ((triple7 triple1) -> rule1)) -> rule2) ((triple5) -> rule4)) -> rule3) ((triple7 ((triple5) -> rule4)) -> rule1)) -> rule7) OR ((((((triple1 ((triple7 triple1) -> rule1)) -> rule2) ((triple5) -> rule4)) -> rule3) ((triple7 ((triple2 triple3) -> rule6)) -> rule1)) -> rule7))]
("Gary" "is" "white" "-")
triple6
((triple3 triple4) -> (rule7 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
((triple3 ((triple7 triple1) -> (rule1 % int2))) -> (rule7 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
((((triple4) -> (rule5 % int2)) triple4) -> (rule7 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
((((triple5 triple1) -> (rule3 % int2)) triple4) -> (rule7 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
((((triple4) -> (rule5 % int3)) ((triple7 triple1) -> (rule1 % int2))) -> (rule7 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
((((triple5 triple1) -> (rule3 % int3)) ((triple7 triple1) -> (rule1 % int2))) -> (rule7 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
((triple3 ((triple7 ((triple5) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
((triple3 ((triple7 ((triple2 triple3) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
((((((triple7 triple1) -> (rule1 % int3))) -> (rule5 % int2)) triple4) -> (rule7 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
((((triple5 ((triple5) -> (rule4 % int3))) -> (rule3 % int2)) triple4) -> (rule7 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
((((((triple1 triple4) -> (rule2 % int3)) triple1) -> (rule3 % int2)) triple4) -> (rule7 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
((((triple4) -> (rule5 % int4)) ((triple7 ((triple5) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
((((triple4) -> (rule5 % int4)) ((triple7 ((triple2 triple3) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
((((((triple7 triple1) -> (rule1 % int3))) -> (rule5 % int2)) ((triple7 triple1) -> (rule1 % int3))) -> (rule7 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
((((triple5 triple1) -> (rule3 % int4)) ((triple7 ((triple5) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
((((triple5 triple1) -> (rule3 % int4)) ((triple7 ((triple2 triple3) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
((((triple5 ((triple5) -> (rule4 % int4))) -> (rule3 % int3)) ((triple7 triple1) -> (rule1 % int2))) -> (rule7 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
((((((triple1 triple4) -> (rule2 % int4)) triple1) -> (rule3 % int3)) ((triple7 triple1) -> (rule1 % int2))) -> (rule7 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
((((((triple1 triple4) -> (rule2 % int4)) ((triple5) -> (rule4 % int3))) -> (rule3 % int2)) triple4) -> (rule7 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
((((((triple7 triple1) -> (rule1 % int4))) -> (rule5 % int3)) ((triple7 ((triple5) -> (rule4 % int2))) -> (rule1 % int4))) -> (rule7 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
((((((triple7 triple1) -> (rule1 % int4))) -> (rule5 % int3)) ((triple7 ((triple2 triple3) -> (rule6 % int2))) -> (rule1 % int4))) -> (rule7 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
((((triple5 ((triple5) -> (rule4 % int4))) -> (rule3 % int3)) ((triple7 ((triple5) -> (rule4 % int4))) -> (rule1 % int2))) -> (rule7 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
((((triple5 ((triple5) -> (rule4 % int4))) -> (rule3 % int3)) ((triple7 ((triple2 triple3) -> (rule6 % int4))) -> (rule1 % int2))) -> (rule7 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
((((((triple1 triple4) -> (rule2 % int5)) triple1) -> (rule3 % int4)) ((triple7 ((triple5) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is round.
("Gary" "is" "round" "+")
int5
((((((triple1 triple4) -> (rule2 % int5)) triple1) -> (rule3 % int4)) ((triple7 ((triple2 triple3) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is round.
("Gary" "is" "round" "+")
int5
((((((triple1 triple4) -> (rule2 % int5)) ((triple5) -> (rule4 % int4))) -> (rule3 % int3)) ((triple7 triple1) -> (rule1 % int2))) -> (rule7 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is round.
("Gary" "is" "round" "+")
int5
((((((triple1 triple4) -> (rule2 % int5)) ((triple5) -> (rule4 % int4))) -> (rule3 % int3)) ((triple7 ((triple5) -> (rule4 % int4))) -> (rule1 % int2))) -> (rule7 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is round.
("Gary" "is" "round" "+")
int5
((((((triple1 triple4) -> (rule2 % int5)) ((triple5) -> (rule4 % int4))) -> (rule3 % int3)) ((triple7 ((triple2 triple3) -> (rule6 % int4))) -> (rule1 % int2))) -> (rule7 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is round.
("Gary" "is" "round" "+")
int5
((((((triple7 ((triple5) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule5 % int2)) triple4) -> (rule7 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
((((((triple1 ((triple7 triple1) -> (rule1 % int4))) -> (rule2 % int3)) triple1) -> (rule3 % int2)) triple4) -> (rule7 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
((((((triple7 ((triple5) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule5 % int2)) ((triple7 triple1) -> (rule1 % int3))) -> (rule7 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
((((((triple1 ((triple7 triple1) -> (rule1 % int4))) -> (rule2 % int3)) triple1) -> (rule3 % int2)) ((triple7 triple1) -> (rule1 % int4))) -> (rule7 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
((((((triple1 ((triple7 triple1) -> (rule1 % int5))) -> (rule2 % int4)) ((triple5) -> (rule4 % int3))) -> (rule3 % int2)) triple4) -> (rule7 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((triple7 ((triple5) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule5 % int2)) ((triple7 ((triple5) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule7 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
((((((triple7 ((triple5) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule5 % int2)) ((triple7 ((triple2 triple3) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule7 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
((((((triple1 ((triple7 triple1) -> (rule1 % int5))) -> (rule2 % int4)) triple1) -> (rule3 % int3)) ((triple7 ((triple5) -> (rule4 % int2))) -> (rule1 % int5))) -> (rule7 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((triple1 ((triple7 triple1) -> (rule1 % int5))) -> (rule2 % int4)) triple1) -> (rule3 % int3)) ((triple7 ((triple2 triple3) -> (rule6 % int2))) -> (rule1 % int5))) -> (rule7 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((triple1 ((triple7 triple1) -> (rule1 % int5))) -> (rule2 % int4)) ((triple5) -> (rule4 % int3))) -> (rule3 % int2)) ((triple7 triple1) -> (rule1 % int5))) -> (rule7 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((triple1 ((triple7 triple1) -> (rule1 % int5))) -> (rule2 % int4)) ((triple5) -> (rule4 % int3))) -> (rule3 % int2)) ((triple7 ((triple5) -> (rule4 % int3))) -> (rule1 % int5))) -> (rule7 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((triple1 ((triple7 triple1) -> (rule1 % int5))) -> (rule2 % int4)) ((triple5) -> (rule4 % int3))) -> (rule3 % int2)) ((triple7 ((triple2 triple3) -> (rule6 % int3))) -> (rule1 % int5))) -> (rule7 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
@0: Gary is big.[(triple1 OR ((triple5) -> rule4) OR ((triple2 triple3) -> rule6) OR ((triple2 ((triple4) -> rule5)) -> rule6))] Gary is green.[(triple2)] Gary is nice.[(triple3 OR ((triple4) -> rule5) OR ((triple5 triple1) -> rule3) OR ((((triple6 triple1) -> rule8)) -> rule5) OR ((((triple7 triple1) -> rule1)) -> rule5) OR ((triple5 ((triple5) -> rule4)) -> rule3) OR ((((triple1 triple4) -> rule2) triple1) -> rule3) OR ((((triple1 triple4) -> rule2) ((triple5) -> rule4)) -> rule3) OR ((((triple6 ((triple5) -> rule4)) -> rule8)) -> rule5) OR ((((triple7 ((triple5) -> rule4)) -> rule1)) -> rule5) OR ((((triple1 ((triple6 triple1) -> rule8)) -> rule2) triple1) -> rule3) OR ((((triple1 ((triple7 triple1) -> rule1)) -> rule2) triple1) -> rule3) OR ((((triple1 ((triple6 triple1) -> rule8)) -> rule2) ((triple5) -> rule4)) -> rule3) OR ((((triple1 ((triple7 triple1) -> rule1)) -> rule2) ((triple5) -> rule4)) -> rule3))] Gary is red.[(triple4 OR ((triple6 triple1) -> rule8) OR ((triple7 triple1) -> rule1) OR ((triple6 ((triple5) -> rule4)) -> rule8) OR ((triple6 ((triple2 triple3) -> rule6)) -> rule8) OR ((triple7 ((triple5) -> rule4)) -> rule1) OR ((triple7 ((triple2 triple3) -> rule6)) -> rule1))] Gary is round.[(triple5 OR ((triple1 triple4) -> rule2) OR ((triple1 ((triple6 triple1) -> rule8)) -> rule2) OR ((triple1 ((triple7 triple1) -> rule1)) -> rule2) OR ((((triple2 triple3) -> rule6) triple4) -> rule2) OR ((((triple2 triple3) -> rule6) ((triple6 triple1) -> rule8)) -> rule2) OR ((((triple2 triple3) -> rule6) ((triple7 triple1) -> rule1)) -> rule2) OR ((triple1 ((triple6 ((triple2 triple3) -> rule6)) -> rule8)) -> rule2) OR ((triple1 ((triple7 ((triple2 triple3) -> rule6)) -> rule1)) -> rule2) OR ((((triple2 ((triple4) -> rule5)) -> rule6) triple4) -> rule2) OR ((((triple2 triple3) -> rule6) ((triple6 ((triple2 triple3) -> rule6)) -> rule8)) -> rule2) OR ((((triple2 triple3) -> rule6) ((triple7 ((triple2 triple3) -> rule6)) -> rule1)) -> rule2) OR ((((triple2 ((triple4) -> rule5)) -> rule6) ((triple6 triple1) -> rule8)) -> rule2) OR ((((triple2 ((triple4) -> rule5)) -> rule6) ((triple7 triple1) -> rule1)) -> rule2) OR ((((triple2 ((triple4) -> rule5)) -> rule6) ((triple6 ((triple2 triple3) -> rule6)) -> rule8)) -> rule2) OR ((((triple2 ((triple4) -> rule5)) -> rule6) ((triple7 ((triple2 triple3) -> rule6)) -> rule1)) -> rule2))] Gary is white.[(triple6 OR ((triple3 triple4) -> rule7) OR ((triple3 ((triple7 triple1) -> rule1)) -> rule7) OR ((((triple4) -> rule5) triple4) -> rule7) OR ((((triple5 triple1) -> rule3) triple4) -> rule7) OR ((((triple4) -> rule5) ((triple7 triple1) -> rule1)) -> rule7) OR ((((triple5 triple1) -> rule3) ((triple7 triple1) -> rule1)) -> rule7) OR ((triple3 ((triple7 ((triple5) -> rule4)) -> rule1)) -> rule7) OR ((triple3 ((triple7 ((triple2 triple3) -> rule6)) -> rule1)) -> rule7) OR ((((((triple7 triple1) -> rule1)) -> rule5) triple4) -> rule7) OR ((((triple5 ((triple5) -> rule4)) -> rule3) triple4) -> rule7) OR ((((((triple1 triple4) -> rule2) triple1) -> rule3) triple4) -> rule7) OR ((((triple4) -> rule5) ((triple7 ((triple5) -> rule4)) -> rule1)) -> rule7) OR ((((triple4) -> rule5) ((triple7 ((triple2 triple3) -> rule6)) -> rule1)) -> rule7) OR ((((((triple7 triple1) -> rule1)) -> rule5) ((triple7 triple1) -> rule1)) -> rule7) OR ((((triple5 triple1) -> rule3) ((triple7 ((triple5) -> rule4)) -> rule1)) -> rule7) OR ((((triple5 triple1) -> rule3) ((triple7 ((triple2 triple3) -> rule6)) -> rule1)) -> rule7) OR ((((triple5 ((triple5) -> rule4)) -> rule3) ((triple7 triple1) -> rule1)) -> rule7) OR ((((((triple1 triple4) -> rule2) triple1) -> rule3) ((triple7 triple1) -> rule1)) -> rule7) OR ((((((triple1 triple4) -> rule2) ((triple5) -> rule4)) -> rule3) triple4) -> rule7) OR ((((((triple7 triple1) -> rule1)) -> rule5) ((triple7 ((triple5) -> rule4)) -> rule1)) -> rule7) OR ((((((triple7 triple1) -> rule1)) -> rule5) ((triple7 ((triple2 triple3) -> rule6)) -> rule1)) -> rule7) OR ((((triple5 ((triple5) -> rule4)) -> rule3) ((triple7 ((triple5) -> rule4)) -> rule1)) -> rule7) OR ((((triple5 ((triple5) -> rule4)) -> rule3) ((triple7 ((triple2 triple3) -> rule6)) -> rule1)) -> rule7) OR ((((((triple1 triple4) -> rule2) triple1) -> rule3) ((triple7 ((triple5) -> rule4)) -> rule1)) -> rule7) OR ((((((triple1 triple4) -> rule2) triple1) -> rule3) ((triple7 ((triple2 triple3) -> rule6)) -> rule1)) -> rule7) OR ((((((triple1 triple4) -> rule2) ((triple5) -> rule4)) -> rule3) ((triple7 triple1) -> rule1)) -> rule7) OR ((((((triple1 triple4) -> rule2) ((triple5) -> rule4)) -> rule3) ((triple7 ((triple5) -> rule4)) -> rule1)) -> rule7) OR ((((((triple1 triple4) -> rule2) ((triple5) -> rule4)) -> rule3) ((triple7 ((triple2 triple3) -> rule6)) -> rule1)) -> rule7) OR ((((((triple7 ((triple5) -> rule4)) -> rule1)) -> rule5) triple4) -> rule7) OR ((((((triple1 ((triple7 triple1) -> rule1)) -> rule2) triple1) -> rule3) triple4) -> rule7) OR ((((((triple7 ((triple5) -> rule4)) -> rule1)) -> rule5) ((triple7 triple1) -> rule1)) -> rule7) OR ((((((triple1 ((triple7 triple1) -> rule1)) -> rule2) triple1) -> rule3) ((triple7 triple1) -> rule1)) -> rule7) OR ((((((triple1 ((triple7 triple1) -> rule1)) -> rule2) ((triple5) -> rule4)) -> rule3) triple4) -> rule7) OR ((((((triple7 ((triple5) -> rule4)) -> rule1)) -> rule5) ((triple7 ((triple5) -> rule4)) -> rule1)) -> rule7) OR ((((((triple7 ((triple5) -> rule4)) -> rule1)) -> rule5) ((triple7 ((triple2 triple3) -> rule6)) -> rule1)) -> rule7) OR ((((((triple1 ((triple7 triple1) -> rule1)) -> rule2) triple1) -> rule3) ((triple7 ((triple5) -> rule4)) -> rule1)) -> rule7) OR ((((((triple1 ((triple7 triple1) -> rule1)) -> rule2) triple1) -> rule3) ((triple7 ((triple2 triple3) -> rule6)) -> rule1)) -> rule7) OR ((((((triple1 ((triple7 triple1) -> rule1)) -> rule2) ((triple5) -> rule4)) -> rule3) ((triple7 triple1) -> rule1)) -> rule7) OR ((((((triple1 ((triple7 triple1) -> rule1)) -> rule2) ((triple5) -> rule4)) -> rule3) ((triple7 ((triple5) -> rule4)) -> rule1)) -> rule7) OR ((((((triple1 ((triple7 triple1) -> rule1)) -> rule2) ((triple5) -> rule4)) -> rule3) ((triple7 ((triple2 triple3) -> rule6)) -> rule1)) -> rule7))] Gary is young.[(triple7)]
Gary is big.
("Gary" "is" "big" "+")
triple1
((triple5) -> (rule4 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
((triple2 triple3) -> (rule6 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
((triple2 ((triple4) -> (rule5 % int2))) -> (rule6 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
triple2
Gary is nice.
("Gary" "is" "nice" "+")
triple3
((triple4) -> (rule5 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
((triple5 triple1) -> (rule3 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
((((triple6 triple1) -> (rule8 % int2))) -> (rule5 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
((((triple7 triple1) -> (rule1 % int2))) -> (rule5 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
((triple5 ((triple5) -> (rule4 % int2))) -> (rule3 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
((((triple1 triple4) -> (rule2 % int2)) triple1) -> (rule3 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
((((triple1 triple4) -> (rule2 % int3)) ((triple5) -> (rule4 % int2))) -> (rule3 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
((((triple6 ((triple5) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
((((triple7 ((triple5) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
((((triple1 ((triple6 triple1) -> (rule8 % int3))) -> (rule2 % int2)) triple1) -> (rule3 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
((((triple1 ((triple7 triple1) -> (rule1 % int3))) -> (rule2 % int2)) triple1) -> (rule3 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
((((triple1 ((triple6 triple1) -> (rule8 % int4))) -> (rule2 % int3)) ((triple5) -> (rule4 % int2))) -> (rule3 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
((((triple1 ((triple7 triple1) -> (rule1 % int4))) -> (rule2 % int3)) ((triple5) -> (rule4 % int2))) -> (rule3 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
triple4
((triple6 triple1) -> (rule8 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
((triple7 triple1) -> (rule1 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
((triple6 ((triple5) -> (rule4 % int2))) -> (rule8 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
((triple6 ((triple2 triple3) -> (rule6 % int2))) -> (rule8 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
((triple7 ((triple5) -> (rule4 % int2))) -> (rule1 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
((triple7 ((triple2 triple3) -> (rule6 % int2))) -> (rule1 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
triple5
((triple1 triple4) -> (rule2 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
((triple1 ((triple6 triple1) -> (rule8 % int2))) -> (rule2 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
((triple1 ((triple7 triple1) -> (rule1 % int2))) -> (rule2 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
((((triple2 triple3) -> (rule6 % int2)) triple4) -> (rule2 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
((((triple2 triple3) -> (rule6 % int3)) ((triple6 triple1) -> (rule8 % int2))) -> (rule2 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
((((triple2 triple3) -> (rule6 % int3)) ((triple7 triple1) -> (rule1 % int2))) -> (rule2 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
((triple1 ((triple6 ((triple2 triple3) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
((triple1 ((triple7 ((triple2 triple3) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
((((triple2 ((triple4) -> (rule5 % int3))) -> (rule6 % int2)) triple4) -> (rule2 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
((((triple2 triple3) -> (rule6 % int3)) ((triple6 ((triple2 triple3) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
((((triple2 triple3) -> (rule6 % int3)) ((triple7 ((triple2 triple3) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
((((triple2 ((triple4) -> (rule5 % int4))) -> (rule6 % int3)) ((triple6 triple1) -> (rule8 % int2))) -> (rule2 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
((((triple2 ((triple4) -> (rule5 % int4))) -> (rule6 % int3)) ((triple7 triple1) -> (rule1 % int2))) -> (rule2 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
((((triple2 ((triple4) -> (rule5 % int4))) -> (rule6 % int3)) ((triple6 ((triple2 triple3) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
((((triple2 ((triple4) -> (rule5 % int4))) -> (rule6 % int3)) ((triple7 ((triple2 triple3) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is white.
("Gary" "is" "white" "+")
triple6
((triple3 triple4) -> (rule7 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
((triple3 ((triple7 triple1) -> (rule1 % int2))) -> (rule7 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
((((triple4) -> (rule5 % int2)) triple4) -> (rule7 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
((((triple5 triple1) -> (rule3 % int2)) triple4) -> (rule7 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
((((triple4) -> (rule5 % int3)) ((triple7 triple1) -> (rule1 % int2))) -> (rule7 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
((((triple5 triple1) -> (rule3 % int3)) ((triple7 triple1) -> (rule1 % int2))) -> (rule7 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
((triple3 ((triple7 ((triple5) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
((triple3 ((triple7 ((triple2 triple3) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
((((((triple7 triple1) -> (rule1 % int3))) -> (rule5 % int2)) triple4) -> (rule7 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
((((triple5 ((triple5) -> (rule4 % int3))) -> (rule3 % int2)) triple4) -> (rule7 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
((((((triple1 triple4) -> (rule2 % int3)) triple1) -> (rule3 % int2)) triple4) -> (rule7 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
((((triple4) -> (rule5 % int4)) ((triple7 ((triple5) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
((((triple4) -> (rule5 % int4)) ((triple7 ((triple2 triple3) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
((((((triple7 triple1) -> (rule1 % int3))) -> (rule5 % int2)) ((triple7 triple1) -> (rule1 % int3))) -> (rule7 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
((((triple5 triple1) -> (rule3 % int4)) ((triple7 ((triple5) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
((((triple5 triple1) -> (rule3 % int4)) ((triple7 ((triple2 triple3) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
((((triple5 ((triple5) -> (rule4 % int4))) -> (rule3 % int3)) ((triple7 triple1) -> (rule1 % int2))) -> (rule7 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
((((((triple1 triple4) -> (rule2 % int4)) triple1) -> (rule3 % int3)) ((triple7 triple1) -> (rule1 % int2))) -> (rule7 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
((((((triple1 triple4) -> (rule2 % int4)) ((triple5) -> (rule4 % int3))) -> (rule3 % int2)) triple4) -> (rule7 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
((((((triple7 triple1) -> (rule1 % int4))) -> (rule5 % int3)) ((triple7 ((triple5) -> (rule4 % int2))) -> (rule1 % int4))) -> (rule7 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
((((((triple7 triple1) -> (rule1 % int4))) -> (rule5 % int3)) ((triple7 ((triple2 triple3) -> (rule6 % int2))) -> (rule1 % int4))) -> (rule7 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
((((triple5 ((triple5) -> (rule4 % int4))) -> (rule3 % int3)) ((triple7 ((triple5) -> (rule4 % int4))) -> (rule1 % int2))) -> (rule7 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
((((triple5 ((triple5) -> (rule4 % int4))) -> (rule3 % int3)) ((triple7 ((triple2 triple3) -> (rule6 % int4))) -> (rule1 % int2))) -> (rule7 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
((((((triple1 triple4) -> (rule2 % int5)) triple1) -> (rule3 % int4)) ((triple7 ((triple5) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is round.
("Gary" "is" "round" "+")
int5
((((((triple1 triple4) -> (rule2 % int5)) triple1) -> (rule3 % int4)) ((triple7 ((triple2 triple3) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is round.
("Gary" "is" "round" "+")
int5
((((((triple1 triple4) -> (rule2 % int5)) ((triple5) -> (rule4 % int4))) -> (rule3 % int3)) ((triple7 triple1) -> (rule1 % int2))) -> (rule7 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is round.
("Gary" "is" "round" "+")
int5
((((((triple1 triple4) -> (rule2 % int5)) ((triple5) -> (rule4 % int4))) -> (rule3 % int3)) ((triple7 ((triple5) -> (rule4 % int4))) -> (rule1 % int2))) -> (rule7 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is round.
("Gary" "is" "round" "+")
int5
((((((triple1 triple4) -> (rule2 % int5)) ((triple5) -> (rule4 % int4))) -> (rule3 % int3)) ((triple7 ((triple2 triple3) -> (rule6 % int4))) -> (rule1 % int2))) -> (rule7 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is round.
("Gary" "is" "round" "+")
int5
((((((triple7 ((triple5) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule5 % int2)) triple4) -> (rule7 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
((((((triple1 ((triple7 triple1) -> (rule1 % int4))) -> (rule2 % int3)) triple1) -> (rule3 % int2)) triple4) -> (rule7 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
((((((triple7 ((triple5) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule5 % int2)) ((triple7 triple1) -> (rule1 % int3))) -> (rule7 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
((((((triple1 ((triple7 triple1) -> (rule1 % int4))) -> (rule2 % int3)) triple1) -> (rule3 % int2)) ((triple7 triple1) -> (rule1 % int4))) -> (rule7 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
((((((triple1 ((triple7 triple1) -> (rule1 % int5))) -> (rule2 % int4)) ((triple5) -> (rule4 % int3))) -> (rule3 % int2)) triple4) -> (rule7 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((triple7 ((triple5) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule5 % int2)) ((triple7 ((triple5) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule7 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
((((((triple7 ((triple5) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule5 % int2)) ((triple7 ((triple2 triple3) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule7 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
((((((triple1 ((triple7 triple1) -> (rule1 % int5))) -> (rule2 % int4)) triple1) -> (rule3 % int3)) ((triple7 ((triple5) -> (rule4 % int2))) -> (rule1 % int5))) -> (rule7 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((triple1 ((triple7 triple1) -> (rule1 % int5))) -> (rule2 % int4)) triple1) -> (rule3 % int3)) ((triple7 ((triple2 triple3) -> (rule6 % int2))) -> (rule1 % int5))) -> (rule7 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((triple1 ((triple7 triple1) -> (rule1 % int5))) -> (rule2 % int4)) ((triple5) -> (rule4 % int3))) -> (rule3 % int2)) ((triple7 triple1) -> (rule1 % int5))) -> (rule7 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((triple1 ((triple7 triple1) -> (rule1 % int5))) -> (rule2 % int4)) ((triple5) -> (rule4 % int3))) -> (rule3 % int2)) ((triple7 ((triple5) -> (rule4 % int3))) -> (rule1 % int5))) -> (rule7 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((triple1 ((triple7 triple1) -> (rule1 % int5))) -> (rule2 % int4)) ((triple5) -> (rule4 % int3))) -> (rule3 % int2)) ((triple7 ((triple2 triple3) -> (rule6 % int3))) -> (rule1 % int5))) -> (rule7 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
Gary is young.
("Gary" "is" "young" "+")
triple7