The cat is cold. The cat is kind. The cat is red. The cat is rough. The cat is young. The cat likes the squirrel. The cat sees the squirrel. The cat visits the squirrel. The squirrel is cold. The squirrel is kind. The squirrel is red. The squirrel is rough. The squirrel is young. The squirrel likes the cat. The squirrel sees the cat. The squirrel visits the cat. If the squirrel is cold and the squirrel visits the cat then the cat sees the squirrel. If the cat is kind and the cat visits the squirrel then the cat likes the squirrel. If someone sees the squirrel and the squirrel is cold then the squirrel sees the cat. If someone likes the cat then they visit the cat. If someone is young then they like the squirrel. If someone likes the squirrel and the squirrel visits the cat then they visit the squirrel. If someone is cold then they see the squirrel. If someone visits the cat and they see the squirrel then the cat likes the squirrel.
The cat is cold.
("cat" "is" "cold" "+")
The cat is kind.
("cat" "is" "kind" "+")
The cat is red.
("cat" "is" "red" "+")
The cat is rough.
("cat" "is" "rough" "+")
The cat is young.
("cat" "is" "young" "+")
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
The cat sees the squirrel.
("cat" "sees" "squirrel" "+")
The cat visits the squirrel.
("cat" "visits" "squirrel" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
The squirrel sees the cat.
("squirrel" "sees" "cat" "+")
The squirrel visits the cat.
("squirrel" "visits" "cat" "+")
If the squirrel is cold and the squirrel visits the cat then the cat sees the squirrel.
((("squirrel" "is" "cold" "+") ("squirrel" "visits" "cat" "+")) -> ("cat" "sees" "squirrel" "+"))
If the cat is kind and the cat visits the squirrel then the cat likes the squirrel.
((("cat" "is" "kind" "+") ("cat" "visits" "squirrel" "+")) -> ("cat" "likes" "squirrel" "+"))
If someone sees the squirrel and the squirrel is cold then the squirrel sees the cat.
((("someone" "sees" "squirrel" "+") ("squirrel" "is" "cold" "+")) -> ("squirrel" "sees" "cat" "+"))
If someone likes the cat then they visit the cat.
((("someone" "likes" "cat" "+")) -> ("someone" "visits" "cat" "+"))
If someone is young then they like the squirrel.
((("someone" "is" "young" "+")) -> ("someone" "likes" "squirrel" "+"))
If someone likes the squirrel and the squirrel visits the cat then they visit the squirrel.
((("someone" "likes" "squirrel" "+") ("squirrel" "visits" "cat" "+")) -> ("someone" "visits" "squirrel" "+"))
If someone is cold then they see the squirrel.
((("someone" "is" "cold" "+")) -> ("someone" "sees" "squirrel" "+"))
If someone visits the cat and they see the squirrel then the cat likes the squirrel.
((("someone" "visits" "cat" "+") ("someone" "sees" "squirrel" "+")) -> ("cat" "likes" "squirrel" "+"))
The squirrel is red.
True
1
proof
[(triple11)]
("squirrel" "is" "red" "+")
triple11
The cat is not rough.
False
1
inv-proof
[(triple4)]
("cat" "is" "rough" "-")
triple4
The squirrel likes the squirrel.
True
2
proof
[(((triple13) -> rule5))]
("squirrel" "likes" "squirrel" "+")
((triple13) -> (rule5 % int1))
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int1
The squirrel does not see the squirrel.
False
2
inv-proof
[(((triple9) -> rule7))]
("squirrel" "sees" "squirrel" "-")
((triple9) -> (rule7 % int1))
The squirrel sees the squirrel.
("squirrel" "sees" "squirrel" "+")
int1
The squirrel visits the squirrel.
True
4
proof
[(((((triple13) -> rule5) triple16) -> rule6) OR ((((triple13) -> rule5) ((triple14) -> rule4)) -> rule6))]
("squirrel" "visits" "squirrel" "+")
((((triple13) -> (rule5 % int2)) triple16) -> (rule6 % int1))
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int1
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int2
((((triple13) -> (rule5 % int3)) ((triple14) -> (rule4 % int2))) -> (rule6 % int1))
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int1
The squirrel visits the cat.
("squirrel" "visits" "cat" "+")
int2
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int3
The squirrel does not visit the squirrel.
False
4
inv-proof
[(((((triple13) -> rule5) triple16) -> rule6) OR ((((triple13) -> rule5) ((triple14) -> rule4)) -> rule6))]
("squirrel" "visits" "squirrel" "-")
((((triple13) -> (rule5 % int2)) triple16) -> (rule6 % int1))
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int1
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int2
((((triple13) -> (rule5 % int3)) ((triple14) -> (rule4 % int2))) -> (rule6 % int1))
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int1
The squirrel visits the cat.
("squirrel" "visits" "cat" "+")
int2
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int3
The cat does not visit the cat.
Unknown
inv-rconc
[@1: The cat visits the cat.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("cat" "visits" "cat" "-")
The cat sees the cat.
Unknown
random
[@0: The cat sees the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "sees" "cat" "+")
@0: The cat is cold.[(triple1)] The cat is kind.[(triple2)] The cat is red.[(triple3)] The cat is rough.[(triple4)] The cat is young.[(triple5)] The cat likes the squirrel.[(triple6 OR ((triple5) -> rule5) OR ((triple2 triple8) -> rule2) OR ((triple16 ((triple9) -> rule7)) -> rule8) OR ((((triple14) -> rule4) ((triple9) -> rule7)) -> rule8))] The cat sees the squirrel.[(triple7 OR ((triple1) -> rule7) OR ((triple9 triple16) -> rule1) OR ((triple9 ((triple14) -> rule4)) -> rule1))] The cat visits the squirrel.[(triple8 OR ((triple6 triple16) -> rule6) OR ((triple6 ((triple14) -> rule4)) -> rule6) OR ((((triple5) -> rule5) triple16) -> rule6) OR ((((triple5) -> rule5) ((triple14) -> rule4)) -> rule6) OR ((((triple16 ((triple9) -> rule7)) -> rule8) triple16) -> rule6) OR ((((triple16 ((triple9) -> rule7)) -> rule8) ((triple14) -> rule4)) -> rule6) OR ((((((triple14) -> rule4) ((triple9) -> rule7)) -> rule8) triple16) -> rule6) OR ((((((triple14) -> rule4) ((triple9) -> rule7)) -> rule8) ((triple14) -> rule4)) -> rule6))] The squirrel is cold.[(triple9)] The squirrel is kind.[(triple10)] The squirrel is red.[(triple11)] The squirrel is rough.[(triple12)] The squirrel is young.[(triple13)] The squirrel likes the cat.[(triple14)] The squirrel sees the cat.[(triple15 OR ((triple7 triple9) -> rule3) OR ((((triple1) -> rule7) triple9) -> rule3) OR ((((triple9) -> rule7) triple9) -> rule3) OR ((((triple9 triple16) -> rule1) triple9) -> rule3) OR ((((triple9 ((triple14) -> rule4)) -> rule1) triple9) -> rule3))] The squirrel visits the cat.[(triple16 OR ((triple14) -> rule4))] @1: The squirrel likes the squirrel.[(((triple13) -> rule5))] The squirrel sees the squirrel.[(((triple9) -> rule7))] @2: The squirrel visits the squirrel.[(((((triple13) -> rule5) triple16) -> rule6) OR ((((triple13) -> rule5) ((triple14) -> rule4)) -> rule6))]
The cat is cold.
("cat" "is" "cold" "+")
triple1
The cat is kind.
("cat" "is" "kind" "+")
triple2
The cat is red.
("cat" "is" "red" "+")
triple3
The cat is rough.
("cat" "is" "rough" "+")
triple4
The cat is young.
("cat" "is" "young" "+")
triple5
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
triple6
((triple5) -> (rule5 % int1))
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
int1
((triple2 triple8) -> (rule2 % int1))
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
int1
((triple16 ((triple9) -> (rule7 % int2))) -> (rule8 % int1))
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
int1
The squirrel sees the squirrel.
("squirrel" "sees" "squirrel" "+")
int2
((((triple14) -> (rule4 % int3)) ((triple9) -> (rule7 % int2))) -> (rule8 % int1))
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
int1
The squirrel sees the squirrel.
("squirrel" "sees" "squirrel" "+")
int2
The squirrel visits the cat.
("squirrel" "visits" "cat" "+")
int3
The cat sees the squirrel.
("cat" "sees" "squirrel" "+")
triple7
((triple1) -> (rule7 % int1))
The cat sees the squirrel.
("cat" "sees" "squirrel" "+")
int1
((triple9 triple16) -> (rule1 % int1))
The cat sees the squirrel.
("cat" "sees" "squirrel" "+")
int1
((triple9 ((triple14) -> (rule4 % int2))) -> (rule1 % int1))
The cat sees the squirrel.
("cat" "sees" "squirrel" "+")
int1
The squirrel visits the cat.
("squirrel" "visits" "cat" "+")
int2
The cat visits the squirrel.
("cat" "visits" "squirrel" "+")
triple8
((triple6 triple16) -> (rule6 % int1))
The cat visits the squirrel.
("cat" "visits" "squirrel" "+")
int1
((triple6 ((triple14) -> (rule4 % int2))) -> (rule6 % int1))
The cat visits the squirrel.
("cat" "visits" "squirrel" "+")
int1
The squirrel visits the cat.
("squirrel" "visits" "cat" "+")
int2
((((triple5) -> (rule5 % int2)) triple16) -> (rule6 % int1))
The cat visits the squirrel.
("cat" "visits" "squirrel" "+")
int1
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
int2
((((triple5) -> (rule5 % int3)) ((triple14) -> (rule4 % int2))) -> (rule6 % int1))
The cat visits the squirrel.
("cat" "visits" "squirrel" "+")
int1
The squirrel visits the cat.
("squirrel" "visits" "cat" "+")
int2
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
int3
((((triple16 ((triple9) -> (rule7 % int3))) -> (rule8 % int2)) triple16) -> (rule6 % int1))
The cat visits the squirrel.
("cat" "visits" "squirrel" "+")
int1
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
int2
The squirrel sees the squirrel.
("squirrel" "sees" "squirrel" "+")
int3
((((triple16 ((triple9) -> (rule7 % int4))) -> (rule8 % int3)) ((triple14) -> (rule4 % int2))) -> (rule6 % int1))
The cat visits the squirrel.
("cat" "visits" "squirrel" "+")
int1
The squirrel visits the cat.
("squirrel" "visits" "cat" "+")
int2
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
int3
The squirrel sees the squirrel.
("squirrel" "sees" "squirrel" "+")
int4
((((((triple14) -> (rule4 % int4)) ((triple9) -> (rule7 % int3))) -> (rule8 % int2)) triple16) -> (rule6 % int1))
The cat visits the squirrel.
("cat" "visits" "squirrel" "+")
int1
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
int2
The squirrel sees the squirrel.
("squirrel" "sees" "squirrel" "+")
int3
The squirrel visits the cat.
("squirrel" "visits" "cat" "+")
int4
((((((triple14) -> (rule4 % int4)) ((triple9) -> (rule7 % int3))) -> (rule8 % int2)) ((triple14) -> (rule4 % int4))) -> (rule6 % int1))
The cat visits the squirrel.
("cat" "visits" "squirrel" "+")
int1
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
int2
The squirrel sees the squirrel.
("squirrel" "sees" "squirrel" "+")
int3
The squirrel visits the cat.
("squirrel" "visits" "cat" "+")
int4
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple9
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple10
The squirrel is red.
("squirrel" "is" "red" "+")
triple11
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple12
The squirrel is young.
("squirrel" "is" "young" "+")
triple13
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
triple14
The squirrel sees the cat.
("squirrel" "sees" "cat" "+")
triple15
((triple7 triple9) -> (rule3 % int1))
The squirrel sees the cat.
("squirrel" "sees" "cat" "+")
int1
((((triple1) -> (rule7 % int2)) triple9) -> (rule3 % int1))
The squirrel sees the cat.
("squirrel" "sees" "cat" "+")
int1
The cat sees the squirrel.
("cat" "sees" "squirrel" "+")
int2
((((triple9) -> (rule7 % int2)) triple9) -> (rule3 % int1))
The squirrel sees the cat.
("squirrel" "sees" "cat" "+")
int1
The squirrel sees the squirrel.
("squirrel" "sees" "squirrel" "+")
int2
((((triple9 triple16) -> (rule1 % int2)) triple9) -> (rule3 % int1))
The squirrel sees the cat.
("squirrel" "sees" "cat" "+")
int1
The cat sees the squirrel.
("cat" "sees" "squirrel" "+")
int2
((((triple9 ((triple14) -> (rule4 % int3))) -> (rule1 % int2)) triple9) -> (rule3 % int1))
The squirrel sees the cat.
("squirrel" "sees" "cat" "+")
int1
The cat sees the squirrel.
("cat" "sees" "squirrel" "+")
int2
The squirrel visits the cat.
("squirrel" "visits" "cat" "+")
int3
The squirrel visits the cat.
("squirrel" "visits" "cat" "+")
triple16
((triple14) -> (rule4 % int1))
The squirrel visits the cat.
("squirrel" "visits" "cat" "+")
int1
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
((triple13) -> (rule5 % int1))
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int1
The squirrel sees the squirrel.
("squirrel" "sees" "squirrel" "+")
((triple9) -> (rule7 % int1))
The squirrel sees the squirrel.
("squirrel" "sees" "squirrel" "+")
int1
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
((((triple13) -> (rule5 % int2)) triple16) -> (rule6 % int1))
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int1
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int2
((((triple13) -> (rule5 % int3)) ((triple14) -> (rule4 % int2))) -> (rule6 % int1))
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int1
The squirrel visits the cat.
("squirrel" "visits" "cat" "+")
int2
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int3