The cat eats the squirrel. The cat is green. The cat is kind. The cat likes the squirrel. The squirrel eats the cat. The squirrel is not big. The squirrel is not blue. The squirrel is not green. The squirrel is kind. The squirrel is red. The squirrel does not like the cat. The squirrel visits the cat. If someone eats the cat and they are big then they do not visit the cat. If someone is blue then they like the cat. If the cat does not like the squirrel then the cat does not eat the squirrel. If someone is kind and green then they eat the cat. If the squirrel visits the cat then the cat does not visit the squirrel. If someone visits the cat and they are not blue then the cat is kind.
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
The cat is green.
("cat" "is" "green" "+")
The cat is kind.
("cat" "is" "kind" "+")
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
The squirrel is not big.
("squirrel" "is" "big" "-")
The squirrel is not blue.
("squirrel" "is" "blue" "-")
The squirrel is not green.
("squirrel" "is" "green" "-")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel does not like the cat.
("squirrel" "likes" "cat" "-")
The squirrel visits the cat.
("squirrel" "visits" "cat" "+")
If someone eats the cat and they are big then they do not visit the cat.
((("someone" "eats" "cat" "+") ("someone" "is" "big" "+")) -> ("someone" "visits" "cat" "-"))
If someone is blue then they like the cat.
((("someone" "is" "blue" "+")) -> ("someone" "likes" "cat" "+"))
If the cat does not like the squirrel then the cat does not eat the squirrel.
((("cat" "likes" "squirrel" "~")) -> ("cat" "eats" "squirrel" "-"))
If someone is kind and green then they eat the cat.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "eats" "cat" "+"))
If the squirrel visits the cat then the cat does not visit the squirrel.
((("squirrel" "visits" "cat" "+")) -> ("cat" "visits" "squirrel" "-"))
If someone visits the cat and they are not blue then the cat is kind.
((("someone" "visits" "cat" "+") ("someone" "is" "blue" "~")) -> ("cat" "is" "kind" "+"))
The cat is green.
True
1
proof
[(triple2)]
("cat" "is" "green" "+")
triple2
The squirrel does not visit the cat.
False
1
inv-proof
[(triple12)]
("squirrel" "visits" "cat" "-")
triple12
The cat does not like the cat.
Unknown
inv-rconc
[@1: The cat likes the cat.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cat" "likes" "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)] The cat is green.[(triple2)] The cat is kind.[(triple3 OR ((triple12 triple7) -> rule6))] The cat likes the squirrel.[(triple4)] The squirrel does not like the cat.[(triple11)] The squirrel eats the cat.[(triple5)] The squirrel is kind.[(triple9)] The squirrel is not big.[(triple6)] The squirrel is not blue.[(triple7)] The squirrel is not green.[(triple8)] The squirrel is red.[(triple10)] The squirrel visits the cat.[(triple12)] @1: The cat does not visit the squirrel.[(((triple12) -> rule5))] The cat eats the cat.[(((triple3 triple2) -> rule4) OR ((((triple12 triple7) -> rule6) triple2) -> rule4))]
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
triple1
The cat is green.
("cat" "is" "green" "+")
triple2
The cat is kind.
("cat" "is" "kind" "+")
triple3
((triple12 triple7) -> (rule6 % int1))
The cat is kind.
("cat" "is" "kind" "+")
int1
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
triple4
The squirrel does not like the cat.
("squirrel" "likes" "cat" "-")
triple11
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
triple5
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple9
The squirrel is not big.
("squirrel" "is" "big" "-")
triple6
The squirrel is not blue.
("squirrel" "is" "blue" "-")
triple7
The squirrel is not green.
("squirrel" "is" "green" "-")
triple8
The squirrel is red.
("squirrel" "is" "red" "+")
triple10
The squirrel visits the cat.
("squirrel" "visits" "cat" "+")
triple12
The cat does not visit the squirrel.
("cat" "visits" "squirrel" "-")
((triple12) -> (rule5 % int1))
The cat does not visit the squirrel.
("cat" "visits" "squirrel" "-")
int1
The cat eats the cat.
("cat" "eats" "cat" "+")
((triple3 triple2) -> (rule4 % int1))
The cat eats the cat.
("cat" "eats" "cat" "+")
int1
((((triple12 triple7) -> (rule6 % int2)) triple2) -> (rule4 % int1))
The cat eats the cat.
("cat" "eats" "cat" "+")
int1
The cat is kind.
("cat" "is" "kind" "+")
int2