Anne is big. Anne is blue. Anne is cold. Anne is kind. Anne is quiet. Anne is young. Bob is big. Bob is kind. Bob is nice. Bob is quiet. Bob is young. Gary is kind. Gary is nice. Gary is quiet. Gary is young. If Bob is blue and Bob is big then Bob is nice. If Anne is blue and Anne is quiet then Anne is nice. All blue people are young. Young people are big. All quiet people are big. All kind, blue people are quiet. Big people are blue. If someone is blue and cold then they are nice.
Anne is big.
("Anne" "is" "big" "+")
Anne is blue.
("Anne" "is" "blue" "+")
Anne is cold.
("Anne" "is" "cold" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is young.
("Anne" "is" "young" "+")
Bob is big.
("Bob" "is" "big" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is young.
("Bob" "is" "young" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is young.
("Gary" "is" "young" "+")
If Bob is blue and Bob is big then Bob is nice.
((("Bob" "is" "blue" "+") ("Bob" "is" "big" "+")) -> ("Bob" "is" "nice" "+"))
If Anne is blue and Anne is quiet then Anne is nice.
((("Anne" "is" "blue" "+") ("Anne" "is" "quiet" "+")) -> ("Anne" "is" "nice" "+"))
All blue people are young.
((("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
Young people are big.
((("someone" "is" "young" "+")) -> ("someone" "is" "big" "+"))
All quiet people are big.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "big" "+"))
All kind, blue people are quiet.
((("someone" "is" "kind" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "quiet" "+"))
Big people are blue.
((("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
If someone is blue and cold then they are nice.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "+"))
Anne is blue.
True
1
proof
[(triple2 OR ((triple1) -> rule7) OR ((((triple5) -> rule5)) -> rule7) OR ((((triple6) -> rule4)) -> rule7))]
("Anne" "is" "blue" "+")
triple2
((triple1) -> (rule7 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
((((triple5) -> (rule5 % int2))) -> (rule7 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
((((triple6) -> (rule4 % int2))) -> (rule7 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is not young.
False
1
inv-proof
[(triple6 OR ((triple2) -> rule3) OR ((((triple1) -> rule7)) -> rule3) OR ((((((triple5) -> rule5)) -> rule7)) -> rule3))]
("Anne" "is" "young" "-")
triple6
((triple2) -> (rule3 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
((((triple1) -> (rule7 % int2))) -> (rule3 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
((((((triple5) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is nice.
True
3
proof
[(((triple2 triple3) -> rule8) OR ((triple2 triple5) -> rule2) OR ((triple2 ((triple4 triple2) -> rule6)) -> rule2) OR ((((triple1) -> rule7) triple3) -> rule8) OR ((((triple1) -> rule7) triple5) -> rule2) OR ((((triple1) -> rule7) ((triple4 triple2) -> rule6)) -> rule2) OR ((triple2 ((triple4 ((triple1) -> rule7)) -> rule6)) -> rule2) OR ((((((triple5) -> rule5)) -> rule7) triple3) -> rule8) OR ((((((triple5) -> rule5)) -> rule7) triple5) -> rule2) OR ((((((triple6) -> rule4)) -> rule7) triple3) -> rule8) OR ((((((triple6) -> rule4)) -> rule7) triple5) -> rule2) OR ((((triple1) -> rule7) ((triple4 ((triple1) -> rule7)) -> rule6)) -> rule2) OR ((((((triple5) -> rule5)) -> rule7) ((triple4 triple2) -> rule6)) -> rule2) OR ((((((triple6) -> rule4)) -> rule7) ((triple4 triple2) -> rule6)) -> rule2) OR ((((((triple5) -> rule5)) -> rule7) ((triple4 ((triple1) -> rule7)) -> rule6)) -> rule2) OR ((((((triple6) -> rule4)) -> rule7) ((triple4 ((triple1) -> rule7)) -> rule6)) -> rule2) OR ((triple2 ((triple4 ((((triple6) -> rule4)) -> rule7)) -> rule6)) -> rule2) OR ((((triple1) -> rule7) ((triple4 ((((triple6) -> rule4)) -> rule7)) -> rule6)) -> rule2) OR ((((((triple5) -> rule5)) -> rule7) ((triple4 ((((triple6) -> rule4)) -> rule7)) -> rule6)) -> rule2) OR ((((((triple6) -> rule4)) -> rule7) ((triple4 ((((triple6) -> rule4)) -> rule7)) -> rule6)) -> rule2))]
("Anne" "is" "nice" "+")
((triple2 triple3) -> (rule8 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
((triple2 triple5) -> (rule2 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
((triple2 ((triple4 triple2) -> (rule6 % int2))) -> (rule2 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
((((triple1) -> (rule7 % int2)) triple3) -> (rule8 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
((((triple1) -> (rule7 % int2)) triple5) -> (rule2 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
((((triple1) -> (rule7 % int3)) ((triple4 triple2) -> (rule6 % int2))) -> (rule2 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
((triple2 ((triple4 ((triple1) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
((((((triple5) -> (rule5 % int3))) -> (rule7 % int2)) triple3) -> (rule8 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
((((((triple5) -> (rule5 % int3))) -> (rule7 % int2)) triple5) -> (rule2 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
((((((triple6) -> (rule4 % int3))) -> (rule7 % int2)) triple3) -> (rule8 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
((((((triple6) -> (rule4 % int3))) -> (rule7 % int2)) triple5) -> (rule2 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
((((triple1) -> (rule7 % int3)) ((triple4 ((triple1) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
((((((triple5) -> (rule5 % int4))) -> (rule7 % int3)) ((triple4 triple2) -> (rule6 % int2))) -> (rule2 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
((((((triple6) -> (rule4 % int4))) -> (rule7 % int3)) ((triple4 triple2) -> (rule6 % int2))) -> (rule2 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
((((((triple5) -> (rule5 % int4))) -> (rule7 % int3)) ((triple4 ((triple1) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
((((((triple6) -> (rule4 % int4))) -> (rule7 % int3)) ((triple4 ((triple1) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
((triple2 ((triple4 ((((triple6) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
((((triple1) -> (rule7 % int4)) ((triple4 ((((triple6) -> (rule4 % int3))) -> (rule7 % int4))) -> (rule6 % int2))) -> (rule2 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
((((((triple5) -> (rule5 % int4))) -> (rule7 % int3)) ((triple4 ((((triple6) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
((((((triple6) -> (rule4 % int4))) -> (rule7 % int3)) ((triple4 ((((triple6) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
Gary is not big.
False
2
inv-proof
[(((triple14) -> rule5) OR ((triple15) -> rule4))]
("Gary" "is" "big" "-")
((triple14) -> (rule5 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
((triple15) -> (rule4 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is blue.
True
3
proof
[(((((triple14) -> rule5)) -> rule7) OR ((((triple15) -> rule4)) -> rule7))]
("Gary" "is" "blue" "+")
((((triple14) -> (rule5 % int2))) -> (rule7 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
((((triple15) -> (rule4 % int2))) -> (rule7 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is not blue.
False
3
inv-proof
[(((((triple14) -> rule5)) -> rule7) OR ((((triple15) -> rule4)) -> rule7))]
("Gary" "is" "blue" "-")
((((triple14) -> (rule5 % int2))) -> (rule7 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
((((triple15) -> (rule4 % int2))) -> (rule7 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Bob is not cold.
Unknown
inv-random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "-")
Gary is cold.
Unknown
random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "+")
@0: Anne is big.[(triple1 OR ((triple5) -> rule5) OR ((triple6) -> rule4) OR ((((triple2) -> rule3)) -> rule4) OR ((((triple4 triple2) -> rule6)) -> rule5))] Anne is blue.[(triple2 OR ((triple1) -> rule7) OR ((((triple5) -> rule5)) -> rule7) OR ((((triple6) -> rule4)) -> rule7))] Anne is cold.[(triple3)] Anne is kind.[(triple4)] Anne is quiet.[(triple5 OR ((triple4 triple2) -> rule6) OR ((triple4 ((triple1) -> rule7)) -> rule6) OR ((triple4 ((((triple6) -> rule4)) -> rule7)) -> rule6))] Anne is young.[(triple6 OR ((triple2) -> rule3) OR ((((triple1) -> rule7)) -> rule3) OR ((((((triple5) -> rule5)) -> rule7)) -> rule3))] Bob is big.[(triple7 OR ((triple10) -> rule5) OR ((triple11) -> rule4))] Bob is kind.[(triple8)] Bob is nice.[(triple9 OR ((((triple7) -> rule7) triple7) -> rule1) OR ((((triple7) -> rule7) ((triple10) -> rule5)) -> rule1) OR ((((triple7) -> rule7) ((triple11) -> rule4)) -> rule1) OR ((((((triple10) -> rule5)) -> rule7) triple7) -> rule1) OR ((((((triple11) -> rule4)) -> rule7) triple7) -> rule1) OR ((((((triple10) -> rule5)) -> rule7) ((triple10) -> rule5)) -> rule1) OR ((((((triple10) -> rule5)) -> rule7) ((triple11) -> rule4)) -> rule1) OR ((((((triple11) -> rule4)) -> rule7) ((triple10) -> rule5)) -> rule1) OR ((((((triple11) -> rule4)) -> rule7) ((triple11) -> rule4)) -> rule1))] Bob is quiet.[(triple10 OR ((triple8 ((triple7) -> rule7)) -> rule6) OR ((triple8 ((((triple11) -> rule4)) -> rule7)) -> rule6))] Bob is young.[(triple11 OR ((((triple7) -> rule7)) -> rule3) OR ((((((triple10) -> rule5)) -> rule7)) -> rule3))] Gary is kind.[(triple12)] Gary is nice.[(triple13)] Gary is quiet.[(triple14 OR ((triple12 ((((triple15) -> rule4)) -> rule7)) -> rule6))] Gary is young.[(triple15 OR ((((((triple14) -> rule5)) -> rule7)) -> rule3))] @1: Anne is nice.[(((triple2 triple3) -> rule8) OR ((triple2 triple5) -> rule2) OR ((triple2 ((triple4 triple2) -> rule6)) -> rule2) OR ((((triple1) -> rule7) triple3) -> rule8) OR ((((triple1) -> rule7) triple5) -> rule2) OR ((((triple1) -> rule7) ((triple4 triple2) -> rule6)) -> rule2) OR ((triple2 ((triple4 ((triple1) -> rule7)) -> rule6)) -> rule2) OR ((((((triple5) -> rule5)) -> rule7) triple3) -> rule8) OR ((((((triple5) -> rule5)) -> rule7) triple5) -> rule2) OR ((((((triple6) -> rule4)) -> rule7) triple3) -> rule8) OR ((((((triple6) -> rule4)) -> rule7) triple5) -> rule2) OR ((((triple1) -> rule7) ((triple4 ((triple1) -> rule7)) -> rule6)) -> rule2) OR ((((((triple5) -> rule5)) -> rule7) ((triple4 triple2) -> rule6)) -> rule2) OR ((((((triple6) -> rule4)) -> rule7) ((triple4 triple2) -> rule6)) -> rule2) OR ((((((triple5) -> rule5)) -> rule7) ((triple4 ((triple1) -> rule7)) -> rule6)) -> rule2) OR ((((((triple6) -> rule4)) -> rule7) ((triple4 ((triple1) -> rule7)) -> rule6)) -> rule2) OR ((triple2 ((triple4 ((((triple6) -> rule4)) -> rule7)) -> rule6)) -> rule2) OR ((((triple1) -> rule7) ((triple4 ((((triple6) -> rule4)) -> rule7)) -> rule6)) -> rule2) OR ((((((triple5) -> rule5)) -> rule7) ((triple4 ((((triple6) -> rule4)) -> rule7)) -> rule6)) -> rule2) OR ((((((triple6) -> rule4)) -> rule7) ((triple4 ((((triple6) -> rule4)) -> rule7)) -> rule6)) -> rule2))] Bob is blue.[(((triple7) -> rule7) OR ((((triple10) -> rule5)) -> rule7) OR ((((triple11) -> rule4)) -> rule7))] Gary is big.[(((triple14) -> rule5) OR ((triple15) -> rule4))] @2: Gary is blue.[(((((triple14) -> rule5)) -> rule7) OR ((((triple15) -> rule4)) -> rule7))]
Anne is big.
("Anne" "is" "big" "+")
triple1
((triple5) -> (rule5 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
((triple6) -> (rule4 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
((((triple2) -> (rule3 % int2))) -> (rule4 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
((((triple4 triple2) -> (rule6 % int2))) -> (rule5 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
triple2
((triple1) -> (rule7 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
((((triple5) -> (rule5 % int2))) -> (rule7 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
((((triple6) -> (rule4 % int2))) -> (rule7 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
triple3
Anne is kind.
("Anne" "is" "kind" "+")
triple4
Anne is quiet.
("Anne" "is" "quiet" "+")
triple5
((triple4 triple2) -> (rule6 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
((triple4 ((triple1) -> (rule7 % int2))) -> (rule6 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
((triple4 ((((triple6) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
triple6
((triple2) -> (rule3 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
((((triple1) -> (rule7 % int2))) -> (rule3 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
((((((triple5) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
triple7
((triple10) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
((triple11) -> (rule4 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
triple8
Bob is nice.
("Bob" "is" "nice" "+")
triple9
((((triple7) -> (rule7 % int2)) triple7) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
((((triple7) -> (rule7 % int3)) ((triple10) -> (rule5 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
((((triple7) -> (rule7 % int3)) ((triple11) -> (rule4 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
((((((triple10) -> (rule5 % int3))) -> (rule7 % int2)) triple7) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
((((((triple11) -> (rule4 % int3))) -> (rule7 % int2)) triple7) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
((((((triple10) -> (rule5 % int3))) -> (rule7 % int2)) ((triple10) -> (rule5 % int3))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
((((((triple10) -> (rule5 % int3))) -> (rule7 % int2)) ((triple11) -> (rule4 % int3))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
((((((triple11) -> (rule4 % int3))) -> (rule7 % int2)) ((triple10) -> (rule5 % int3))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
((((((triple11) -> (rule4 % int3))) -> (rule7 % int2)) ((triple11) -> (rule4 % int3))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
triple10
((triple8 ((triple7) -> (rule7 % int2))) -> (rule6 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
((triple8 ((((triple11) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
triple11
((((triple7) -> (rule7 % int2))) -> (rule3 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
((((((triple10) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
triple12
Gary is nice.
("Gary" "is" "nice" "+")
triple13
Gary is quiet.
("Gary" "is" "quiet" "+")
triple14
((triple12 ((((triple15) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
triple15
((((((triple14) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
((triple2 triple3) -> (rule8 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
((triple2 triple5) -> (rule2 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
((triple2 ((triple4 triple2) -> (rule6 % int2))) -> (rule2 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
((((triple1) -> (rule7 % int2)) triple3) -> (rule8 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
((((triple1) -> (rule7 % int2)) triple5) -> (rule2 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
((((triple1) -> (rule7 % int3)) ((triple4 triple2) -> (rule6 % int2))) -> (rule2 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
((triple2 ((triple4 ((triple1) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
((((((triple5) -> (rule5 % int3))) -> (rule7 % int2)) triple3) -> (rule8 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
((((((triple5) -> (rule5 % int3))) -> (rule7 % int2)) triple5) -> (rule2 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
((((((triple6) -> (rule4 % int3))) -> (rule7 % int2)) triple3) -> (rule8 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
((((((triple6) -> (rule4 % int3))) -> (rule7 % int2)) triple5) -> (rule2 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
((((triple1) -> (rule7 % int3)) ((triple4 ((triple1) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
((((((triple5) -> (rule5 % int4))) -> (rule7 % int3)) ((triple4 triple2) -> (rule6 % int2))) -> (rule2 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
((((((triple6) -> (rule4 % int4))) -> (rule7 % int3)) ((triple4 triple2) -> (rule6 % int2))) -> (rule2 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
((((((triple5) -> (rule5 % int4))) -> (rule7 % int3)) ((triple4 ((triple1) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
((((((triple6) -> (rule4 % int4))) -> (rule7 % int3)) ((triple4 ((triple1) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
((triple2 ((triple4 ((((triple6) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
((((triple1) -> (rule7 % int4)) ((triple4 ((((triple6) -> (rule4 % int3))) -> (rule7 % int4))) -> (rule6 % int2))) -> (rule2 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
((((((triple5) -> (rule5 % int4))) -> (rule7 % int3)) ((triple4 ((((triple6) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
((((((triple6) -> (rule4 % int4))) -> (rule7 % int3)) ((triple4 ((((triple6) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
((triple7) -> (rule7 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
((((triple10) -> (rule5 % int2))) -> (rule7 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
((((triple11) -> (rule4 % int2))) -> (rule7 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
((triple14) -> (rule5 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
((triple15) -> (rule4 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
((((triple14) -> (rule5 % int2))) -> (rule7 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
((((triple15) -> (rule4 % int2))) -> (rule7 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2