Anne is cold. Anne is furry. Anne is green. Anne is smart. Bob is cold. Bob is furry. Bob is green. Bob is quiet. Bob is red. Bob is rough. Bob is smart. Fiona is furry. Fiona is smart. Gary is furry. Gary is quiet. Gary is smart. Quiet, smart people are cold. Red, cold people are rough. All red people are furry. If someone is green and quiet then they are red. Smart people are furry. If someone is green and furry then they are rough. All cold people are red. Cold people are green.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Quiet, smart people are cold.
((("someone" "is" "quiet" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "cold" "+"))
Red, cold people are rough.
((("someone" "is" "red" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "rough" "+"))
All red people are furry.
((("someone" "is" "red" "+")) -> ("someone" "is" "furry" "+"))
If someone is green and quiet then they are red.
((("someone" "is" "green" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "red" "+"))
Smart people are furry.
((("someone" "is" "smart" "+")) -> ("someone" "is" "furry" "+"))
If someone is green and furry then they are rough.
((("someone" "is" "green" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "rough" "+"))
All cold people are red.
((("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
Cold people are green.
((("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
Anne is green.
True
1
proof
[(triple3 OR ((triple1) -> rule8))]
("Anne" "is" "green" "+")
triple3
((triple1) -> (rule8 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is not green.
False
1
inv-proof
[(triple3 OR ((triple1) -> rule8))]
("Anne" "is" "green" "-")
triple3
((triple1) -> (rule8 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is red.
True
2
proof
[(((triple1) -> rule7))]
("Anne" "is" "red" "+")
((triple1) -> (rule7 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is not rough.
False
3
inv-proof
[(((triple3 triple2) -> rule6) OR ((triple3 ((triple4) -> rule5)) -> rule6) OR ((((triple1) -> rule7) triple1) -> rule2) OR ((((triple1) -> rule8) triple2) -> rule6) OR ((((triple1) -> rule8) ((triple4) -> rule5)) -> rule6) OR ((triple3 ((((triple1) -> rule7)) -> rule3)) -> rule6) OR ((((triple1) -> rule8) ((((triple1) -> rule7)) -> rule3)) -> rule6))]
("Anne" "is" "rough" "-")
((triple3 triple2) -> (rule6 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
((triple3 ((triple4) -> (rule5 % int2))) -> (rule6 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
((((triple1) -> (rule7 % int2)) triple1) -> (rule2 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
((((triple1) -> (rule8 % int2)) triple2) -> (rule6 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
((((triple1) -> (rule8 % int3)) ((triple4) -> (rule5 % int2))) -> (rule6 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
((triple3 ((((triple1) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
((((triple1) -> (rule8 % int4)) ((((triple1) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
Gary is green.
True
4
proof
[(((((triple15 triple16) -> rule1)) -> rule8))]
("Gary" "is" "green" "+")
((((triple15 triple16) -> (rule1 % int2))) -> (rule8 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is not red.
False
4
inv-proof
[(((((triple15 triple16) -> rule1)) -> rule7) OR ((((((triple15 triple16) -> rule1)) -> rule8) triple15) -> rule4))]
("Gary" "is" "red" "-")
((((triple15 triple16) -> (rule1 % int2))) -> (rule7 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
((((((triple15 triple16) -> (rule1 % int3))) -> (rule8 % int2)) triple15) -> (rule4 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is rough.
True
6
proof
[(((((((triple15 triple16) -> rule1)) -> rule8) triple14) -> rule6) OR ((((((triple15 triple16) -> rule1)) -> rule7) ((triple15 triple16) -> rule1)) -> rule2) OR ((((((triple15 triple16) -> rule1)) -> rule8) ((triple16) -> rule5)) -> rule6) OR ((((((((triple15 triple16) -> rule1)) -> rule8) triple15) -> rule4) ((triple15 triple16) -> rule1)) -> rule2) OR ((((((triple15 triple16) -> rule1)) -> rule8) ((((((triple15 triple16) -> rule1)) -> rule7)) -> rule3)) -> rule6) OR ((((((triple15 triple16) -> rule1)) -> rule8) ((((((((triple15 triple16) -> rule1)) -> rule8) triple15) -> rule4)) -> rule3)) -> rule6))]
("Gary" "is" "rough" "+")
((((((triple15 triple16) -> (rule1 % int3))) -> (rule8 % int2)) triple14) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
((((((triple15 triple16) -> (rule1 % int3))) -> (rule7 % int2)) ((triple15 triple16) -> (rule1 % int3))) -> (rule2 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
((((((triple15 triple16) -> (rule1 % int4))) -> (rule8 % int3)) ((triple16) -> (rule5 % int2))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
((((((((triple15 triple16) -> (rule1 % int4))) -> (rule8 % int3)) triple15) -> (rule4 % int2)) ((triple15 triple16) -> (rule1 % int4))) -> (rule2 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
((((((triple15 triple16) -> (rule1 % int5))) -> (rule8 % int4)) ((((((triple15 triple16) -> (rule1 % int5))) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is cold.
("Gary" "is" "cold" "+")
int5
((((((triple15 triple16) -> (rule1 % int5))) -> (rule8 % int4)) ((((((((triple15 triple16) -> (rule1 % int5))) -> (rule8 % int4)) triple15) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is cold.
("Gary" "is" "cold" "+")
int5
Gary is not rough.
False
6
inv-proof
[(((((((triple15 triple16) -> rule1)) -> rule8) triple14) -> rule6) OR ((((((triple15 triple16) -> rule1)) -> rule7) ((triple15 triple16) -> rule1)) -> rule2) OR ((((((triple15 triple16) -> rule1)) -> rule8) ((triple16) -> rule5)) -> rule6) OR ((((((((triple15 triple16) -> rule1)) -> rule8) triple15) -> rule4) ((triple15 triple16) -> rule1)) -> rule2) OR ((((((triple15 triple16) -> rule1)) -> rule8) ((((((triple15 triple16) -> rule1)) -> rule7)) -> rule3)) -> rule6) OR ((((((triple15 triple16) -> rule1)) -> rule8) ((((((((triple15 triple16) -> rule1)) -> rule8) triple15) -> rule4)) -> rule3)) -> rule6))]
("Gary" "is" "rough" "-")
((((((triple15 triple16) -> (rule1 % int3))) -> (rule8 % int2)) triple14) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
((((((triple15 triple16) -> (rule1 % int3))) -> (rule7 % int2)) ((triple15 triple16) -> (rule1 % int3))) -> (rule2 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
((((((triple15 triple16) -> (rule1 % int4))) -> (rule8 % int3)) ((triple16) -> (rule5 % int2))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
((((((((triple15 triple16) -> (rule1 % int4))) -> (rule8 % int3)) triple15) -> (rule4 % int2)) ((triple15 triple16) -> (rule1 % int4))) -> (rule2 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
((((((triple15 triple16) -> (rule1 % int5))) -> (rule8 % int4)) ((((((triple15 triple16) -> (rule1 % int5))) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is cold.
("Gary" "is" "cold" "+")
int5
((((((triple15 triple16) -> (rule1 % int5))) -> (rule8 % int4)) ((((((((triple15 triple16) -> (rule1 % int5))) -> (rule8 % int4)) triple15) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is cold.
("Gary" "is" "cold" "+")
int5
Fiona is not cold.
Unknown
inv-rconc
[@1: Fiona is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "cold" "-")
Fiona is red.
Unknown
rconc
[@2: Fiona is red.[CWA. Example of deepest failure = (rule7 <- rule1 <- FAIL)]]
("Fiona" "is" "red" "+")
Fiona is not rough.
Unknown
inv-rconc
[@3: Fiona is rough.[CWA. Example of deepest failure = (rule6 <- rule8 <- rule1 <- FAIL)]]
("Fiona" "is" "rough" "-")
Fiona is green.
Unknown
rconc
[@2: Fiona is green.[CWA. Example of deepest failure = (rule8 <- rule1 <- FAIL)]]
("Fiona" "is" "green" "+")
Anne is not quiet.
Unknown
inv-random
[@0: Anne is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "quiet" "-")
Fiona is quiet.
Unknown
random
[@0: Fiona is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "quiet" "+")
@0: Anne is cold.[(triple1)] Anne is furry.[(triple2 OR ((triple4) -> rule5) OR ((((triple1) -> rule7)) -> rule3))] Anne is green.[(triple3 OR ((triple1) -> rule8))] Anne is smart.[(triple4)] Bob is cold.[(triple5 OR ((triple8 triple11) -> rule1))] Bob is furry.[(triple6 OR ((triple11) -> rule5) OR ((triple9) -> rule3) OR ((((triple5) -> rule7)) -> rule3) OR ((((triple7 triple8) -> rule4)) -> rule3) OR ((((((triple8 triple11) -> rule1)) -> rule7)) -> rule3) OR ((((((triple5) -> rule8) triple8) -> rule4)) -> rule3) OR ((((((((triple8 triple11) -> rule1)) -> rule8) triple8) -> rule4)) -> rule3))] Bob is green.[(triple7 OR ((triple5) -> rule8) OR ((((triple8 triple11) -> rule1)) -> rule8))] Bob is quiet.[(triple8)] Bob is red.[(triple9 OR ((triple5) -> rule7) OR ((triple7 triple8) -> rule4) OR ((((triple8 triple11) -> rule1)) -> rule7) OR ((((triple5) -> rule8) triple8) -> rule4) OR ((((((triple8 triple11) -> rule1)) -> rule8) triple8) -> rule4))] Bob is rough.[(triple10 OR ((triple7 triple6) -> rule6) OR ((triple9 triple5) -> rule2) OR ((triple7 ((triple11) -> rule5)) -> rule6) OR ((triple7 ((triple9) -> rule3)) -> rule6) OR ((triple9 ((triple8 triple11) -> rule1)) -> rule2) OR ((((triple5) -> rule7) triple5) -> rule2) OR ((((triple5) -> rule8) triple6) -> rule6) OR ((((triple7 triple8) -> rule4) triple5) -> rule2) OR ((((triple5) -> rule7) ((triple8 triple11) -> rule1)) -> rule2) OR ((((triple5) -> rule8) ((triple11) -> rule5)) -> rule6) OR ((((triple5) -> rule8) ((triple9) -> rule3)) -> rule6) OR ((((triple7 triple8) -> rule4) ((triple8 triple11) -> rule1)) -> rule2) OR ((triple7 ((((triple5) -> rule7)) -> rule3)) -> rule6) OR ((triple7 ((((triple7 triple8) -> rule4)) -> rule3)) -> rule6) OR ((((((triple8 triple11) -> rule1)) -> rule7) triple5) -> rule2) OR ((((((triple8 triple11) -> rule1)) -> rule8) triple6) -> rule6) OR ((((((triple5) -> rule8) triple8) -> rule4) triple5) -> rule2) OR ((((triple5) -> rule8) ((((triple5) -> rule7)) -> rule3)) -> rule6) OR ((((triple5) -> rule8) ((((triple7 triple8) -> rule4)) -> rule3)) -> rule6) OR ((((((triple8 triple11) -> rule1)) -> rule7) ((triple8 triple11) -> rule1)) -> rule2) OR ((((((triple8 triple11) -> rule1)) -> rule8) ((triple11) -> rule5)) -> rule6) OR ((((((triple8 triple11) -> rule1)) -> rule8) ((triple9) -> rule3)) -> rule6) OR ((((((triple5) -> rule8) triple8) -> rule4) ((triple8 triple11) -> rule1)) -> rule2) OR ((((((triple8 triple11) -> rule1)) -> rule8) ((((triple5) -> rule7)) -> rule3)) -> rule6) OR ((((((triple8 triple11) -> rule1)) -> rule8) ((((triple7 triple8) -> rule4)) -> rule3)) -> rule6) OR ((triple7 ((((((triple8 triple11) -> rule1)) -> rule7)) -> rule3)) -> rule6) OR ((triple7 ((((((triple5) -> rule8) triple8) -> rule4)) -> rule3)) -> rule6) OR ((((((((triple8 triple11) -> rule1)) -> rule8) triple8) -> rule4) triple5) -> rule2) OR ((((triple5) -> rule8) ((((((triple8 triple11) -> rule1)) -> rule7)) -> rule3)) -> rule6) OR ((((triple5) -> rule8) ((((((triple5) -> rule8) triple8) -> rule4)) -> rule3)) -> rule6) OR ((((((((triple8 triple11) -> rule1)) -> rule8) triple8) -> rule4) ((triple8 triple11) -> rule1)) -> rule2) OR ((((((triple8 triple11) -> rule1)) -> rule8) ((((((triple8 triple11) -> rule1)) -> rule7)) -> rule3)) -> rule6) OR ((((((triple8 triple11) -> rule1)) -> rule8) ((((((triple5) -> rule8) triple8) -> rule4)) -> rule3)) -> rule6) OR ((triple7 ((((((((triple8 triple11) -> rule1)) -> rule8) triple8) -> rule4)) -> rule3)) -> rule6) OR ((((triple5) -> rule8) ((((((((triple8 triple11) -> rule1)) -> rule8) triple8) -> rule4)) -> rule3)) -> rule6) OR ((((((triple8 triple11) -> rule1)) -> rule8) ((((((((triple8 triple11) -> rule1)) -> rule8) triple8) -> rule4)) -> rule3)) -> rule6))] Bob is smart.[(triple11)] Fiona is furry.[(triple12 OR ((triple13) -> rule5))] Fiona is smart.[(triple13)] Gary is furry.[(triple14 OR ((triple16) -> rule5) OR ((((((triple15 triple16) -> rule1)) -> rule7)) -> rule3) OR ((((((((triple15 triple16) -> rule1)) -> rule8) triple15) -> rule4)) -> rule3))] Gary is quiet.[(triple15)] Gary is smart.[(triple16)] @1: Anne is red.[(((triple1) -> rule7))] Anne is rough.[(((triple3 triple2) -> rule6) OR ((triple3 ((triple4) -> rule5)) -> rule6) OR ((((triple1) -> rule7) triple1) -> rule2) OR ((((triple1) -> rule8) triple2) -> rule6) OR ((((triple1) -> rule8) ((triple4) -> rule5)) -> rule6) OR ((triple3 ((((triple1) -> rule7)) -> rule3)) -> rule6) OR ((((triple1) -> rule8) ((((triple1) -> rule7)) -> rule3)) -> rule6))] Gary is cold.[(((triple15 triple16) -> rule1))] @2: Gary is green.[(((((triple15 triple16) -> rule1)) -> rule8))] Gary is red.[(((((triple15 triple16) -> rule1)) -> rule7) OR ((((((triple15 triple16) -> rule1)) -> rule8) triple15) -> rule4))] @3: Gary is rough.[(((((((triple15 triple16) -> rule1)) -> rule8) triple14) -> rule6) OR ((((((triple15 triple16) -> rule1)) -> rule7) ((triple15 triple16) -> rule1)) -> rule2) OR ((((((triple15 triple16) -> rule1)) -> rule8) ((triple16) -> rule5)) -> rule6) OR ((((((((triple15 triple16) -> rule1)) -> rule8) triple15) -> rule4) ((triple15 triple16) -> rule1)) -> rule2) OR ((((((triple15 triple16) -> rule1)) -> rule8) ((((((triple15 triple16) -> rule1)) -> rule7)) -> rule3)) -> rule6) OR ((((((triple15 triple16) -> rule1)) -> rule8) ((((((((triple15 triple16) -> rule1)) -> rule8) triple15) -> rule4)) -> rule3)) -> rule6))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is furry.
("Anne" "is" "furry" "+")
triple2
((triple4) -> (rule5 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
((((triple1) -> (rule7 % int2))) -> (rule3 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
triple3
((triple1) -> (rule8 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
triple4
Bob is cold.
("Bob" "is" "cold" "+")
triple5
((triple8 triple11) -> (rule1 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
triple6
((triple11) -> (rule5 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
((triple9) -> (rule3 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
((((triple5) -> (rule7 % int2))) -> (rule3 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
((((triple7 triple8) -> (rule4 % int2))) -> (rule3 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
((((((triple8 triple11) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
((((((triple5) -> (rule8 % int3)) triple8) -> (rule4 % int2))) -> (rule3 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
((((((((triple8 triple11) -> (rule1 % int4))) -> (rule8 % int3)) triple8) -> (rule4 % int2))) -> (rule3 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is green.
("Bob" "is" "green" "+")
triple7
((triple5) -> (rule8 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
((((triple8 triple11) -> (rule1 % int2))) -> (rule8 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
triple8
Bob is red.
("Bob" "is" "red" "+")
triple9
((triple5) -> (rule7 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
((triple7 triple8) -> (rule4 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
((((triple8 triple11) -> (rule1 % int2))) -> (rule7 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
((((triple5) -> (rule8 % int2)) triple8) -> (rule4 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
((((((triple8 triple11) -> (rule1 % int3))) -> (rule8 % int2)) triple8) -> (rule4 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
triple10
((triple7 triple6) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
((triple9 triple5) -> (rule2 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
((triple7 ((triple11) -> (rule5 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
((triple7 ((triple9) -> (rule3 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
((triple9 ((triple8 triple11) -> (rule1 % int2))) -> (rule2 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
((((triple5) -> (rule7 % int2)) triple5) -> (rule2 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
((((triple5) -> (rule8 % int2)) triple6) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
((((triple7 triple8) -> (rule4 % int2)) triple5) -> (rule2 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
((((triple5) -> (rule7 % int3)) ((triple8 triple11) -> (rule1 % int2))) -> (rule2 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
((((triple5) -> (rule8 % int3)) ((triple11) -> (rule5 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
((((triple5) -> (rule8 % int3)) ((triple9) -> (rule3 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
((((triple7 triple8) -> (rule4 % int3)) ((triple8 triple11) -> (rule1 % int2))) -> (rule2 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
((triple7 ((((triple5) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
((triple7 ((((triple7 triple8) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
((((((triple8 triple11) -> (rule1 % int3))) -> (rule7 % int2)) triple5) -> (rule2 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
((((((triple8 triple11) -> (rule1 % int3))) -> (rule8 % int2)) triple6) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
((((((triple5) -> (rule8 % int3)) triple8) -> (rule4 % int2)) triple5) -> (rule2 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
((((triple5) -> (rule8 % int4)) ((((triple5) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
((((triple5) -> (rule8 % int4)) ((((triple7 triple8) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
((((((triple8 triple11) -> (rule1 % int3))) -> (rule7 % int2)) ((triple8 triple11) -> (rule1 % int3))) -> (rule2 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
((((((triple8 triple11) -> (rule1 % int4))) -> (rule8 % int3)) ((triple11) -> (rule5 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
((((((triple8 triple11) -> (rule1 % int4))) -> (rule8 % int3)) ((triple9) -> (rule3 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
((((((triple5) -> (rule8 % int4)) triple8) -> (rule4 % int3)) ((triple8 triple11) -> (rule1 % int2))) -> (rule2 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
((((((triple8 triple11) -> (rule1 % int5))) -> (rule8 % int4)) ((((triple5) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
Bob is cold.
("Bob" "is" "cold" "+")
int5
((((((triple8 triple11) -> (rule1 % int5))) -> (rule8 % int4)) ((((triple7 triple8) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
Bob is cold.
("Bob" "is" "cold" "+")
int5
((triple7 ((((((triple8 triple11) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
((triple7 ((((((triple5) -> (rule8 % int4)) triple8) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
((((((((triple8 triple11) -> (rule1 % int4))) -> (rule8 % int3)) triple8) -> (rule4 % int2)) triple5) -> (rule2 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
((((triple5) -> (rule8 % int5)) ((((((triple8 triple11) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is green.
("Bob" "is" "green" "+")
int5
((((triple5) -> (rule8 % int4)) ((((((triple5) -> (rule8 % int4)) triple8) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
((((((((triple8 triple11) -> (rule1 % int4))) -> (rule8 % int3)) triple8) -> (rule4 % int2)) ((triple8 triple11) -> (rule1 % int4))) -> (rule2 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
((((((triple8 triple11) -> (rule1 % int5))) -> (rule8 % int4)) ((((((triple8 triple11) -> (rule1 % int5))) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
Bob is cold.
("Bob" "is" "cold" "+")
int5
((((((triple8 triple11) -> (rule1 % int5))) -> (rule8 % int4)) ((((((triple5) -> (rule8 % int4)) triple8) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
Bob is cold.
("Bob" "is" "cold" "+")
int5
((triple7 ((((((((triple8 triple11) -> (rule1 % int5))) -> (rule8 % int4)) triple8) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
Bob is cold.
("Bob" "is" "cold" "+")
int5
((((triple5) -> (rule8 % int5)) ((((((((triple8 triple11) -> (rule1 % int4))) -> (rule8 % int5)) triple8) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is green.
("Bob" "is" "green" "+")
int5
((((((triple8 triple11) -> (rule1 % int5))) -> (rule8 % int4)) ((((((((triple8 triple11) -> (rule1 % int5))) -> (rule8 % int4)) triple8) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
Bob is cold.
("Bob" "is" "cold" "+")
int5
Bob is smart.
("Bob" "is" "smart" "+")
triple11
Fiona is furry.
("Fiona" "is" "furry" "+")
triple12
((triple13) -> (rule5 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
triple13
Gary is furry.
("Gary" "is" "furry" "+")
triple14
((triple16) -> (rule5 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
((((((triple15 triple16) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
((((((((triple15 triple16) -> (rule1 % int4))) -> (rule8 % int3)) triple15) -> (rule4 % int2))) -> (rule3 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
triple15
Gary is smart.
("Gary" "is" "smart" "+")
triple16
Anne is red.
("Anne" "is" "red" "+")
((triple1) -> (rule7 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
((triple3 triple2) -> (rule6 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
((triple3 ((triple4) -> (rule5 % int2))) -> (rule6 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
((((triple1) -> (rule7 % int2)) triple1) -> (rule2 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
((((triple1) -> (rule8 % int2)) triple2) -> (rule6 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
((((triple1) -> (rule8 % int3)) ((triple4) -> (rule5 % int2))) -> (rule6 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
((triple3 ((((triple1) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
((((triple1) -> (rule8 % int4)) ((((triple1) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
Gary is cold.
("Gary" "is" "cold" "+")
((triple15 triple16) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
((((triple15 triple16) -> (rule1 % int2))) -> (rule8 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
((((triple15 triple16) -> (rule1 % int2))) -> (rule7 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
((((((triple15 triple16) -> (rule1 % int3))) -> (rule8 % int2)) triple15) -> (rule4 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
((((((triple15 triple16) -> (rule1 % int3))) -> (rule8 % int2)) triple14) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
((((((triple15 triple16) -> (rule1 % int3))) -> (rule7 % int2)) ((triple15 triple16) -> (rule1 % int3))) -> (rule2 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
((((((triple15 triple16) -> (rule1 % int4))) -> (rule8 % int3)) ((triple16) -> (rule5 % int2))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
((((((((triple15 triple16) -> (rule1 % int4))) -> (rule8 % int3)) triple15) -> (rule4 % int2)) ((triple15 triple16) -> (rule1 % int4))) -> (rule2 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
((((((triple15 triple16) -> (rule1 % int5))) -> (rule8 % int4)) ((((((triple15 triple16) -> (rule1 % int5))) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is cold.
("Gary" "is" "cold" "+")
int5
((((((triple15 triple16) -> (rule1 % int5))) -> (rule8 % int4)) ((((((((triple15 triple16) -> (rule1 % int5))) -> (rule8 % int4)) triple15) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is cold.
("Gary" "is" "cold" "+")
int5