Bob is big. Bob is blue. Bob is green. Bob is kind. Bob is nice. Bob is quiet. Bob is red. Gary is big. Gary is blue. Gary is green. Gary is nice. Gary is quiet. If Bob is kind then Bob is nice. Red things are blue. If something is green and quiet then it is nice. If something is red and nice then it is kind. All blue, big things are red. If something is blue and nice then it is big. Kind things are blue. All nice, kind things are quiet.
Bob is big.
("Bob" "is" "big" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is red.
("Bob" "is" "red" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
If Bob is kind then Bob is nice.
((("Bob" "is" "kind" "+")) -> ("Bob" "is" "nice" "+"))
Red things are blue.
((("something" "is" "red" "+")) -> ("something" "is" "blue" "+"))
If something is green and quiet then it is nice.
((("something" "is" "green" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "nice" "+"))
If something is red and nice then it is kind.
((("something" "is" "red" "+") ("something" "is" "nice" "+")) -> ("something" "is" "kind" "+"))
All blue, big things are red.
((("something" "is" "blue" "+") ("something" "is" "big" "+")) -> ("something" "is" "red" "+"))
If something is blue and nice then it is big.
((("something" "is" "blue" "+") ("something" "is" "nice" "+")) -> ("something" "is" "big" "+"))
Kind things are blue.
((("something" "is" "kind" "+")) -> ("something" "is" "blue" "+"))
All nice, kind things are quiet.
((("something" "is" "nice" "+") ("something" "is" "kind" "+")) -> ("something" "is" "quiet" "+"))
Bob is nice.
True
1
proof
[(triple5 OR ((triple4) -> rule1) OR ((triple3 triple6) -> rule3))]
("Bob" "is" "nice" "+")
triple5
((triple4) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
((triple3 triple6) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is not big.
False
1
inv-proof
[(triple1 OR ((triple2 triple5) -> rule6) OR ((triple2 ((triple4) -> rule1)) -> rule6) OR ((triple2 ((triple3 triple6) -> rule3)) -> rule6) OR ((((triple4) -> rule7) triple5) -> rule6) OR ((((triple7) -> rule2) triple5) -> rule6) OR ((((triple4) -> rule7) ((triple4) -> rule1)) -> rule6) OR ((((triple4) -> rule7) ((triple3 triple6) -> rule3)) -> rule6) OR ((((triple7) -> rule2) ((triple4) -> rule1)) -> rule6) OR ((((triple7) -> rule2) ((triple3 triple6) -> rule3)) -> rule6) OR ((((((triple7 triple5) -> rule4)) -> rule7) triple5) -> rule6) OR ((((((triple7 triple5) -> rule4)) -> rule7) ((triple4) -> rule1)) -> rule6) OR ((((((triple7 triple5) -> rule4)) -> rule7) ((triple3 triple6) -> rule3)) -> rule6) OR ((((((triple7 ((triple3 triple6) -> rule3)) -> rule4)) -> rule7) triple5) -> rule6) OR ((((((triple7 ((triple3 triple6) -> rule3)) -> rule4)) -> rule7) ((triple4) -> rule1)) -> rule6) OR ((((((triple7 ((triple3 triple6) -> rule3)) -> rule4)) -> rule7) ((triple3 triple6) -> rule3)) -> rule6))]
("Bob" "is" "big" "-")
triple1
((triple2 triple5) -> (rule6 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
((triple2 ((triple4) -> (rule1 % int2))) -> (rule6 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
((triple2 ((triple3 triple6) -> (rule3 % int2))) -> (rule6 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
((((triple4) -> (rule7 % int2)) triple5) -> (rule6 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
((((triple7) -> (rule2 % int2)) triple5) -> (rule6 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
((((triple4) -> (rule7 % int3)) ((triple4) -> (rule1 % int2))) -> (rule6 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
((((triple4) -> (rule7 % int3)) ((triple3 triple6) -> (rule3 % int2))) -> (rule6 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
((((triple7) -> (rule2 % int3)) ((triple4) -> (rule1 % int2))) -> (rule6 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
((((triple7) -> (rule2 % int3)) ((triple3 triple6) -> (rule3 % int2))) -> (rule6 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
((((((triple7 triple5) -> (rule4 % int3))) -> (rule7 % int2)) triple5) -> (rule6 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
((((((triple7 triple5) -> (rule4 % int4))) -> (rule7 % int3)) ((triple4) -> (rule1 % int2))) -> (rule6 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
((((((triple7 triple5) -> (rule4 % int4))) -> (rule7 % int3)) ((triple3 triple6) -> (rule3 % int2))) -> (rule6 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
((((((triple7 ((triple3 triple6) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule7 % int2)) triple5) -> (rule6 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
((((((triple7 ((triple3 triple6) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule7 % int2)) ((triple4) -> (rule1 % int4))) -> (rule6 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
((((((triple7 ((triple3 triple6) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule7 % int2)) ((triple3 triple6) -> (rule3 % int4))) -> (rule6 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Gary is red.
True
3
proof
[(((triple9 triple8) -> rule5) OR ((triple9 ((triple9 triple11) -> rule6)) -> rule5) OR ((triple9 ((triple9 ((triple10 triple12) -> rule3)) -> rule6)) -> rule5))]
("Gary" "is" "red" "+")
((triple9 triple8) -> (rule5 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
((triple9 ((triple9 triple11) -> (rule6 % int2))) -> (rule5 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
((triple9 ((triple9 ((triple10 triple12) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is not red.
False
3
inv-proof
[(((triple9 triple8) -> rule5) OR ((triple9 ((triple9 triple11) -> rule6)) -> rule5) OR ((triple9 ((triple9 ((triple10 triple12) -> rule3)) -> rule6)) -> rule5))]
("Gary" "is" "red" "-")
((triple9 triple8) -> (rule5 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
((triple9 ((triple9 triple11) -> (rule6 % int2))) -> (rule5 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
((triple9 ((triple9 ((triple10 triple12) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is kind.
True
5
proof
[(((((triple9 triple8) -> rule5) triple11) -> rule4) OR ((((triple9 triple8) -> rule5) ((triple10 triple12) -> rule3)) -> rule4) OR ((((triple9 ((triple9 triple11) -> rule6)) -> rule5) triple11) -> rule4) OR ((((triple9 ((triple9 triple11) -> rule6)) -> rule5) ((triple10 triple12) -> rule3)) -> rule4) OR ((((triple9 ((triple9 ((triple10 triple12) -> rule3)) -> rule6)) -> rule5) triple11) -> rule4) OR ((((triple9 ((triple9 ((triple10 triple12) -> rule3)) -> rule6)) -> rule5) ((triple10 triple12) -> rule3)) -> rule4))]
("Gary" "is" "kind" "+")
((((triple9 triple8) -> (rule5 % int2)) triple11) -> (rule4 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
((((triple9 triple8) -> (rule5 % int3)) ((triple10 triple12) -> (rule3 % int2))) -> (rule4 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
((((triple9 ((triple9 triple11) -> (rule6 % int3))) -> (rule5 % int2)) triple11) -> (rule4 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
((((triple9 ((triple9 triple11) -> (rule6 % int4))) -> (rule5 % int3)) ((triple10 triple12) -> (rule3 % int2))) -> (rule4 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
((((triple9 ((triple9 ((triple10 triple12) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule5 % int2)) triple11) -> (rule4 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
((((triple9 ((triple9 ((triple10 triple12) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule5 % int2)) ((triple10 triple12) -> (rule3 % int4))) -> (rule4 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is not kind.
False
5
inv-proof
[(((((triple9 triple8) -> rule5) triple11) -> rule4) OR ((((triple9 triple8) -> rule5) ((triple10 triple12) -> rule3)) -> rule4) OR ((((triple9 ((triple9 triple11) -> rule6)) -> rule5) triple11) -> rule4) OR ((((triple9 ((triple9 triple11) -> rule6)) -> rule5) ((triple10 triple12) -> rule3)) -> rule4) OR ((((triple9 ((triple9 ((triple10 triple12) -> rule3)) -> rule6)) -> rule5) triple11) -> rule4) OR ((((triple9 ((triple9 ((triple10 triple12) -> rule3)) -> rule6)) -> rule5) ((triple10 triple12) -> rule3)) -> rule4))]
("Gary" "is" "kind" "-")
((((triple9 triple8) -> (rule5 % int2)) triple11) -> (rule4 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
((((triple9 triple8) -> (rule5 % int3)) ((triple10 triple12) -> (rule3 % int2))) -> (rule4 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
((((triple9 ((triple9 triple11) -> (rule6 % int3))) -> (rule5 % int2)) triple11) -> (rule4 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
((((triple9 ((triple9 triple11) -> (rule6 % int4))) -> (rule5 % int3)) ((triple10 triple12) -> (rule3 % int2))) -> (rule4 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
((((triple9 ((triple9 ((triple10 triple12) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule5 % int2)) triple11) -> (rule4 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
((((triple9 ((triple9 ((triple10 triple12) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule5 % int2)) ((triple10 triple12) -> (rule3 % int4))) -> (rule4 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
@0: Bob is big.[(triple1 OR ((triple2 triple5) -> rule6) OR ((triple2 ((triple4) -> rule1)) -> rule6) OR ((triple2 ((triple3 triple6) -> rule3)) -> rule6) OR ((((triple4) -> rule7) triple5) -> rule6) OR ((((triple7) -> rule2) triple5) -> rule6) OR ((((triple4) -> rule7) ((triple4) -> rule1)) -> rule6) OR ((((triple4) -> rule7) ((triple3 triple6) -> rule3)) -> rule6) OR ((((triple7) -> rule2) ((triple4) -> rule1)) -> rule6) OR ((((triple7) -> rule2) ((triple3 triple6) -> rule3)) -> rule6) OR ((((((triple7 triple5) -> rule4)) -> rule7) triple5) -> rule6) OR ((((((triple7 triple5) -> rule4)) -> rule7) ((triple4) -> rule1)) -> rule6) OR ((((((triple7 triple5) -> rule4)) -> rule7) ((triple3 triple6) -> rule3)) -> rule6) OR ((((((triple7 ((triple3 triple6) -> rule3)) -> rule4)) -> rule7) triple5) -> rule6) OR ((((((triple7 ((triple3 triple6) -> rule3)) -> rule4)) -> rule7) ((triple4) -> rule1)) -> rule6) OR ((((((triple7 ((triple3 triple6) -> rule3)) -> rule4)) -> rule7) ((triple3 triple6) -> rule3)) -> rule6))] Bob is blue.[(triple2 OR ((triple4) -> rule7) OR ((triple7) -> rule2) OR ((((triple7 triple5) -> rule4)) -> rule7) OR ((((triple7 ((triple3 triple6) -> rule3)) -> rule4)) -> rule7))] Bob is green.[(triple3)] Bob is kind.[(triple4 OR ((triple7 triple5) -> rule4) OR ((triple7 ((triple3 triple6) -> rule3)) -> rule4) OR ((((triple2 triple1) -> rule5) triple5) -> rule4) OR ((((triple2 triple1) -> rule5) ((triple3 triple6) -> rule3)) -> rule4) OR ((((triple2 ((triple2 triple5) -> rule6)) -> rule5) triple5) -> rule4) OR ((((triple2 ((triple2 triple5) -> rule6)) -> rule5) ((triple3 triple6) -> rule3)) -> rule4) OR ((((triple2 ((triple2 ((triple3 triple6) -> rule3)) -> rule6)) -> rule5) triple5) -> rule4) OR ((((triple2 ((triple2 ((triple3 triple6) -> rule3)) -> rule6)) -> rule5) ((triple3 triple6) -> rule3)) -> rule4))] Bob is nice.[(triple5 OR ((triple4) -> rule1) OR ((triple3 triple6) -> rule3))] Bob is quiet.[(triple6 OR ((triple5 triple4) -> rule8) OR ((triple5 ((triple7 triple5) -> rule4)) -> rule8) OR ((((triple4) -> rule1) triple4) -> rule8) OR ((((triple4) -> rule1) ((triple7 triple5) -> rule4)) -> rule8) OR ((triple5 ((((triple2 triple1) -> rule5) triple5) -> rule4)) -> rule8) OR ((((triple4) -> rule1) ((((triple2 triple1) -> rule5) triple5) -> rule4)) -> rule8) OR ((triple5 ((((triple2 ((triple2 triple5) -> rule6)) -> rule5) triple5) -> rule4)) -> rule8) OR ((((triple4) -> rule1) ((((triple2 ((triple2 triple5) -> rule6)) -> rule5) triple5) -> rule4)) -> rule8))] Bob is red.[(triple7 OR ((triple2 triple1) -> rule5) OR ((triple2 ((triple2 triple5) -> rule6)) -> rule5) OR ((((triple4) -> rule7) triple1) -> rule5) OR ((((triple4) -> rule7) ((triple2 triple5) -> rule6)) -> rule5) OR ((triple2 ((triple2 ((triple4) -> rule1)) -> rule6)) -> rule5) OR ((triple2 ((triple2 ((triple3 triple6) -> rule3)) -> rule6)) -> rule5) OR ((triple2 ((((triple4) -> rule7) triple5) -> rule6)) -> rule5) OR ((triple2 ((((triple4) -> rule7) ((triple4) -> rule1)) -> rule6)) -> rule5) OR ((triple2 ((((triple4) -> rule7) ((triple3 triple6) -> rule3)) -> rule6)) -> rule5) OR ((((triple4) -> rule7) ((triple2 ((triple4) -> rule1)) -> rule6)) -> rule5) OR ((((triple4) -> rule7) ((triple2 ((triple3 triple6) -> rule3)) -> rule6)) -> rule5) OR ((((triple4) -> rule7) ((((triple4) -> rule7) triple5) -> rule6)) -> rule5) OR ((((triple4) -> rule7) ((((triple4) -> rule7) ((triple4) -> rule1)) -> rule6)) -> rule5) OR ((((triple4) -> rule7) ((((triple4) -> rule7) ((triple3 triple6) -> rule3)) -> rule6)) -> rule5))] Gary is big.[(triple8 OR ((triple9 triple11) -> rule6) OR ((triple9 ((triple10 triple12) -> rule3)) -> rule6))] Gary is blue.[(triple9)] Gary is green.[(triple10)] Gary is nice.[(triple11 OR ((triple10 triple12) -> rule3))] Gary is quiet.[(triple12 OR ((triple11 ((((triple9 triple8) -> rule5) triple11) -> rule4)) -> rule8) OR ((triple11 ((((triple9 ((triple9 triple11) -> rule6)) -> rule5) triple11) -> rule4)) -> rule8))] @1: Gary is red.[(((triple9 triple8) -> rule5) OR ((triple9 ((triple9 triple11) -> rule6)) -> rule5) OR ((triple9 ((triple9 ((triple10 triple12) -> rule3)) -> rule6)) -> rule5))] @2: Gary is kind.[(((((triple9 triple8) -> rule5) triple11) -> rule4) OR ((((triple9 triple8) -> rule5) ((triple10 triple12) -> rule3)) -> rule4) OR ((((triple9 ((triple9 triple11) -> rule6)) -> rule5) triple11) -> rule4) OR ((((triple9 ((triple9 triple11) -> rule6)) -> rule5) ((triple10 triple12) -> rule3)) -> rule4) OR ((((triple9 ((triple9 ((triple10 triple12) -> rule3)) -> rule6)) -> rule5) triple11) -> rule4) OR ((((triple9 ((triple9 ((triple10 triple12) -> rule3)) -> rule6)) -> rule5) ((triple10 triple12) -> rule3)) -> rule4))]
Bob is big.
("Bob" "is" "big" "+")
triple1
((triple2 triple5) -> (rule6 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
((triple2 ((triple4) -> (rule1 % int2))) -> (rule6 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
((triple2 ((triple3 triple6) -> (rule3 % int2))) -> (rule6 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
((((triple4) -> (rule7 % int2)) triple5) -> (rule6 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
((((triple7) -> (rule2 % int2)) triple5) -> (rule6 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
((((triple4) -> (rule7 % int3)) ((triple4) -> (rule1 % int2))) -> (rule6 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
((((triple4) -> (rule7 % int3)) ((triple3 triple6) -> (rule3 % int2))) -> (rule6 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
((((triple7) -> (rule2 % int3)) ((triple4) -> (rule1 % int2))) -> (rule6 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
((((triple7) -> (rule2 % int3)) ((triple3 triple6) -> (rule3 % int2))) -> (rule6 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
((((((triple7 triple5) -> (rule4 % int3))) -> (rule7 % int2)) triple5) -> (rule6 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
((((((triple7 triple5) -> (rule4 % int4))) -> (rule7 % int3)) ((triple4) -> (rule1 % int2))) -> (rule6 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
((((((triple7 triple5) -> (rule4 % int4))) -> (rule7 % int3)) ((triple3 triple6) -> (rule3 % int2))) -> (rule6 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
((((((triple7 ((triple3 triple6) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule7 % int2)) triple5) -> (rule6 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
((((((triple7 ((triple3 triple6) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule7 % int2)) ((triple4) -> (rule1 % int4))) -> (rule6 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
((((((triple7 ((triple3 triple6) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule7 % int2)) ((triple3 triple6) -> (rule3 % int4))) -> (rule6 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
triple2
((triple4) -> (rule7 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
((triple7) -> (rule2 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
((((triple7 triple5) -> (rule4 % int2))) -> (rule7 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
((((triple7 ((triple3 triple6) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
triple3
Bob is kind.
("Bob" "is" "kind" "+")
triple4
((triple7 triple5) -> (rule4 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
((triple7 ((triple3 triple6) -> (rule3 % int2))) -> (rule4 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
((((triple2 triple1) -> (rule5 % int2)) triple5) -> (rule4 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
((((triple2 triple1) -> (rule5 % int3)) ((triple3 triple6) -> (rule3 % int2))) -> (rule4 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
((((triple2 ((triple2 triple5) -> (rule6 % int3))) -> (rule5 % int2)) triple5) -> (rule4 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
((((triple2 ((triple2 triple5) -> (rule6 % int4))) -> (rule5 % int3)) ((triple3 triple6) -> (rule3 % int2))) -> (rule4 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
((((triple2 ((triple2 ((triple3 triple6) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule5 % int2)) triple5) -> (rule4 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
((((triple2 ((triple2 ((triple3 triple6) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule5 % int2)) ((triple3 triple6) -> (rule3 % int4))) -> (rule4 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
triple5
((triple4) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
((triple3 triple6) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
triple6
((triple5 triple4) -> (rule8 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
((triple5 ((triple7 triple5) -> (rule4 % int2))) -> (rule8 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
((((triple4) -> (rule1 % int2)) triple4) -> (rule8 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
((((triple4) -> (rule1 % int3)) ((triple7 triple5) -> (rule4 % int2))) -> (rule8 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
((triple5 ((((triple2 triple1) -> (rule5 % int3)) triple5) -> (rule4 % int2))) -> (rule8 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
((((triple4) -> (rule1 % int4)) ((((triple2 triple1) -> (rule5 % int3)) triple5) -> (rule4 % int2))) -> (rule8 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
((triple5 ((((triple2 ((triple2 triple5) -> (rule6 % int4))) -> (rule5 % int3)) triple5) -> (rule4 % int2))) -> (rule8 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
((((triple4) -> (rule1 % int5)) ((((triple2 ((triple2 triple5) -> (rule6 % int4))) -> (rule5 % int3)) triple5) -> (rule4 % int2))) -> (rule8 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
int5
Bob is red.
("Bob" "is" "red" "+")
triple7
((triple2 triple1) -> (rule5 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
((triple2 ((triple2 triple5) -> (rule6 % int2))) -> (rule5 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
((((triple4) -> (rule7 % int2)) triple1) -> (rule5 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
((((triple4) -> (rule7 % int3)) ((triple2 triple5) -> (rule6 % int2))) -> (rule5 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
((triple2 ((triple2 ((triple4) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
((triple2 ((triple2 ((triple3 triple6) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
((triple2 ((((triple4) -> (rule7 % int3)) triple5) -> (rule6 % int2))) -> (rule5 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
((triple2 ((((triple4) -> (rule7 % int4)) ((triple4) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
((triple2 ((((triple4) -> (rule7 % int4)) ((triple3 triple6) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
((((triple4) -> (rule7 % int4)) ((triple2 ((triple4) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
((((triple4) -> (rule7 % int4)) ((triple2 ((triple3 triple6) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
((((triple4) -> (rule7 % int3)) ((((triple4) -> (rule7 % int3)) triple5) -> (rule6 % int2))) -> (rule5 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
((((triple4) -> (rule7 % int4)) ((((triple4) -> (rule7 % int4)) ((triple4) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
((((triple4) -> (rule7 % int4)) ((((triple4) -> (rule7 % int4)) ((triple3 triple6) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
Gary is big.
("Gary" "is" "big" "+")
triple8
((triple9 triple11) -> (rule6 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
((triple9 ((triple10 triple12) -> (rule3 % int2))) -> (rule6 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
triple9
Gary is green.
("Gary" "is" "green" "+")
triple10
Gary is nice.
("Gary" "is" "nice" "+")
triple11
((triple10 triple12) -> (rule3 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
triple12
((triple11 ((((triple9 triple8) -> (rule5 % int3)) triple11) -> (rule4 % int2))) -> (rule8 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
((triple11 ((((triple9 ((triple9 triple11) -> (rule6 % int4))) -> (rule5 % int3)) triple11) -> (rule4 % int2))) -> (rule8 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
((triple9 triple8) -> (rule5 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
((triple9 ((triple9 triple11) -> (rule6 % int2))) -> (rule5 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
((triple9 ((triple9 ((triple10 triple12) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
((((triple9 triple8) -> (rule5 % int2)) triple11) -> (rule4 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
((((triple9 triple8) -> (rule5 % int3)) ((triple10 triple12) -> (rule3 % int2))) -> (rule4 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
((((triple9 ((triple9 triple11) -> (rule6 % int3))) -> (rule5 % int2)) triple11) -> (rule4 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
((((triple9 ((triple9 triple11) -> (rule6 % int4))) -> (rule5 % int3)) ((triple10 triple12) -> (rule3 % int2))) -> (rule4 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
((((triple9 ((triple9 ((triple10 triple12) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule5 % int2)) triple11) -> (rule4 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
((((triple9 ((triple9 ((triple10 triple12) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule5 % int2)) ((triple10 triple12) -> (rule3 % int4))) -> (rule4 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4