Bob is big. Bob is cold. Bob is rough. Dave is furry. Dave is rough. Dave is smart. Erin is big. Erin is furry. Erin is rough. Erin is round. Erin is smart. Erin is white. If something is big then it is white. White things are smart. If Erin is white and Erin is round then Erin is furry. If something is furry and round then it is cold. All furry things are round. If something is white then it is round. If Dave is rough and Dave is smart then Dave is furry. All smart, cold things are furry.
Bob is big.
("Bob" "is" "big" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Erin is white.
("Erin" "is" "white" "+")
If something is big then it is white.
((("something" "is" "big" "+")) -> ("something" "is" "white" "+"))
White things are smart.
((("something" "is" "white" "+")) -> ("something" "is" "smart" "+"))
If Erin is white and Erin is round then Erin is furry.
((("Erin" "is" "white" "+") ("Erin" "is" "round" "+")) -> ("Erin" "is" "furry" "+"))
If something is furry and round then it is cold.
((("something" "is" "furry" "+") ("something" "is" "round" "+")) -> ("something" "is" "cold" "+"))
All furry things are round.
((("something" "is" "furry" "+")) -> ("something" "is" "round" "+"))
If something is white then it is round.
((("something" "is" "white" "+")) -> ("something" "is" "round" "+"))
If Dave is rough and Dave is smart then Dave is furry.
((("Dave" "is" "rough" "+") ("Dave" "is" "smart" "+")) -> ("Dave" "is" "furry" "+"))
All smart, cold things are furry.
((("something" "is" "smart" "+") ("something" "is" "cold" "+")) -> ("something" "is" "furry" "+"))
Bob is big.
True
1
proof
[(triple1)]
("Bob" "is" "big" "+")
triple1
Erin is not round.
False
1
inv-proof
[(triple10 OR ((triple12) -> rule6) OR ((triple8) -> rule5) OR ((((triple7) -> rule1)) -> rule6))]
("Erin" "is" "round" "-")
triple10
((triple12) -> (rule6 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
((triple8) -> (rule5 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
((((triple7) -> (rule1 % int2))) -> (rule6 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Dave is round.
True
2
proof
[(((triple4) -> rule5) OR ((((triple5 triple6) -> rule7)) -> rule5))]
("Dave" "is" "round" "+")
((triple4) -> (rule5 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
((((triple5 triple6) -> (rule7 % int2))) -> (rule5 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Erin is not cold.
False
3
inv-proof
[(((triple8 triple10) -> rule4) OR ((triple8 ((triple12) -> rule6)) -> rule4) OR ((triple8 ((triple8) -> rule5)) -> rule4) OR ((((triple12 triple10) -> rule3) triple10) -> rule4) OR ((((triple12 triple10) -> rule3) ((triple12) -> rule6)) -> rule4) OR ((((triple12 triple10) -> rule3) ((triple8) -> rule5)) -> rule4) OR ((triple8 ((((triple7) -> rule1)) -> rule6)) -> rule4) OR ((((triple12 ((triple12) -> rule6)) -> rule3) triple10) -> rule4) OR ((((((triple7) -> rule1) triple10) -> rule3) triple10) -> rule4) OR ((((triple12 triple10) -> rule3) ((((triple7) -> rule1)) -> rule6)) -> rule4) OR ((((triple12 ((triple12) -> rule6)) -> rule3) ((triple12) -> rule6)) -> rule4) OR ((((triple12 ((triple12) -> rule6)) -> rule3) ((triple8) -> rule5)) -> rule4) OR ((((((triple7) -> rule1) triple10) -> rule3) ((triple12) -> rule6)) -> rule4) OR ((((((triple7) -> rule1) triple10) -> rule3) ((triple8) -> rule5)) -> rule4) OR ((((((triple7) -> rule1) ((triple12) -> rule6)) -> rule3) triple10) -> rule4) OR ((((triple12 ((triple12) -> rule6)) -> rule3) ((((triple7) -> rule1)) -> rule6)) -> rule4) OR ((((((triple7) -> rule1) triple10) -> rule3) ((((triple7) -> rule1)) -> rule6)) -> rule4) OR ((((((triple7) -> rule1) ((triple12) -> rule6)) -> rule3) ((triple12) -> rule6)) -> rule4) OR ((((((triple7) -> rule1) ((triple12) -> rule6)) -> rule3) ((triple8) -> rule5)) -> rule4) OR ((((((triple7) -> rule1) ((triple12) -> rule6)) -> rule3) ((((triple7) -> rule1)) -> rule6)) -> rule4) OR ((((triple12 ((((triple7) -> rule1)) -> rule6)) -> rule3) triple10) -> rule4) OR ((((triple12 ((((triple7) -> rule1)) -> rule6)) -> rule3) ((triple12) -> rule6)) -> rule4) OR ((((triple12 ((((triple7) -> rule1)) -> rule6)) -> rule3) ((triple8) -> rule5)) -> rule4) OR ((((((triple7) -> rule1) ((((triple7) -> rule1)) -> rule6)) -> rule3) triple10) -> rule4) OR ((((triple12 ((((triple7) -> rule1)) -> rule6)) -> rule3) ((((triple7) -> rule1)) -> rule6)) -> rule4) OR ((((((triple7) -> rule1) ((((triple7) -> rule1)) -> rule6)) -> rule3) ((triple12) -> rule6)) -> rule4) OR ((((((triple7) -> rule1) ((((triple7) -> rule1)) -> rule6)) -> rule3) ((triple8) -> rule5)) -> rule4) OR ((((((triple7) -> rule1) ((((triple7) -> rule1)) -> rule6)) -> rule3) ((((triple7) -> rule1)) -> rule6)) -> rule4))]
("Erin" "is" "cold" "-")
((triple8 triple10) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
((triple8 ((triple12) -> (rule6 % int2))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
((triple8 ((triple8) -> (rule5 % int2))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
((((triple12 triple10) -> (rule3 % int2)) triple10) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
((((triple12 triple10) -> (rule3 % int3)) ((triple12) -> (rule6 % int2))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
((((triple12 triple10) -> (rule3 % int3)) ((triple8) -> (rule5 % int2))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
((triple8 ((((triple7) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
((((triple12 ((triple12) -> (rule6 % int3))) -> (rule3 % int2)) triple10) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
((((((triple7) -> (rule1 % int3)) triple10) -> (rule3 % int2)) triple10) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
((((triple12 triple10) -> (rule3 % int4)) ((((triple7) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
((((triple12 ((triple12) -> (rule6 % int3))) -> (rule3 % int2)) ((triple12) -> (rule6 % int3))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
((((triple12 ((triple12) -> (rule6 % int3))) -> (rule3 % int2)) ((triple8) -> (rule5 % int3))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
((((((triple7) -> (rule1 % int4)) triple10) -> (rule3 % int3)) ((triple12) -> (rule6 % int2))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
((((((triple7) -> (rule1 % int4)) triple10) -> (rule3 % int3)) ((triple8) -> (rule5 % int2))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
((((((triple7) -> (rule1 % int4)) ((triple12) -> (rule6 % int3))) -> (rule3 % int2)) triple10) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
((((triple12 ((triple12) -> (rule6 % int4))) -> (rule3 % int3)) ((((triple7) -> (rule1 % int2))) -> (rule6 % int4))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
((((((triple7) -> (rule1 % int4)) triple10) -> (rule3 % int3)) ((((triple7) -> (rule1 % int4))) -> (rule6 % int2))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
((((((triple7) -> (rule1 % int4)) ((triple12) -> (rule6 % int3))) -> (rule3 % int2)) ((triple12) -> (rule6 % int3))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
((((((triple7) -> (rule1 % int4)) ((triple12) -> (rule6 % int3))) -> (rule3 % int2)) ((triple8) -> (rule5 % int3))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
((((((triple7) -> (rule1 % int4)) ((triple12) -> (rule6 % int3))) -> (rule3 % int2)) ((((triple7) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
((((triple12 ((((triple7) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule3 % int2)) triple10) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
((((triple12 ((((triple7) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule3 % int2)) ((triple12) -> (rule6 % int3))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
((((triple12 ((((triple7) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule3 % int2)) ((triple8) -> (rule5 % int3))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
((((((triple7) -> (rule1 % int4)) ((((triple7) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule3 % int2)) triple10) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
((((triple12 ((((triple7) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule3 % int2)) ((((triple7) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
((((((triple7) -> (rule1 % int4)) ((((triple7) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule3 % int2)) ((triple12) -> (rule6 % int3))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
((((((triple7) -> (rule1 % int4)) ((((triple7) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule3 % int2)) ((triple8) -> (rule5 % int3))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
((((((triple7) -> (rule1 % int4)) ((((triple7) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule3 % int2)) ((((triple7) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
Dave is cold.
True
4
proof
[(((triple4 ((triple4) -> rule5)) -> rule4) OR ((((triple5 triple6) -> rule7) ((triple4) -> rule5)) -> rule4) OR ((triple4 ((((triple5 triple6) -> rule7)) -> rule5)) -> rule4) OR ((((triple5 triple6) -> rule7) ((((triple5 triple6) -> rule7)) -> rule5)) -> rule4))]
("Dave" "is" "cold" "+")
((triple4 ((triple4) -> (rule5 % int2))) -> (rule4 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
((((triple5 triple6) -> (rule7 % int3)) ((triple4) -> (rule5 % int2))) -> (rule4 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
((triple4 ((((triple5 triple6) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
((((triple5 triple6) -> (rule7 % int3)) ((((triple5 triple6) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Bob is not smart.
False
3
inv-proof
[(((((triple1) -> rule1)) -> rule2))]
("Bob" "is" "smart" "-")
((((triple1) -> (rule1 % int2))) -> (rule2 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is furry.
True
5
proof
[(((((((triple1) -> rule1)) -> rule2) triple2) -> rule8))]
("Bob" "is" "furry" "+")
((((((triple1) -> (rule1 % int3))) -> (rule2 % int2)) triple2) -> (rule8 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is not furry.
False
5
inv-proof
[(((((((triple1) -> rule1)) -> rule2) triple2) -> rule8))]
("Bob" "is" "furry" "-")
((((((triple1) -> (rule1 % int3))) -> (rule2 % int2)) triple2) -> (rule8 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Dave is not white.
Unknown
inv-rconc
[@1: Dave is white.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "white" "-")
Dave is big.
Unknown
random
[@0: Dave is big.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "big" "+")
@0: Bob is big.[(triple1)] Bob is cold.[(triple2)] Bob is rough.[(triple3)] Dave is furry.[(triple4 OR ((triple5 triple6) -> rule7))] Dave is rough.[(triple5)] Dave is smart.[(triple6)] Erin is big.[(triple7)] Erin is furry.[(triple8 OR ((triple12 triple10) -> rule3) OR ((triple12 ((triple12) -> rule6)) -> rule3) OR ((((triple7) -> rule1) triple10) -> rule3) OR ((((triple7) -> rule1) ((triple12) -> rule6)) -> rule3) OR ((triple12 ((((triple7) -> rule1)) -> rule6)) -> rule3) OR ((((triple7) -> rule1) ((((triple7) -> rule1)) -> rule6)) -> rule3))] Erin is rough.[(triple9)] Erin is round.[(triple10 OR ((triple12) -> rule6) OR ((triple8) -> rule5) OR ((((triple7) -> rule1)) -> rule6))] Erin is smart.[(triple11 OR ((triple12) -> rule2) OR ((((triple7) -> rule1)) -> rule2))] Erin is white.[(triple12 OR ((triple7) -> rule1))] @1: Bob is white.[(((triple1) -> rule1))] Dave is round.[(((triple4) -> rule5) OR ((((triple5 triple6) -> rule7)) -> rule5))] Erin is cold.[(((triple8 triple10) -> rule4) OR ((triple8 ((triple12) -> rule6)) -> rule4) OR ((triple8 ((triple8) -> rule5)) -> rule4) OR ((((triple12 triple10) -> rule3) triple10) -> rule4) OR ((((triple12 triple10) -> rule3) ((triple12) -> rule6)) -> rule4) OR ((((triple12 triple10) -> rule3) ((triple8) -> rule5)) -> rule4) OR ((triple8 ((((triple7) -> rule1)) -> rule6)) -> rule4) OR ((((triple12 ((triple12) -> rule6)) -> rule3) triple10) -> rule4) OR ((((((triple7) -> rule1) triple10) -> rule3) triple10) -> rule4) OR ((((triple12 triple10) -> rule3) ((((triple7) -> rule1)) -> rule6)) -> rule4) OR ((((triple12 ((triple12) -> rule6)) -> rule3) ((triple12) -> rule6)) -> rule4) OR ((((triple12 ((triple12) -> rule6)) -> rule3) ((triple8) -> rule5)) -> rule4) OR ((((((triple7) -> rule1) triple10) -> rule3) ((triple12) -> rule6)) -> rule4) OR ((((((triple7) -> rule1) triple10) -> rule3) ((triple8) -> rule5)) -> rule4) OR ((((((triple7) -> rule1) ((triple12) -> rule6)) -> rule3) triple10) -> rule4) OR ((((triple12 ((triple12) -> rule6)) -> rule3) ((((triple7) -> rule1)) -> rule6)) -> rule4) OR ((((((triple7) -> rule1) triple10) -> rule3) ((((triple7) -> rule1)) -> rule6)) -> rule4) OR ((((((triple7) -> rule1) ((triple12) -> rule6)) -> rule3) ((triple12) -> rule6)) -> rule4) OR ((((((triple7) -> rule1) ((triple12) -> rule6)) -> rule3) ((triple8) -> rule5)) -> rule4) OR ((((((triple7) -> rule1) ((triple12) -> rule6)) -> rule3) ((((triple7) -> rule1)) -> rule6)) -> rule4) OR ((((triple12 ((((triple7) -> rule1)) -> rule6)) -> rule3) triple10) -> rule4) OR ((((triple12 ((((triple7) -> rule1)) -> rule6)) -> rule3) ((triple12) -> rule6)) -> rule4) OR ((((triple12 ((((triple7) -> rule1)) -> rule6)) -> rule3) ((triple8) -> rule5)) -> rule4) OR ((((((triple7) -> rule1) ((((triple7) -> rule1)) -> rule6)) -> rule3) triple10) -> rule4) OR ((((triple12 ((((triple7) -> rule1)) -> rule6)) -> rule3) ((((triple7) -> rule1)) -> rule6)) -> rule4) OR ((((((triple7) -> rule1) ((((triple7) -> rule1)) -> rule6)) -> rule3) ((triple12) -> rule6)) -> rule4) OR ((((((triple7) -> rule1) ((((triple7) -> rule1)) -> rule6)) -> rule3) ((triple8) -> rule5)) -> rule4) OR ((((((triple7) -> rule1) ((((triple7) -> rule1)) -> rule6)) -> rule3) ((((triple7) -> rule1)) -> rule6)) -> rule4))] @2: Bob is round.[(((((triple1) -> rule1)) -> rule6) OR ((((((((triple1) -> rule1)) -> rule2) triple2) -> rule8)) -> rule5))] Bob is smart.[(((((triple1) -> rule1)) -> rule2))] Dave is cold.[(((triple4 ((triple4) -> rule5)) -> rule4) OR ((((triple5 triple6) -> rule7) ((triple4) -> rule5)) -> rule4) OR ((triple4 ((((triple5 triple6) -> rule7)) -> rule5)) -> rule4) OR ((((triple5 triple6) -> rule7) ((((triple5 triple6) -> rule7)) -> rule5)) -> rule4))] @3: Bob is furry.[(((((((triple1) -> rule1)) -> rule2) triple2) -> rule8))]
Bob is big.
("Bob" "is" "big" "+")
triple1
Bob is cold.
("Bob" "is" "cold" "+")
triple2
Bob is rough.
("Bob" "is" "rough" "+")
triple3
Dave is furry.
("Dave" "is" "furry" "+")
triple4
((triple5 triple6) -> (rule7 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
triple5
Dave is smart.
("Dave" "is" "smart" "+")
triple6
Erin is big.
("Erin" "is" "big" "+")
triple7
Erin is furry.
("Erin" "is" "furry" "+")
triple8
((triple12 triple10) -> (rule3 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
((triple12 ((triple12) -> (rule6 % int2))) -> (rule3 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
((((triple7) -> (rule1 % int2)) triple10) -> (rule3 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
((((triple7) -> (rule1 % int3)) ((triple12) -> (rule6 % int2))) -> (rule3 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
((triple12 ((((triple7) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
((((triple7) -> (rule1 % int3)) ((((triple7) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
triple9
Erin is round.
("Erin" "is" "round" "+")
triple10
((triple12) -> (rule6 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
((triple8) -> (rule5 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
((((triple7) -> (rule1 % int2))) -> (rule6 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
triple11
((triple12) -> (rule2 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
((((triple7) -> (rule1 % int2))) -> (rule2 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
triple12
((triple7) -> (rule1 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
((triple1) -> (rule1 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
((triple4) -> (rule5 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
((((triple5 triple6) -> (rule7 % int2))) -> (rule5 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
((triple8 triple10) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
((triple8 ((triple12) -> (rule6 % int2))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
((triple8 ((triple8) -> (rule5 % int2))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
((((triple12 triple10) -> (rule3 % int2)) triple10) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
((((triple12 triple10) -> (rule3 % int3)) ((triple12) -> (rule6 % int2))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
((((triple12 triple10) -> (rule3 % int3)) ((triple8) -> (rule5 % int2))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
((triple8 ((((triple7) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
((((triple12 ((triple12) -> (rule6 % int3))) -> (rule3 % int2)) triple10) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
((((((triple7) -> (rule1 % int3)) triple10) -> (rule3 % int2)) triple10) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
((((triple12 triple10) -> (rule3 % int4)) ((((triple7) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
((((triple12 ((triple12) -> (rule6 % int3))) -> (rule3 % int2)) ((triple12) -> (rule6 % int3))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
((((triple12 ((triple12) -> (rule6 % int3))) -> (rule3 % int2)) ((triple8) -> (rule5 % int3))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
((((((triple7) -> (rule1 % int4)) triple10) -> (rule3 % int3)) ((triple12) -> (rule6 % int2))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
((((((triple7) -> (rule1 % int4)) triple10) -> (rule3 % int3)) ((triple8) -> (rule5 % int2))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
((((((triple7) -> (rule1 % int4)) ((triple12) -> (rule6 % int3))) -> (rule3 % int2)) triple10) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
((((triple12 ((triple12) -> (rule6 % int4))) -> (rule3 % int3)) ((((triple7) -> (rule1 % int2))) -> (rule6 % int4))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
((((((triple7) -> (rule1 % int4)) triple10) -> (rule3 % int3)) ((((triple7) -> (rule1 % int4))) -> (rule6 % int2))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
((((((triple7) -> (rule1 % int4)) ((triple12) -> (rule6 % int3))) -> (rule3 % int2)) ((triple12) -> (rule6 % int3))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
((((((triple7) -> (rule1 % int4)) ((triple12) -> (rule6 % int3))) -> (rule3 % int2)) ((triple8) -> (rule5 % int3))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
((((((triple7) -> (rule1 % int4)) ((triple12) -> (rule6 % int3))) -> (rule3 % int2)) ((((triple7) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
((((triple12 ((((triple7) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule3 % int2)) triple10) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
((((triple12 ((((triple7) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule3 % int2)) ((triple12) -> (rule6 % int3))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
((((triple12 ((((triple7) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule3 % int2)) ((triple8) -> (rule5 % int3))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
((((((triple7) -> (rule1 % int4)) ((((triple7) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule3 % int2)) triple10) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
((((triple12 ((((triple7) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule3 % int2)) ((((triple7) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
((((((triple7) -> (rule1 % int4)) ((((triple7) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule3 % int2)) ((triple12) -> (rule6 % int3))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
((((((triple7) -> (rule1 % int4)) ((((triple7) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule3 % int2)) ((triple8) -> (rule5 % int3))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
((((((triple7) -> (rule1 % int4)) ((((triple7) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule3 % int2)) ((((triple7) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
Bob is round.
("Bob" "is" "round" "+")
((((triple1) -> (rule1 % int2))) -> (rule6 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
((((((((triple1) -> (rule1 % int4))) -> (rule2 % int3)) triple2) -> (rule8 % int2))) -> (rule5 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
Bob is smart.
("Bob" "is" "smart" "+")
((((triple1) -> (rule1 % int2))) -> (rule2 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
((triple4 ((triple4) -> (rule5 % int2))) -> (rule4 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
((((triple5 triple6) -> (rule7 % int3)) ((triple4) -> (rule5 % int2))) -> (rule4 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
((triple4 ((((triple5 triple6) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
((((triple5 triple6) -> (rule7 % int3)) ((((triple5 triple6) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
((((((triple1) -> (rule1 % int3))) -> (rule2 % int2)) triple2) -> (rule8 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3