Anne is blue. Anne is red. Anne is round. Anne is white. Bob is blue. Bob is furry. Bob is green. Bob is nice. Bob is red. Bob is round. Bob is white. Harry is nice. Harry is red. Harry is round. Harry is white. If something is round then it is green. Furry, green things are round. If something is red and blue then it is green. If something is nice and furry then it is blue. Nice things are green. If Anne is green then Anne is blue. If something is red then it is furry. If something is blue and round then it is white.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is white.
("Anne" "is" "white" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is white.
("Bob" "is" "white" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is white.
("Harry" "is" "white" "+")
If something is round then it is green.
((("something" "is" "round" "+")) -> ("something" "is" "green" "+"))
Furry, green things are round.
((("something" "is" "furry" "+") ("something" "is" "green" "+")) -> ("something" "is" "round" "+"))
If something is red and blue then it is green.
((("something" "is" "red" "+") ("something" "is" "blue" "+")) -> ("something" "is" "green" "+"))
If something is nice and furry then it is blue.
((("something" "is" "nice" "+") ("something" "is" "furry" "+")) -> ("something" "is" "blue" "+"))
Nice things are green.
((("something" "is" "nice" "+")) -> ("something" "is" "green" "+"))
If Anne is green then Anne is blue.
((("Anne" "is" "green" "+")) -> ("Anne" "is" "blue" "+"))
If something is red then it is furry.
((("something" "is" "red" "+")) -> ("something" "is" "furry" "+"))
If something is blue and round then it is white.
((("something" "is" "blue" "+") ("something" "is" "round" "+")) -> ("something" "is" "white" "+"))
Anne is white.
True
1
proof
[(triple4 OR ((triple1 triple3) -> rule8) OR ((((((triple3) -> rule1)) -> rule6) triple3) -> rule8) OR ((triple1 ((((triple2) -> rule7) ((triple2 triple1) -> rule3)) -> rule2)) -> rule8) OR ((((((triple3) -> rule1)) -> rule6) ((((triple2) -> rule7) ((triple2 triple1) -> rule3)) -> rule2)) -> rule8))]
("Anne" "is" "white" "+")
triple4
((triple1 triple3) -> (rule8 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
((((((triple3) -> (rule1 % int3))) -> (rule6 % int2)) triple3) -> (rule8 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
((triple1 ((((triple2) -> (rule7 % int4)) ((triple2 triple1) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
((((((triple3) -> (rule1 % int5))) -> (rule6 % int4)) ((((triple2) -> (rule7 % int3)) ((triple2 triple1) -> (rule3 % int5))) -> (rule2 % int2))) -> (rule8 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
Anne is green.
("Anne" "is" "green" "+")
int5
Harry is not red.
False
1
inv-proof
[(triple13)]
("Harry" "is" "red" "-")
triple13
Anne is green.
True
2
proof
[(((triple3) -> rule1) OR ((triple2 triple1) -> rule3))]
("Anne" "is" "green" "+")
((triple3) -> (rule1 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
((triple2 triple1) -> (rule3 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is not green.
False
2
inv-proof
[(((triple3) -> rule1) OR ((triple2 triple1) -> rule3))]
("Anne" "is" "green" "-")
((triple3) -> (rule1 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
((triple2 triple1) -> (rule3 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
@0: Anne is blue.[(triple1 OR ((((triple3) -> rule1)) -> rule6))] Anne is red.[(triple2)] Anne is round.[(triple3 OR ((((triple2) -> rule7) ((triple2 triple1) -> rule3)) -> rule2))] Anne is white.[(triple4 OR ((triple1 triple3) -> rule8) OR ((((((triple3) -> rule1)) -> rule6) triple3) -> rule8) OR ((triple1 ((((triple2) -> rule7) ((triple2 triple1) -> rule3)) -> rule2)) -> rule8) OR ((((((triple3) -> rule1)) -> rule6) ((((triple2) -> rule7) ((triple2 triple1) -> rule3)) -> rule2)) -> rule8))] Bob is blue.[(triple5 OR ((triple8 triple6) -> rule4) OR ((triple8 ((triple9) -> rule7)) -> rule4))] Bob is furry.[(triple6 OR ((triple9) -> rule7))] Bob is green.[(triple7 OR ((triple10) -> rule1) OR ((triple8) -> rule5) OR ((triple9 triple5) -> rule3) OR ((triple9 ((triple8 triple6) -> rule4)) -> rule3) OR ((triple9 ((triple8 ((triple9) -> rule7)) -> rule4)) -> rule3))] Bob is nice.[(triple8)] Bob is red.[(triple9)] Bob is round.[(triple10 OR ((triple6 triple7) -> rule2) OR ((triple6 ((triple8) -> rule5)) -> rule2) OR ((triple6 ((triple9 triple5) -> rule3)) -> rule2) OR ((((triple9) -> rule7) triple7) -> rule2) OR ((((triple9) -> rule7) ((triple8) -> rule5)) -> rule2) OR ((((triple9) -> rule7) ((triple9 triple5) -> rule3)) -> rule2) OR ((triple6 ((triple9 ((triple8 triple6) -> rule4)) -> rule3)) -> rule2) OR ((((triple9) -> rule7) ((triple9 ((triple8 triple6) -> rule4)) -> rule3)) -> rule2) OR ((triple6 ((triple9 ((triple8 ((triple9) -> rule7)) -> rule4)) -> rule3)) -> rule2) OR ((((triple9) -> rule7) ((triple9 ((triple8 ((triple9) -> rule7)) -> rule4)) -> rule3)) -> rule2))] Bob is white.[(triple11 OR ((triple5 triple10) -> rule8) OR ((triple5 ((triple6 triple7) -> rule2)) -> rule8) OR ((((triple8 triple6) -> rule4) triple10) -> rule8) OR ((((triple8 triple6) -> rule4) ((triple6 triple7) -> rule2)) -> rule8) OR ((triple5 ((triple6 ((triple8) -> rule5)) -> rule2)) -> rule8) OR ((triple5 ((triple6 ((triple9 triple5) -> rule3)) -> rule2)) -> rule8) OR ((triple5 ((((triple9) -> rule7) triple7) -> rule2)) -> rule8) OR ((((triple8 ((triple9) -> rule7)) -> rule4) triple10) -> rule8) OR ((triple5 ((((triple9) -> rule7) ((triple8) -> rule5)) -> rule2)) -> rule8) OR ((triple5 ((((triple9) -> rule7) ((triple9 triple5) -> rule3)) -> rule2)) -> rule8) OR ((((triple8 triple6) -> rule4) ((triple6 ((triple8) -> rule5)) -> rule2)) -> rule8) OR ((((triple8 triple6) -> rule4) ((triple6 ((triple9 triple5) -> rule3)) -> rule2)) -> rule8) OR ((((triple8 triple6) -> rule4) ((((triple9) -> rule7) triple7) -> rule2)) -> rule8) OR ((((triple8 ((triple9) -> rule7)) -> rule4) ((triple6 triple7) -> rule2)) -> rule8) OR ((((triple8 triple6) -> rule4) ((((triple9) -> rule7) ((triple8) -> rule5)) -> rule2)) -> rule8) OR ((((triple8 triple6) -> rule4) ((((triple9) -> rule7) ((triple9 triple5) -> rule3)) -> rule2)) -> rule8) OR ((((triple8 ((triple9) -> rule7)) -> rule4) ((triple6 ((triple8) -> rule5)) -> rule2)) -> rule8) OR ((((triple8 ((triple9) -> rule7)) -> rule4) ((triple6 ((triple9 triple5) -> rule3)) -> rule2)) -> rule8) OR ((((triple8 ((triple9) -> rule7)) -> rule4) ((((triple9) -> rule7) triple7) -> rule2)) -> rule8) OR ((((triple8 ((triple9) -> rule7)) -> rule4) ((((triple9) -> rule7) ((triple8) -> rule5)) -> rule2)) -> rule8) OR ((((triple8 ((triple9) -> rule7)) -> rule4) ((((triple9) -> rule7) ((triple9 triple5) -> rule3)) -> rule2)) -> rule8) OR ((triple5 ((triple6 ((triple9 ((triple8 triple6) -> rule4)) -> rule3)) -> rule2)) -> rule8) OR ((triple5 ((((triple9) -> rule7) ((triple9 ((triple8 triple6) -> rule4)) -> rule3)) -> rule2)) -> rule8) OR ((((triple8 triple6) -> rule4) ((triple6 ((triple9 ((triple8 triple6) -> rule4)) -> rule3)) -> rule2)) -> rule8) OR ((((triple8 triple6) -> rule4) ((((triple9) -> rule7) ((triple9 ((triple8 triple6) -> rule4)) -> rule3)) -> rule2)) -> rule8) OR ((((triple8 ((triple9) -> rule7)) -> rule4) ((triple6 ((triple9 ((triple8 triple6) -> rule4)) -> rule3)) -> rule2)) -> rule8) OR ((((triple8 ((triple9) -> rule7)) -> rule4) ((((triple9) -> rule7) ((triple9 ((triple8 triple6) -> rule4)) -> rule3)) -> rule2)) -> rule8) OR ((triple5 ((triple6 ((triple9 ((triple8 ((triple9) -> rule7)) -> rule4)) -> rule3)) -> rule2)) -> rule8) OR ((triple5 ((((triple9) -> rule7) ((triple9 ((triple8 ((triple9) -> rule7)) -> rule4)) -> rule3)) -> rule2)) -> rule8) OR ((((triple8 triple6) -> rule4) ((triple6 ((triple9 ((triple8 ((triple9) -> rule7)) -> rule4)) -> rule3)) -> rule2)) -> rule8) OR ((((triple8 triple6) -> rule4) ((((triple9) -> rule7) ((triple9 ((triple8 ((triple9) -> rule7)) -> rule4)) -> rule3)) -> rule2)) -> rule8) OR ((((triple8 ((triple9) -> rule7)) -> rule4) ((triple6 ((triple9 ((triple8 ((triple9) -> rule7)) -> rule4)) -> rule3)) -> rule2)) -> rule8) OR ((((triple8 ((triple9) -> rule7)) -> rule4) ((((triple9) -> rule7) ((triple9 ((triple8 ((triple9) -> rule7)) -> rule4)) -> rule3)) -> rule2)) -> rule8))] Harry is nice.[(triple12)] Harry is red.[(triple13)] Harry is round.[(triple14 OR ((((triple13) -> rule7) ((triple12) -> rule5)) -> rule2) OR ((((triple13) -> rule7) ((triple13 ((triple12 ((triple13) -> rule7)) -> rule4)) -> rule3)) -> rule2))] Harry is white.[(triple15 OR ((((triple12 ((triple13) -> rule7)) -> rule4) triple14) -> rule8) OR ((((triple12 ((triple13) -> rule7)) -> rule4) ((((triple13) -> rule7) ((triple12) -> rule5)) -> rule2)) -> rule8) OR ((((triple12 ((triple13) -> rule7)) -> rule4) ((((triple13) -> rule7) ((triple13 ((triple12 ((triple13) -> rule7)) -> rule4)) -> rule3)) -> rule2)) -> rule8))] @1: Anne is furry.[(((triple2) -> rule7))] Anne is green.[(((triple3) -> rule1) OR ((triple2 triple1) -> rule3))] Harry is furry.[(((triple13) -> rule7))] Harry is green.[(((triple12) -> rule5) OR ((triple14) -> rule1) OR ((triple13 ((triple12 ((triple13) -> rule7)) -> rule4)) -> rule3))] @2: Harry is blue.[(((triple12 ((triple13) -> rule7)) -> rule4))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
((((triple3) -> (rule1 % int2))) -> (rule6 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
triple2
Anne is round.
("Anne" "is" "round" "+")
triple3
((((triple2) -> (rule7 % int3)) ((triple2 triple1) -> (rule3 % int2))) -> (rule2 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
triple4
((triple1 triple3) -> (rule8 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
((((((triple3) -> (rule1 % int3))) -> (rule6 % int2)) triple3) -> (rule8 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
((triple1 ((((triple2) -> (rule7 % int4)) ((triple2 triple1) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
((((((triple3) -> (rule1 % int5))) -> (rule6 % int4)) ((((triple2) -> (rule7 % int3)) ((triple2 triple1) -> (rule3 % int5))) -> (rule2 % int2))) -> (rule8 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
Anne is green.
("Anne" "is" "green" "+")
int5
Bob is blue.
("Bob" "is" "blue" "+")
triple5
((triple8 triple6) -> (rule4 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
((triple8 ((triple9) -> (rule7 % int2))) -> (rule4 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
triple6
((triple9) -> (rule7 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
triple7
((triple10) -> (rule1 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
((triple8) -> (rule5 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
((triple9 triple5) -> (rule3 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
((triple9 ((triple8 triple6) -> (rule4 % int2))) -> (rule3 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
((triple9 ((triple8 ((triple9) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
triple8
Bob is red.
("Bob" "is" "red" "+")
triple9
Bob is round.
("Bob" "is" "round" "+")
triple10
((triple6 triple7) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
((triple6 ((triple8) -> (rule5 % int2))) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
((triple6 ((triple9 triple5) -> (rule3 % int2))) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
((((triple9) -> (rule7 % int2)) triple7) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
((((triple9) -> (rule7 % int3)) ((triple8) -> (rule5 % int2))) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
((((triple9) -> (rule7 % int3)) ((triple9 triple5) -> (rule3 % int2))) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
((triple6 ((triple9 ((triple8 triple6) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
((((triple9) -> (rule7 % int4)) ((triple9 ((triple8 triple6) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
((triple6 ((triple9 ((triple8 ((triple9) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
((((triple9) -> (rule7 % int4)) ((triple9 ((triple8 ((triple9) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is white.
("Bob" "is" "white" "+")
triple11
((triple5 triple10) -> (rule8 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
((triple5 ((triple6 triple7) -> (rule2 % int2))) -> (rule8 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
((((triple8 triple6) -> (rule4 % int2)) triple10) -> (rule8 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
((((triple8 triple6) -> (rule4 % int3)) ((triple6 triple7) -> (rule2 % int2))) -> (rule8 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
((triple5 ((triple6 ((triple8) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
((triple5 ((triple6 ((triple9 triple5) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
((triple5 ((((triple9) -> (rule7 % int3)) triple7) -> (rule2 % int2))) -> (rule8 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
((((triple8 ((triple9) -> (rule7 % int3))) -> (rule4 % int2)) triple10) -> (rule8 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
((triple5 ((((triple9) -> (rule7 % int4)) ((triple8) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
((triple5 ((((triple9) -> (rule7 % int4)) ((triple9 triple5) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
((((triple8 triple6) -> (rule4 % int4)) ((triple6 ((triple8) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
((((triple8 triple6) -> (rule4 % int4)) ((triple6 ((triple9 triple5) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
((((triple8 triple6) -> (rule4 % int4)) ((((triple9) -> (rule7 % int3)) triple7) -> (rule2 % int2))) -> (rule8 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
((((triple8 ((triple9) -> (rule7 % int4))) -> (rule4 % int3)) ((triple6 triple7) -> (rule2 % int2))) -> (rule8 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
((((triple8 triple6) -> (rule4 % int5)) ((((triple9) -> (rule7 % int4)) ((triple8) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
((((triple8 triple6) -> (rule4 % int5)) ((((triple9) -> (rule7 % int4)) ((triple9 triple5) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
((((triple8 ((triple9) -> (rule7 % int5))) -> (rule4 % int4)) ((triple6 ((triple8) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
((((triple8 ((triple9) -> (rule7 % int5))) -> (rule4 % int4)) ((triple6 ((triple9 triple5) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
((((triple8 ((triple9) -> (rule7 % int4))) -> (rule4 % int3)) ((((triple9) -> (rule7 % int4)) triple7) -> (rule2 % int2))) -> (rule8 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
((((triple8 ((triple9) -> (rule7 % int5))) -> (rule4 % int4)) ((((triple9) -> (rule7 % int5)) ((triple8) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
((((triple8 ((triple9) -> (rule7 % int5))) -> (rule4 % int4)) ((((triple9) -> (rule7 % int5)) ((triple9 triple5) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
((triple5 ((triple6 ((triple9 ((triple8 triple6) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
((triple5 ((((triple9) -> (rule7 % int5)) ((triple9 ((triple8 triple6) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
((((triple8 triple6) -> (rule4 % int4)) ((triple6 ((triple9 ((triple8 triple6) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
((((triple8 triple6) -> (rule4 % int5)) ((((triple9) -> (rule7 % int4)) ((triple9 ((triple8 triple6) -> (rule4 % int5))) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
((((triple8 ((triple9) -> (rule7 % int5))) -> (rule4 % int4)) ((triple6 ((triple9 ((triple8 triple6) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
((((triple8 ((triple9) -> (rule7 % int5))) -> (rule4 % int4)) ((((triple9) -> (rule7 % int5)) ((triple9 ((triple8 triple6) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
((triple5 ((triple6 ((triple9 ((triple8 ((triple9) -> (rule7 % int5))) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
((triple5 ((((triple9) -> (rule7 % int5)) ((triple9 ((triple8 ((triple9) -> (rule7 % int5))) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
((((triple8 triple6) -> (rule4 % int5)) ((triple6 ((triple9 ((triple8 ((triple9) -> (rule7 % int4))) -> (rule4 % int5))) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
((((triple8 triple6) -> (rule4 % int5)) ((((triple9) -> (rule7 % int4)) ((triple9 ((triple8 ((triple9) -> (rule7 % int4))) -> (rule4 % int5))) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
((((triple8 ((triple9) -> (rule7 % int5))) -> (rule4 % int4)) ((triple6 ((triple9 ((triple8 ((triple9) -> (rule7 % int5))) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
((((triple8 ((triple9) -> (rule7 % int5))) -> (rule4 % int4)) ((((triple9) -> (rule7 % int5)) ((triple9 ((triple8 ((triple9) -> (rule7 % int5))) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
Harry is nice.
("Harry" "is" "nice" "+")
triple12
Harry is red.
("Harry" "is" "red" "+")
triple13
Harry is round.
("Harry" "is" "round" "+")
triple14
((((triple13) -> (rule7 % int3)) ((triple12) -> (rule5 % int2))) -> (rule2 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
((((triple13) -> (rule7 % int4)) ((triple13 ((triple12 ((triple13) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
triple15
((((triple12 ((triple13) -> (rule7 % int3))) -> (rule4 % int2)) triple14) -> (rule8 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
((((triple12 ((triple13) -> (rule7 % int5))) -> (rule4 % int4)) ((((triple13) -> (rule7 % int5)) ((triple12) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
Harry is furry.
("Harry" "is" "furry" "+")
int5
((((triple12 ((triple13) -> (rule7 % int5))) -> (rule4 % int4)) ((((triple13) -> (rule7 % int5)) ((triple13 ((triple12 ((triple13) -> (rule7 % int5))) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
Harry is furry.
("Harry" "is" "furry" "+")
int5
Anne is furry.
("Anne" "is" "furry" "+")
((triple2) -> (rule7 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
((triple3) -> (rule1 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
((triple2 triple1) -> (rule3 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
((triple13) -> (rule7 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
((triple12) -> (rule5 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
((triple14) -> (rule1 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
((triple13 ((triple12 ((triple13) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
((triple12 ((triple13) -> (rule7 % int2))) -> (rule4 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2