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