The cat is not blue. The cat is red. The cat is not round. The cat likes the squirrel. The cat needs the squirrel. The cat visits the squirrel. The squirrel is green. The squirrel is not round. The squirrel likes the cat. The squirrel visits the cat. If someone is big then they visit the squirrel. If the squirrel needs the cat then the cat likes the squirrel. If someone needs the cat then the cat needs the squirrel. If someone is green and they need the squirrel then the squirrel is round. If someone is round then they like the squirrel. If someone needs the squirrel and they are not green then they do not visit the cat. If the cat likes the squirrel and the squirrel is green then the cat is not round. If someone likes the squirrel and they are red then the squirrel likes the cat.
The cat is not blue.
("cat" "is" "blue" "-")
The cat is red.
("cat" "is" "red" "+")
The cat is not round.
("cat" "is" "round" "-")
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
The cat needs the squirrel.
("cat" "needs" "squirrel" "+")
The cat visits the squirrel.
("cat" "visits" "squirrel" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel is not round.
("squirrel" "is" "round" "-")
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
The squirrel visits the cat.
("squirrel" "visits" "cat" "+")
If someone is big then they visit the squirrel.
((("someone" "is" "big" "+")) -> ("someone" "visits" "squirrel" "+"))
If the squirrel needs the cat then the cat likes the squirrel.
((("squirrel" "needs" "cat" "+")) -> ("cat" "likes" "squirrel" "+"))
If someone needs the cat then the cat needs the squirrel.
((("someone" "needs" "cat" "+")) -> ("cat" "needs" "squirrel" "+"))
If someone is green and they need the squirrel then the squirrel is round.
((("someone" "is" "green" "+") ("someone" "needs" "squirrel" "+")) -> ("squirrel" "is" "round" "+"))
If someone is round then they like the squirrel.
((("someone" "is" "round" "+")) -> ("someone" "likes" "squirrel" "+"))
If someone needs the squirrel and they are not green then they do not visit the cat.
((("someone" "needs" "squirrel" "+") ("someone" "is" "green" "~")) -> ("someone" "visits" "cat" "-"))
If the cat likes the squirrel and the squirrel is green then the cat is not round.
((("cat" "likes" "squirrel" "+") ("squirrel" "is" "green" "+")) -> ("cat" "is" "round" "-"))
If someone likes the squirrel and they are red then the squirrel likes the cat.
((("someone" "likes" "squirrel" "+") ("someone" "is" "red" "+")) -> ("squirrel" "likes" "cat" "+"))
The cat is red.
True
1
proof
[(triple2)]
("cat" "is" "red" "+")
triple2
The squirrel is round.
False
1
inv-proof
[(triple8)]
("squirrel" "is" "round" "+")
triple8
The squirrel does not visit the squirrel.
Unknown
inv-rconc
[@1: The squirrel visits the squirrel.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "visits" "squirrel" "-")
The squirrel is red.
Unknown
random
[@0: The squirrel is red.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "red" "+")
@0: The cat is not blue.[(triple1)] The cat is not round.[(triple3 OR ((triple4 triple7) -> rule7))] The cat is red.[(triple2)] The cat likes the squirrel.[(triple4)] The cat needs the squirrel.[(triple5)] The cat visits the squirrel.[(triple6)] The squirrel is green.[(triple7)] The squirrel is not round.[(triple8)] The squirrel likes the cat.[(triple9 OR ((triple4 triple2) -> rule8))] The squirrel visits the cat.[(triple10)]
The cat is not blue.
("cat" "is" "blue" "-")
triple1
The cat is not round.
("cat" "is" "round" "-")
triple3
((triple4 triple7) -> (rule7 % int1))
The cat is not round.
("cat" "is" "round" "-")
int1
The cat is red.
("cat" "is" "red" "+")
triple2
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
triple4
The cat needs the squirrel.
("cat" "needs" "squirrel" "+")
triple5
The cat visits the squirrel.
("cat" "visits" "squirrel" "+")
triple6
The squirrel is green.
("squirrel" "is" "green" "+")
triple7
The squirrel is not round.
("squirrel" "is" "round" "-")
triple8
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
triple9
((triple4 triple2) -> (rule8 % int1))
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
int1
The squirrel visits the cat.
("squirrel" "visits" "cat" "+")
triple10