The cat eats the squirrel. The cat is big. The cat is cold. The cat is green. The cat is rough. The cat sees the squirrel. The cat visits the squirrel. The squirrel eats the cat. The squirrel is big. The squirrel is cold. The squirrel is green. The squirrel is nice. The squirrel is rough. The squirrel sees the cat. The squirrel visits the cat. If someone sees the squirrel and they are cold then the squirrel visits the cat. If someone eats the cat then the cat eats the squirrel. If the squirrel eats the cat and the squirrel visits the cat then the cat is big.
The cat eats the squirrel.
("cat" "eats" "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 rough.
("cat" "is" "rough" "+")
The cat sees the squirrel.
("cat" "sees" "squirrel" "+")
The cat visits the squirrel.
("cat" "visits" "squirrel" "+")
The squirrel eats the cat.
("squirrel" "eats" "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 nice.
("squirrel" "is" "nice" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The squirrel sees the cat.
("squirrel" "sees" "cat" "+")
The squirrel visits the cat.
("squirrel" "visits" "cat" "+")
If someone sees the squirrel and they are cold then the squirrel visits the cat.
((("someone" "sees" "squirrel" "+") ("someone" "is" "cold" "+")) -> ("squirrel" "visits" "cat" "+"))
If someone eats the cat then the cat eats the squirrel.
((("someone" "eats" "cat" "+")) -> ("cat" "eats" "squirrel" "+"))
If the squirrel eats the cat and the squirrel visits the cat then the cat is big.
((("squirrel" "eats" "cat" "+") ("squirrel" "visits" "cat" "+")) -> ("cat" "is" "big" "+"))
The squirrel eats the cat.
True
1
proof
[(triple8)]
("squirrel" "eats" "cat" "+")
triple8
The squirrel does not visit the cat.
False
1
inv-proof
[(triple15 OR ((triple6 triple3) -> rule1))]
("squirrel" "visits" "cat" "-")
triple15
((triple6 triple3) -> (rule1 % int1))
The squirrel visits the cat.
("squirrel" "visits" "cat" "+")
int1
The cat does not eat the cat.
Unknown
inv-random
[@0: The cat eats the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "cat" "-")
The cat visits the cat.
Unknown
random
[@0: The cat visits the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "visits" "cat" "+")
@0: The cat eats the squirrel.[(triple1 OR ((triple8) -> rule2))] The cat is big.[(triple2 OR ((triple8 triple15) -> rule3) OR ((triple8 ((triple6 triple3) -> rule1)) -> rule3))] The cat is cold.[(triple3)] The cat is green.[(triple4)] The cat is rough.[(triple5)] The cat sees the squirrel.[(triple6)] The cat visits the squirrel.[(triple7)] The squirrel eats the cat.[(triple8)] The squirrel is big.[(triple9)] The squirrel is cold.[(triple10)] The squirrel is green.[(triple11)] The squirrel is nice.[(triple12)] The squirrel is rough.[(triple13)] The squirrel sees the cat.[(triple14)] The squirrel visits the cat.[(triple15 OR ((triple6 triple3) -> rule1))]
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
triple1
((triple8) -> (rule2 % int1))
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
int1
The cat is big.
("cat" "is" "big" "+")
triple2
((triple8 triple15) -> (rule3 % int1))
The cat is big.
("cat" "is" "big" "+")
int1
((triple8 ((triple6 triple3) -> (rule1 % int2))) -> (rule3 % int1))
The cat is big.
("cat" "is" "big" "+")
int1
The squirrel visits the cat.
("squirrel" "visits" "cat" "+")
int2
The cat is cold.
("cat" "is" "cold" "+")
triple3
The cat is green.
("cat" "is" "green" "+")
triple4
The cat is rough.
("cat" "is" "rough" "+")
triple5
The cat sees the squirrel.
("cat" "sees" "squirrel" "+")
triple6
The cat visits the squirrel.
("cat" "visits" "squirrel" "+")
triple7
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
triple8
The squirrel is big.
("squirrel" "is" "big" "+")
triple9
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple10
The squirrel is green.
("squirrel" "is" "green" "+")
triple11
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple12
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple13
The squirrel sees the cat.
("squirrel" "sees" "cat" "+")
triple14
The squirrel visits the cat.
("squirrel" "visits" "cat" "+")
triple15
((triple6 triple3) -> (rule1 % int1))
The squirrel visits the cat.
("squirrel" "visits" "cat" "+")
int1