The squirrel needs the tiger. The tiger needs the squirrel. If someone is cold and round then they are blue. If someone is red and blue then they need the squirrel. If someone visits the tiger then they need the squirrel. If the squirrel is cold then the squirrel likes the tiger. If someone is rough and they need the tiger then they are cold. If someone is red and they visit the squirrel then the squirrel visits the tiger.
The squirrel needs the tiger.
("squirrel" "needs" "tiger" "+")
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
If someone is cold and round then they are blue.
((("someone" "is" "cold" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
If someone is red and blue then they need the squirrel.
((("someone" "is" "red" "+") ("someone" "is" "blue" "+")) -> ("someone" "needs" "squirrel" "+"))
If someone visits the tiger then they need the squirrel.
((("someone" "visits" "tiger" "+")) -> ("someone" "needs" "squirrel" "+"))
If the squirrel is cold then the squirrel likes the tiger.
((("squirrel" "is" "cold" "+")) -> ("squirrel" "likes" "tiger" "+"))
If someone is rough and they need the tiger then they are cold.
((("someone" "is" "rough" "+") ("someone" "needs" "tiger" "+")) -> ("someone" "is" "cold" "+"))
If someone is red and they visit the squirrel then the squirrel visits the tiger.
((("someone" "is" "red" "+") ("someone" "visits" "squirrel" "+")) -> ("squirrel" "visits" "tiger" "+"))
The squirrel needs the tiger.
True
1
proof
[(triple1)]
("squirrel" "needs" "tiger" "+")
triple1
The squirrel does not need the tiger.
False
1
inv-proof
[(triple1)]
("squirrel" "needs" "tiger" "-")
triple1
The squirrel does not visit the tiger.
Unknown
inv-rconc
[@1: The squirrel visits the tiger.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("squirrel" "visits" "tiger" "-")
The squirrel likes the squirrel.
Unknown
random
[@0: The squirrel likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "squirrel" "+")
@0: The squirrel needs the tiger.[(triple1)] The tiger needs the squirrel.[(triple2)]
The squirrel needs the tiger.
("squirrel" "needs" "tiger" "+")
triple1
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
triple2