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