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