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