Anne is furry. Anne is quiet. Bob is furry. Bob is green. Bob is quiet. Bob is red. Bob is white. Dave is big. Dave is furry. Dave is green. Dave is quiet. Dave is red. Dave is smart. Dave is white. Harry is furry. Harry is green. If someone is quiet and smart then they are white. If someone is furry and red then they are quiet. Quiet people are smart. All green, quiet people are big. Green people are big. All white people are green. If Anne is big and Anne is white then Anne is red. If someone is green and furry then they are big. If Bob is quiet and Bob is big then Bob is green.
Anne is furry.
("Anne" "is" "furry" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is white.
("Bob" "is" "white" "+")
Dave is big.
("Dave" "is" "big" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Dave is white.
("Dave" "is" "white" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is green.
("Harry" "is" "green" "+")
If someone is quiet and smart then they are white.
((("someone" "is" "quiet" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "white" "+"))
If someone is furry and red then they are quiet.
((("someone" "is" "furry" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "quiet" "+"))
Quiet people are smart.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "smart" "+"))
All green, quiet people are big.
((("someone" "is" "green" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "big" "+"))
Green people are big.
((("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
All white people are green.
((("someone" "is" "white" "+")) -> ("someone" "is" "green" "+"))
If Anne is big and Anne is white then Anne is red.
((("Anne" "is" "big" "+") ("Anne" "is" "white" "+")) -> ("Anne" "is" "red" "+"))
If someone is green and furry then they are big.
((("someone" "is" "green" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "big" "+"))
If Bob is quiet and Bob is big then Bob is green.
((("Bob" "is" "quiet" "+") ("Bob" "is" "big" "+")) -> ("Bob" "is" "green" "+"))
Anne is furry.
True
1
proof
[(triple1)]
("Anne" "is" "furry" "+")
triple1
Bob is not green.
False
1
inv-proof
[(triple4 OR ((triple7) -> rule6) OR ((((triple5 ((triple5) -> rule3)) -> rule1)) -> rule6) OR ((((((triple3 triple6) -> rule2) ((triple5) -> rule3)) -> rule1)) -> rule6) OR ((((triple5 ((((triple3 triple6) -> rule2)) -> rule3)) -> rule1)) -> rule6) OR ((((((triple3 triple6) -> rule2) ((((triple3 triple6) -> rule2)) -> rule3)) -> rule1)) -> rule6))]
("Bob" "is" "green" "-")
triple4
((triple7) -> (rule6 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
((((triple5 ((triple5) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
((((((triple3 triple6) -> (rule2 % int4)) ((triple5) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
((((triple5 ((((triple3 triple6) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
((((((triple3 triple6) -> (rule2 % int4)) ((((triple3 triple6) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Bob is big.
True
2
proof
[(((triple4) -> rule5) OR ((triple4 triple3) -> rule8) OR ((triple4 triple5) -> rule4) OR ((((triple7) -> rule6)) -> rule5) OR ((triple4 ((triple3 triple6) -> rule2)) -> rule4) OR ((((triple7) -> rule6) triple3) -> rule8) OR ((((triple7) -> rule6) triple5) -> rule4) OR ((((triple7) -> rule6) ((triple3 triple6) -> rule2)) -> rule4) OR ((((((triple5 ((triple5) -> rule3)) -> rule1)) -> rule6)) -> rule5) OR ((((((triple5 ((triple5) -> rule3)) -> rule1)) -> rule6) triple3) -> rule8) OR ((((((triple5 ((triple5) -> rule3)) -> rule1)) -> rule6) triple5) -> rule4) OR ((((((((triple3 triple6) -> rule2) ((triple5) -> rule3)) -> rule1)) -> rule6)) -> rule5) OR ((((((triple5 ((triple5) -> rule3)) -> rule1)) -> rule6) ((triple3 triple6) -> rule2)) -> rule4) OR ((((((((triple3 triple6) -> rule2) ((triple5) -> rule3)) -> rule1)) -> rule6) triple3) -> rule8) OR ((((((((triple3 triple6) -> rule2) ((triple5) -> rule3)) -> rule1)) -> rule6) triple5) -> rule4) OR ((((((((triple3 triple6) -> rule2) ((triple5) -> rule3)) -> rule1)) -> rule6) ((triple3 triple6) -> rule2)) -> rule4) OR ((((((triple5 ((((triple3 triple6) -> rule2)) -> rule3)) -> rule1)) -> rule6)) -> rule5) OR ((((((triple5 ((((triple3 triple6) -> rule2)) -> rule3)) -> rule1)) -> rule6) triple3) -> rule8) OR ((((((triple5 ((((triple3 triple6) -> rule2)) -> rule3)) -> rule1)) -> rule6) triple5) -> rule4) OR ((((((((triple3 triple6) -> rule2) ((((triple3 triple6) -> rule2)) -> rule3)) -> rule1)) -> rule6)) -> rule5) OR ((((((triple5 ((((triple3 triple6) -> rule2)) -> rule3)) -> rule1)) -> rule6) ((triple3 triple6) -> rule2)) -> rule4) OR ((((((((triple3 triple6) -> rule2) ((((triple3 triple6) -> rule2)) -> rule3)) -> rule1)) -> rule6) triple3) -> rule8) OR ((((((((triple3 triple6) -> rule2) ((((triple3 triple6) -> rule2)) -> rule3)) -> rule1)) -> rule6) triple5) -> rule4) OR ((((((((triple3 triple6) -> rule2) ((((triple3 triple6) -> rule2)) -> rule3)) -> rule1)) -> rule6) ((triple3 triple6) -> rule2)) -> rule4))]
("Bob" "is" "big" "+")
((triple4) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
((triple4 triple3) -> (rule8 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
((triple4 triple5) -> (rule4 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
((((triple7) -> (rule6 % int2))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
((triple4 ((triple3 triple6) -> (rule2 % int2))) -> (rule4 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
((((triple7) -> (rule6 % int2)) triple3) -> (rule8 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
((((triple7) -> (rule6 % int2)) triple5) -> (rule4 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
((((triple7) -> (rule6 % int3)) ((triple3 triple6) -> (rule2 % int2))) -> (rule4 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
((((((triple5 ((triple5) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
((((((triple5 ((triple5) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule6 % int2)) triple3) -> (rule8 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
((((((triple5 ((triple5) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule6 % int2)) triple5) -> (rule4 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
((((((((triple3 triple6) -> (rule2 % int5)) ((triple5) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
((((((triple5 ((triple5) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule6 % int3)) ((triple3 triple6) -> (rule2 % int2))) -> (rule4 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
Bob is smart.
("Bob" "is" "smart" "+")
int5
((((((((triple3 triple6) -> (rule2 % int5)) ((triple5) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule6 % int2)) triple3) -> (rule8 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
((((((((triple3 triple6) -> (rule2 % int5)) ((triple5) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule6 % int2)) triple5) -> (rule4 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
((((((((triple3 triple6) -> (rule2 % int5)) ((triple5) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule6 % int2)) ((triple3 triple6) -> (rule2 % int5))) -> (rule4 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
((((((triple5 ((((triple3 triple6) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
((((((triple5 ((((triple3 triple6) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule6 % int2)) triple3) -> (rule8 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
((((((triple5 ((((triple3 triple6) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule6 % int2)) triple5) -> (rule4 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
((((((((triple3 triple6) -> (rule2 % int5)) ((((triple3 triple6) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
((((((triple5 ((((triple3 triple6) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule6 % int2)) ((triple3 triple6) -> (rule2 % int5))) -> (rule4 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
((((((((triple3 triple6) -> (rule2 % int5)) ((((triple3 triple6) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule6 % int2)) triple3) -> (rule8 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
((((((((triple3 triple6) -> (rule2 % int5)) ((((triple3 triple6) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule6 % int2)) triple5) -> (rule4 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
((((((((triple3 triple6) -> (rule2 % int5)) ((((triple3 triple6) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule6 % int2)) ((triple3 triple6) -> (rule2 % int5))) -> (rule4 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
Bob is not big.
False
2
inv-proof
[(((triple4) -> rule5) OR ((triple4 triple3) -> rule8) OR ((triple4 triple5) -> rule4) OR ((((triple7) -> rule6)) -> rule5) OR ((triple4 ((triple3 triple6) -> rule2)) -> rule4) OR ((((triple7) -> rule6) triple3) -> rule8) OR ((((triple7) -> rule6) triple5) -> rule4) OR ((((triple7) -> rule6) ((triple3 triple6) -> rule2)) -> rule4) OR ((((((triple5 ((triple5) -> rule3)) -> rule1)) -> rule6)) -> rule5) OR ((((((triple5 ((triple5) -> rule3)) -> rule1)) -> rule6) triple3) -> rule8) OR ((((((triple5 ((triple5) -> rule3)) -> rule1)) -> rule6) triple5) -> rule4) OR ((((((((triple3 triple6) -> rule2) ((triple5) -> rule3)) -> rule1)) -> rule6)) -> rule5) OR ((((((triple5 ((triple5) -> rule3)) -> rule1)) -> rule6) ((triple3 triple6) -> rule2)) -> rule4) OR ((((((((triple3 triple6) -> rule2) ((triple5) -> rule3)) -> rule1)) -> rule6) triple3) -> rule8) OR ((((((((triple3 triple6) -> rule2) ((triple5) -> rule3)) -> rule1)) -> rule6) triple5) -> rule4) OR ((((((((triple3 triple6) -> rule2) ((triple5) -> rule3)) -> rule1)) -> rule6) ((triple3 triple6) -> rule2)) -> rule4) OR ((((((triple5 ((((triple3 triple6) -> rule2)) -> rule3)) -> rule1)) -> rule6)) -> rule5) OR ((((((triple5 ((((triple3 triple6) -> rule2)) -> rule3)) -> rule1)) -> rule6) triple3) -> rule8) OR ((((((triple5 ((((triple3 triple6) -> rule2)) -> rule3)) -> rule1)) -> rule6) triple5) -> rule4) OR ((((((((triple3 triple6) -> rule2) ((((triple3 triple6) -> rule2)) -> rule3)) -> rule1)) -> rule6)) -> rule5) OR ((((((triple5 ((((triple3 triple6) -> rule2)) -> rule3)) -> rule1)) -> rule6) ((triple3 triple6) -> rule2)) -> rule4) OR ((((((((triple3 triple6) -> rule2) ((((triple3 triple6) -> rule2)) -> rule3)) -> rule1)) -> rule6) triple3) -> rule8) OR ((((((((triple3 triple6) -> rule2) ((((triple3 triple6) -> rule2)) -> rule3)) -> rule1)) -> rule6) triple5) -> rule4) OR ((((((((triple3 triple6) -> rule2) ((((triple3 triple6) -> rule2)) -> rule3)) -> rule1)) -> rule6) ((triple3 triple6) -> rule2)) -> rule4))]
("Bob" "is" "big" "-")
((triple4) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
((triple4 triple3) -> (rule8 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
((triple4 triple5) -> (rule4 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
((((triple7) -> (rule6 % int2))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
((triple4 ((triple3 triple6) -> (rule2 % int2))) -> (rule4 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
((((triple7) -> (rule6 % int2)) triple3) -> (rule8 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
((((triple7) -> (rule6 % int2)) triple5) -> (rule4 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
((((triple7) -> (rule6 % int3)) ((triple3 triple6) -> (rule2 % int2))) -> (rule4 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
((((((triple5 ((triple5) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
((((((triple5 ((triple5) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule6 % int2)) triple3) -> (rule8 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
((((((triple5 ((triple5) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule6 % int2)) triple5) -> (rule4 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
((((((((triple3 triple6) -> (rule2 % int5)) ((triple5) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
((((((triple5 ((triple5) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule6 % int3)) ((triple3 triple6) -> (rule2 % int2))) -> (rule4 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
Bob is smart.
("Bob" "is" "smart" "+")
int5
((((((((triple3 triple6) -> (rule2 % int5)) ((triple5) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule6 % int2)) triple3) -> (rule8 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
((((((((triple3 triple6) -> (rule2 % int5)) ((triple5) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule6 % int2)) triple5) -> (rule4 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
((((((((triple3 triple6) -> (rule2 % int5)) ((triple5) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule6 % int2)) ((triple3 triple6) -> (rule2 % int5))) -> (rule4 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
((((((triple5 ((((triple3 triple6) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
((((((triple5 ((((triple3 triple6) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule6 % int2)) triple3) -> (rule8 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
((((((triple5 ((((triple3 triple6) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule6 % int2)) triple5) -> (rule4 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
((((((((triple3 triple6) -> (rule2 % int5)) ((((triple3 triple6) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
((((((triple5 ((((triple3 triple6) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule6 % int2)) ((triple3 triple6) -> (rule2 % int5))) -> (rule4 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
((((((((triple3 triple6) -> (rule2 % int5)) ((((triple3 triple6) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule6 % int2)) triple3) -> (rule8 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
((((((((triple3 triple6) -> (rule2 % int5)) ((((triple3 triple6) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule6 % int2)) triple5) -> (rule4 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
((((((((triple3 triple6) -> (rule2 % int5)) ((((triple3 triple6) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule6 % int2)) ((triple3 triple6) -> (rule2 % int5))) -> (rule4 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
Anne is white.
True
4
proof
[(((triple2 ((triple2) -> rule3)) -> rule1))]
("Anne" "is" "white" "+")
((triple2 ((triple2) -> (rule3 % int2))) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is not white.
False
4
inv-proof
[(((triple2 ((triple2) -> rule3)) -> rule1))]
("Anne" "is" "white" "-")
((triple2 ((triple2) -> (rule3 % int2))) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is green.
True
5
proof
[(((((triple2 ((triple2) -> rule3)) -> rule1)) -> rule6))]
("Anne" "is" "green" "+")
((((triple2 ((triple2) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is not green.
False
5
inv-proof
[(((((triple2 ((triple2) -> rule3)) -> rule1)) -> rule6))]
("Anne" "is" "green" "-")
((((triple2 ((triple2) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is big.
True
6
proof
[(((((((triple2 ((triple2) -> rule3)) -> rule1)) -> rule6)) -> rule5) OR ((((((triple2 ((triple2) -> rule3)) -> rule1)) -> rule6) triple1) -> rule8) OR ((((((triple2 ((triple2) -> rule3)) -> rule1)) -> rule6) triple2) -> rule4))]
("Anne" "is" "big" "+")
((((((triple2 ((triple2) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
int4
((((((triple2 ((triple2) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule6 % int2)) triple1) -> (rule8 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
int4
((((((triple2 ((triple2) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule6 % int2)) triple2) -> (rule4 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
int4
Anne is not big.
False
6
inv-proof
[(((((((triple2 ((triple2) -> rule3)) -> rule1)) -> rule6)) -> rule5) OR ((((((triple2 ((triple2) -> rule3)) -> rule1)) -> rule6) triple1) -> rule8) OR ((((((triple2 ((triple2) -> rule3)) -> rule1)) -> rule6) triple2) -> rule4))]
("Anne" "is" "big" "-")
((((((triple2 ((triple2) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
int4
((((((triple2 ((triple2) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule6 % int2)) triple1) -> (rule8 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
int4
((((((triple2 ((triple2) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule6 % int2)) triple2) -> (rule4 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
int4
Anne is red.
True
11
proof
[(((((((((triple2 ((triple2) -> rule3)) -> rule1)) -> rule6)) -> rule5) ((triple2 ((triple2) -> rule3)) -> rule1)) -> rule7) OR ((((((((triple2 ((triple2) -> rule3)) -> rule1)) -> rule6) triple1) -> rule8) ((triple2 ((triple2) -> rule3)) -> rule1)) -> rule7) OR ((((((((triple2 ((triple2) -> rule3)) -> rule1)) -> rule6) triple2) -> rule4) ((triple2 ((triple2) -> rule3)) -> rule1)) -> rule7))]
("Anne" "is" "red" "+")
((((((((triple2 ((triple2) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule5 % int2)) ((triple2 ((triple2) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule7 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is smart.
("Anne" "is" "smart" "+")
int5
((((((((triple2 ((triple2) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule6 % int3)) triple1) -> (rule8 % int2)) ((triple2 ((triple2) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule7 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is smart.
("Anne" "is" "smart" "+")
int5
((((((((triple2 ((triple2) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule6 % int3)) triple2) -> (rule4 % int2)) ((triple2 ((triple2) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule7 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is smart.
("Anne" "is" "smart" "+")
int5
Anne is not red.
False
11
inv-proof
[(((((((((triple2 ((triple2) -> rule3)) -> rule1)) -> rule6)) -> rule5) ((triple2 ((triple2) -> rule3)) -> rule1)) -> rule7) OR ((((((((triple2 ((triple2) -> rule3)) -> rule1)) -> rule6) triple1) -> rule8) ((triple2 ((triple2) -> rule3)) -> rule1)) -> rule7) OR ((((((((triple2 ((triple2) -> rule3)) -> rule1)) -> rule6) triple2) -> rule4) ((triple2 ((triple2) -> rule3)) -> rule1)) -> rule7))]
("Anne" "is" "red" "-")
((((((((triple2 ((triple2) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule5 % int2)) ((triple2 ((triple2) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule7 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is smart.
("Anne" "is" "smart" "+")
int5
((((((((triple2 ((triple2) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule6 % int3)) triple1) -> (rule8 % int2)) ((triple2 ((triple2) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule7 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is smart.
("Anne" "is" "smart" "+")
int5
((((((((triple2 ((triple2) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule6 % int3)) triple2) -> (rule4 % int2)) ((triple2 ((triple2) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule7 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is smart.
("Anne" "is" "smart" "+")
int5
Harry is not smart.
Unknown
inv-rconc
[@2: Harry is smart.[CWA. Example of deepest failure = (rule3 <- rule2 <- FAIL)]]
("Harry" "is" "smart" "-")
Harry is white.
Unknown
rconc
[@2: Harry is white.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("Harry" "is" "white" "+")
Harry is not quiet.
Unknown
inv-rconc
[@1: Harry is quiet.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "quiet" "-")
Harry is red.
Unknown
random
[@0: Harry is red.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "red" "+")
@0: Anne is furry.[(triple1)] Anne is quiet.[(triple2)] Bob is furry.[(triple3)] Bob is green.[(triple4 OR ((triple7) -> rule6) OR ((((triple5 ((triple5) -> rule3)) -> rule1)) -> rule6) OR ((((((triple3 triple6) -> rule2) ((triple5) -> rule3)) -> rule1)) -> rule6) OR ((((triple5 ((((triple3 triple6) -> rule2)) -> rule3)) -> rule1)) -> rule6) OR ((((((triple3 triple6) -> rule2) ((((triple3 triple6) -> rule2)) -> rule3)) -> rule1)) -> rule6))] Bob is quiet.[(triple5 OR ((triple3 triple6) -> rule2))] Bob is red.[(triple6)] Bob is white.[(triple7 OR ((triple5 ((triple5) -> rule3)) -> rule1) OR ((((triple3 triple6) -> rule2) ((triple5) -> rule3)) -> rule1) OR ((triple5 ((((triple3 triple6) -> rule2)) -> rule3)) -> rule1) OR ((((triple3 triple6) -> rule2) ((((triple3 triple6) -> rule2)) -> rule3)) -> rule1))] Dave is big.[(triple8 OR ((triple10) -> rule5) OR ((triple10 triple11) -> rule4) OR ((triple10 triple9) -> rule8) OR ((((triple14) -> rule6)) -> rule5) OR ((triple10 ((triple9 triple12) -> rule2)) -> rule4) OR ((((triple14) -> rule6) triple11) -> rule4) OR ((((triple14) -> rule6) triple9) -> rule8) OR ((((triple14) -> rule6) ((triple9 triple12) -> rule2)) -> rule4) OR ((((((triple11 triple13) -> rule1)) -> rule6)) -> rule5) OR ((((((triple11 triple13) -> rule1)) -> rule6) triple11) -> rule4) OR ((((((triple11 triple13) -> rule1)) -> rule6) triple9) -> rule8) OR ((((((triple11 triple13) -> rule1)) -> rule6) ((triple9 triple12) -> rule2)) -> rule4) OR ((((((triple11 ((triple11) -> rule3)) -> rule1)) -> rule6)) -> rule5) OR ((((((((triple9 triple12) -> rule2) triple13) -> rule1)) -> rule6)) -> rule5) OR ((((((triple11 ((triple11) -> rule3)) -> rule1)) -> rule6) triple11) -> rule4) OR ((((((triple11 ((triple11) -> rule3)) -> rule1)) -> rule6) triple9) -> rule8) OR ((((((((triple9 triple12) -> rule2) triple13) -> rule1)) -> rule6) triple11) -> rule4) OR ((((((((triple9 triple12) -> rule2) triple13) -> rule1)) -> rule6) triple9) -> rule8) OR ((((((((triple9 triple12) -> rule2) ((triple11) -> rule3)) -> rule1)) -> rule6)) -> rule5) OR ((((((triple11 ((triple11) -> rule3)) -> rule1)) -> rule6) ((triple9 triple12) -> rule2)) -> rule4) OR ((((((((triple9 triple12) -> rule2) triple13) -> rule1)) -> rule6) ((triple9 triple12) -> rule2)) -> rule4) OR ((((((((triple9 triple12) -> rule2) ((triple11) -> rule3)) -> rule1)) -> rule6) triple11) -> rule4) OR ((((((((triple9 triple12) -> rule2) ((triple11) -> rule3)) -> rule1)) -> rule6) triple9) -> rule8) OR ((((((((triple9 triple12) -> rule2) ((triple11) -> rule3)) -> rule1)) -> rule6) ((triple9 triple12) -> rule2)) -> rule4) OR ((((((triple11 ((((triple9 triple12) -> rule2)) -> rule3)) -> rule1)) -> rule6)) -> rule5) OR ((((((triple11 ((((triple9 triple12) -> rule2)) -> rule3)) -> rule1)) -> rule6) triple11) -> rule4) OR ((((((triple11 ((((triple9 triple12) -> rule2)) -> rule3)) -> rule1)) -> rule6) triple9) -> rule8) OR ((((((((triple9 triple12) -> rule2) ((((triple9 triple12) -> rule2)) -> rule3)) -> rule1)) -> rule6)) -> rule5) OR ((((((triple11 ((((triple9 triple12) -> rule2)) -> rule3)) -> rule1)) -> rule6) ((triple9 triple12) -> rule2)) -> rule4) OR ((((((((triple9 triple12) -> rule2) ((((triple9 triple12) -> rule2)) -> rule3)) -> rule1)) -> rule6) triple11) -> rule4) OR ((((((((triple9 triple12) -> rule2) ((((triple9 triple12) -> rule2)) -> rule3)) -> rule1)) -> rule6) triple9) -> rule8) OR ((((((((triple9 triple12) -> rule2) ((((triple9 triple12) -> rule2)) -> rule3)) -> rule1)) -> rule6) ((triple9 triple12) -> rule2)) -> rule4))] Dave is furry.[(triple9)] Dave is green.[(triple10 OR ((triple14) -> rule6) OR ((((triple11 triple13) -> rule1)) -> rule6) OR ((((triple11 ((triple11) -> rule3)) -> rule1)) -> rule6) OR ((((((triple9 triple12) -> rule2) triple13) -> rule1)) -> rule6) OR ((((((triple9 triple12) -> rule2) ((triple11) -> rule3)) -> rule1)) -> rule6) OR ((((triple11 ((((triple9 triple12) -> rule2)) -> rule3)) -> rule1)) -> rule6) OR ((((((triple9 triple12) -> rule2) ((((triple9 triple12) -> rule2)) -> rule3)) -> rule1)) -> rule6))] Dave is quiet.[(triple11 OR ((triple9 triple12) -> rule2))] Dave is red.[(triple12)] Dave is smart.[(triple13 OR ((triple11) -> rule3) OR ((((triple9 triple12) -> rule2)) -> rule3))] Dave is white.[(triple14 OR ((triple11 triple13) -> rule1) OR ((triple11 ((triple11) -> rule3)) -> rule1) OR ((((triple9 triple12) -> rule2) triple13) -> rule1) OR ((((triple9 triple12) -> rule2) ((triple11) -> rule3)) -> rule1) OR ((triple11 ((((triple9 triple12) -> rule2)) -> rule3)) -> rule1) OR ((((triple9 triple12) -> rule2) ((((triple9 triple12) -> rule2)) -> rule3)) -> rule1))] Harry is furry.[(triple15)] Harry is green.[(triple16)] @1: Anne is smart.[(((triple2) -> rule3))] Bob is big.[(((triple4) -> rule5) OR ((triple4 triple3) -> rule8) OR ((triple4 triple5) -> rule4) OR ((((triple7) -> rule6)) -> rule5) OR ((triple4 ((triple3 triple6) -> rule2)) -> rule4) OR ((((triple7) -> rule6) triple3) -> rule8) OR ((((triple7) -> rule6) triple5) -> rule4) OR ((((triple7) -> rule6) ((triple3 triple6) -> rule2)) -> rule4) OR ((((((triple5 ((triple5) -> rule3)) -> rule1)) -> rule6)) -> rule5) OR ((((((triple5 ((triple5) -> rule3)) -> rule1)) -> rule6) triple3) -> rule8) OR ((((((triple5 ((triple5) -> rule3)) -> rule1)) -> rule6) triple5) -> rule4) OR ((((((((triple3 triple6) -> rule2) ((triple5) -> rule3)) -> rule1)) -> rule6)) -> rule5) OR ((((((triple5 ((triple5) -> rule3)) -> rule1)) -> rule6) ((triple3 triple6) -> rule2)) -> rule4) OR ((((((((triple3 triple6) -> rule2) ((triple5) -> rule3)) -> rule1)) -> rule6) triple3) -> rule8) OR ((((((((triple3 triple6) -> rule2) ((triple5) -> rule3)) -> rule1)) -> rule6) triple5) -> rule4) OR ((((((((triple3 triple6) -> rule2) ((triple5) -> rule3)) -> rule1)) -> rule6) ((triple3 triple6) -> rule2)) -> rule4) OR ((((((triple5 ((((triple3 triple6) -> rule2)) -> rule3)) -> rule1)) -> rule6)) -> rule5) OR ((((((triple5 ((((triple3 triple6) -> rule2)) -> rule3)) -> rule1)) -> rule6) triple3) -> rule8) OR ((((((triple5 ((((triple3 triple6) -> rule2)) -> rule3)) -> rule1)) -> rule6) triple5) -> rule4) OR ((((((((triple3 triple6) -> rule2) ((((triple3 triple6) -> rule2)) -> rule3)) -> rule1)) -> rule6)) -> rule5) OR ((((((triple5 ((((triple3 triple6) -> rule2)) -> rule3)) -> rule1)) -> rule6) ((triple3 triple6) -> rule2)) -> rule4) OR ((((((((triple3 triple6) -> rule2) ((((triple3 triple6) -> rule2)) -> rule3)) -> rule1)) -> rule6) triple3) -> rule8) OR ((((((((triple3 triple6) -> rule2) ((((triple3 triple6) -> rule2)) -> rule3)) -> rule1)) -> rule6) triple5) -> rule4) OR ((((((((triple3 triple6) -> rule2) ((((triple3 triple6) -> rule2)) -> rule3)) -> rule1)) -> rule6) ((triple3 triple6) -> rule2)) -> rule4))] Bob is smart.[(((triple5) -> rule3) OR ((((triple3 triple6) -> rule2)) -> rule3))] Harry is big.[(((triple16) -> rule5) OR ((triple16 triple15) -> rule8))] @2: Anne is white.[(((triple2 ((triple2) -> rule3)) -> rule1))] @3: Anne is green.[(((((triple2 ((triple2) -> rule3)) -> rule1)) -> rule6))] @4: Anne is big.[(((((((triple2 ((triple2) -> rule3)) -> rule1)) -> rule6)) -> rule5) OR ((((((triple2 ((triple2) -> rule3)) -> rule1)) -> rule6) triple1) -> rule8) OR ((((((triple2 ((triple2) -> rule3)) -> rule1)) -> rule6) triple2) -> rule4))] @5: Anne is red.[(((((((((triple2 ((triple2) -> rule3)) -> rule1)) -> rule6)) -> rule5) ((triple2 ((triple2) -> rule3)) -> rule1)) -> rule7) OR ((((((((triple2 ((triple2) -> rule3)) -> rule1)) -> rule6) triple1) -> rule8) ((triple2 ((triple2) -> rule3)) -> rule1)) -> rule7) OR ((((((((triple2 ((triple2) -> rule3)) -> rule1)) -> rule6) triple2) -> rule4) ((triple2 ((triple2) -> rule3)) -> rule1)) -> rule7))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
Anne is quiet.
("Anne" "is" "quiet" "+")
triple2
Bob is furry.
("Bob" "is" "furry" "+")
triple3
Bob is green.
("Bob" "is" "green" "+")
triple4
((triple7) -> (rule6 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
((((triple5 ((triple5) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
((((((triple3 triple6) -> (rule2 % int4)) ((triple5) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
((((triple5 ((((triple3 triple6) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
((((((triple3 triple6) -> (rule2 % int4)) ((((triple3 triple6) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
triple5
((triple3 triple6) -> (rule2 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
triple6
Bob is white.
("Bob" "is" "white" "+")
triple7
((triple5 ((triple5) -> (rule3 % int2))) -> (rule1 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
((((triple3 triple6) -> (rule2 % int3)) ((triple5) -> (rule3 % int2))) -> (rule1 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
((triple5 ((((triple3 triple6) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
((((triple3 triple6) -> (rule2 % int3)) ((((triple3 triple6) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
triple8
((triple10) -> (rule5 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
((triple10 triple11) -> (rule4 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
((triple10 triple9) -> (rule8 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
((((triple14) -> (rule6 % int2))) -> (rule5 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
((triple10 ((triple9 triple12) -> (rule2 % int2))) -> (rule4 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
((((triple14) -> (rule6 % int2)) triple11) -> (rule4 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
((((triple14) -> (rule6 % int2)) triple9) -> (rule8 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
((((triple14) -> (rule6 % int3)) ((triple9 triple12) -> (rule2 % int2))) -> (rule4 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
((((((triple11 triple13) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
((((((triple11 triple13) -> (rule1 % int3))) -> (rule6 % int2)) triple11) -> (rule4 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
((((((triple11 triple13) -> (rule1 % int3))) -> (rule6 % int2)) triple9) -> (rule8 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
((((((triple11 triple13) -> (rule1 % int4))) -> (rule6 % int3)) ((triple9 triple12) -> (rule2 % int2))) -> (rule4 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
((((((triple11 ((triple11) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
((((((((triple9 triple12) -> (rule2 % int4)) triple13) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is quiet.
("Dave" "is" "quiet" "+")
int4
((((((triple11 ((triple11) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule6 % int2)) triple11) -> (rule4 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
((((((triple11 ((triple11) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule6 % int2)) triple9) -> (rule8 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
((((((((triple9 triple12) -> (rule2 % int4)) triple13) -> (rule1 % int3))) -> (rule6 % int2)) triple11) -> (rule4 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is quiet.
("Dave" "is" "quiet" "+")
int4
((((((((triple9 triple12) -> (rule2 % int4)) triple13) -> (rule1 % int3))) -> (rule6 % int2)) triple9) -> (rule8 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is quiet.
("Dave" "is" "quiet" "+")
int4
((((((((triple9 triple12) -> (rule2 % int5)) ((triple11) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
Dave is quiet.
("Dave" "is" "quiet" "+")
int5
((((((triple11 ((triple11) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule6 % int3)) ((triple9 triple12) -> (rule2 % int2))) -> (rule4 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
Dave is smart.
("Dave" "is" "smart" "+")
int5
((((((((triple9 triple12) -> (rule2 % int4)) triple13) -> (rule1 % int3))) -> (rule6 % int2)) ((triple9 triple12) -> (rule2 % int4))) -> (rule4 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is quiet.
("Dave" "is" "quiet" "+")
int4
((((((((triple9 triple12) -> (rule2 % int5)) ((triple11) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule6 % int2)) triple11) -> (rule4 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
Dave is quiet.
("Dave" "is" "quiet" "+")
int5
((((((((triple9 triple12) -> (rule2 % int5)) ((triple11) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule6 % int2)) triple9) -> (rule8 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
Dave is quiet.
("Dave" "is" "quiet" "+")
int5
((((((((triple9 triple12) -> (rule2 % int5)) ((triple11) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule6 % int2)) ((triple9 triple12) -> (rule2 % int5))) -> (rule4 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
Dave is quiet.
("Dave" "is" "quiet" "+")
int5
((((((triple11 ((((triple9 triple12) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
Dave is quiet.
("Dave" "is" "quiet" "+")
int5
((((((triple11 ((((triple9 triple12) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule6 % int2)) triple11) -> (rule4 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
Dave is quiet.
("Dave" "is" "quiet" "+")
int5
((((((triple11 ((((triple9 triple12) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule6 % int2)) triple9) -> (rule8 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
Dave is quiet.
("Dave" "is" "quiet" "+")
int5
((((((((triple9 triple12) -> (rule2 % int5)) ((((triple9 triple12) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
Dave is quiet.
("Dave" "is" "quiet" "+")
int5
((((((triple11 ((((triple9 triple12) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule6 % int2)) ((triple9 triple12) -> (rule2 % int5))) -> (rule4 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
Dave is quiet.
("Dave" "is" "quiet" "+")
int5
((((((((triple9 triple12) -> (rule2 % int5)) ((((triple9 triple12) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule6 % int2)) triple11) -> (rule4 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
Dave is quiet.
("Dave" "is" "quiet" "+")
int5
((((((((triple9 triple12) -> (rule2 % int5)) ((((triple9 triple12) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule6 % int2)) triple9) -> (rule8 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
Dave is quiet.
("Dave" "is" "quiet" "+")
int5
((((((((triple9 triple12) -> (rule2 % int5)) ((((triple9 triple12) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule6 % int2)) ((triple9 triple12) -> (rule2 % int5))) -> (rule4 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
Dave is quiet.
("Dave" "is" "quiet" "+")
int5
Dave is furry.
("Dave" "is" "furry" "+")
triple9
Dave is green.
("Dave" "is" "green" "+")
triple10
((triple14) -> (rule6 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
((((triple11 triple13) -> (rule1 % int2))) -> (rule6 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
((((triple11 ((triple11) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
((((((triple9 triple12) -> (rule2 % int3)) triple13) -> (rule1 % int2))) -> (rule6 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
((((((triple9 triple12) -> (rule2 % int4)) ((triple11) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is quiet.
("Dave" "is" "quiet" "+")
int4
((((triple11 ((((triple9 triple12) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is quiet.
("Dave" "is" "quiet" "+")
int4
((((((triple9 triple12) -> (rule2 % int4)) ((((triple9 triple12) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is quiet.
("Dave" "is" "quiet" "+")
int4
Dave is quiet.
("Dave" "is" "quiet" "+")
triple11
((triple9 triple12) -> (rule2 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
triple12
Dave is smart.
("Dave" "is" "smart" "+")
triple13
((triple11) -> (rule3 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
((((triple9 triple12) -> (rule2 % int2))) -> (rule3 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
triple14
((triple11 triple13) -> (rule1 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
((triple11 ((triple11) -> (rule3 % int2))) -> (rule1 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
((((triple9 triple12) -> (rule2 % int2)) triple13) -> (rule1 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
((((triple9 triple12) -> (rule2 % int3)) ((triple11) -> (rule3 % int2))) -> (rule1 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
((triple11 ((((triple9 triple12) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
((((triple9 triple12) -> (rule2 % int3)) ((((triple9 triple12) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
triple15
Harry is green.
("Harry" "is" "green" "+")
triple16
Anne is smart.
("Anne" "is" "smart" "+")
((triple2) -> (rule3 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
((triple4) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
((triple4 triple3) -> (rule8 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
((triple4 triple5) -> (rule4 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
((((triple7) -> (rule6 % int2))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
((triple4 ((triple3 triple6) -> (rule2 % int2))) -> (rule4 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
((((triple7) -> (rule6 % int2)) triple3) -> (rule8 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
((((triple7) -> (rule6 % int2)) triple5) -> (rule4 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
((((triple7) -> (rule6 % int3)) ((triple3 triple6) -> (rule2 % int2))) -> (rule4 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
((((((triple5 ((triple5) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
((((((triple5 ((triple5) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule6 % int2)) triple3) -> (rule8 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
((((((triple5 ((triple5) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule6 % int2)) triple5) -> (rule4 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
((((((((triple3 triple6) -> (rule2 % int5)) ((triple5) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
((((((triple5 ((triple5) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule6 % int3)) ((triple3 triple6) -> (rule2 % int2))) -> (rule4 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
Bob is smart.
("Bob" "is" "smart" "+")
int5
((((((((triple3 triple6) -> (rule2 % int5)) ((triple5) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule6 % int2)) triple3) -> (rule8 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
((((((((triple3 triple6) -> (rule2 % int5)) ((triple5) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule6 % int2)) triple5) -> (rule4 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
((((((((triple3 triple6) -> (rule2 % int5)) ((triple5) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule6 % int2)) ((triple3 triple6) -> (rule2 % int5))) -> (rule4 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
((((((triple5 ((((triple3 triple6) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
((((((triple5 ((((triple3 triple6) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule6 % int2)) triple3) -> (rule8 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
((((((triple5 ((((triple3 triple6) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule6 % int2)) triple5) -> (rule4 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
((((((((triple3 triple6) -> (rule2 % int5)) ((((triple3 triple6) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
((((((triple5 ((((triple3 triple6) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule6 % int2)) ((triple3 triple6) -> (rule2 % int5))) -> (rule4 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
((((((((triple3 triple6) -> (rule2 % int5)) ((((triple3 triple6) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule6 % int2)) triple3) -> (rule8 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
((((((((triple3 triple6) -> (rule2 % int5)) ((((triple3 triple6) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule6 % int2)) triple5) -> (rule4 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
((((((((triple3 triple6) -> (rule2 % int5)) ((((triple3 triple6) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule6 % int2)) ((triple3 triple6) -> (rule2 % int5))) -> (rule4 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
Bob is smart.
("Bob" "is" "smart" "+")
((triple5) -> (rule3 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
((((triple3 triple6) -> (rule2 % int2))) -> (rule3 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
((triple16) -> (rule5 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
((triple16 triple15) -> (rule8 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
((triple2 ((triple2) -> (rule3 % int2))) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
((((triple2 ((triple2) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
((((((triple2 ((triple2) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
int4
((((((triple2 ((triple2) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule6 % int2)) triple1) -> (rule8 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
int4
((((((triple2 ((triple2) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule6 % int2)) triple2) -> (rule4 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
int4
Anne is red.
("Anne" "is" "red" "+")
((((((((triple2 ((triple2) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule5 % int2)) ((triple2 ((triple2) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule7 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is smart.
("Anne" "is" "smart" "+")
int5
((((((((triple2 ((triple2) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule6 % int3)) triple1) -> (rule8 % int2)) ((triple2 ((triple2) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule7 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is smart.
("Anne" "is" "smart" "+")
int5
((((((((triple2 ((triple2) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule6 % int3)) triple2) -> (rule4 % int2)) ((triple2 ((triple2) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule7 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is smart.
("Anne" "is" "smart" "+")
int5