The squirrel needs the tiger. The tiger needs the squirrel. If someone sees the squirrel and the squirrel visits the tiger then they need the tiger. If the tiger is green and the tiger is rough then the tiger needs the squirrel.
The squirrel needs the tiger.
("squirrel" "needs" "tiger" "+")
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
If someone sees the squirrel and the squirrel visits the tiger then they need the tiger.
((("someone" "sees" "squirrel" "+") ("squirrel" "visits" "tiger" "+")) -> ("someone" "needs" "tiger" "+"))
If the tiger is green and the tiger is rough then the tiger needs the squirrel.
((("tiger" "is" "green" "+") ("tiger" "is" "rough" "+")) -> ("tiger" "needs" "squirrel" "+"))
The tiger needs the squirrel.
True
1
proof
[(triple2)]
("tiger" "needs" "squirrel" "+")
triple2
The squirrel does not need the tiger.
False
1
inv-proof
[(triple1)]
("squirrel" "needs" "tiger" "-")
triple1
The tiger does not need the tiger.
Unknown
inv-rconc
[@1: The tiger needs the tiger.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("tiger" "needs" "tiger" "-")
The squirrel visits the tiger.
Unknown
random
[@0: The squirrel visits the tiger.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "visits" "tiger" "+")
@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