The cat sees the squirrel. The squirrel is cold. The tiger is green. If something eats the tiger then the tiger sees the cat. If the tiger sees the cat and the cat eats the squirrel then the squirrel needs the tiger.
The cat sees the squirrel.
("cat" "sees" "squirrel" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The tiger is green.
("tiger" "is" "green" "+")
If something eats the tiger then the tiger sees the cat.
((("something" "eats" "tiger" "+")) -> ("tiger" "sees" "cat" "+"))
If the tiger sees the cat and the cat eats the squirrel then the squirrel needs the tiger.
((("tiger" "sees" "cat" "+") ("cat" "eats" "squirrel" "+")) -> ("squirrel" "needs" "tiger" "+"))
The tiger is green.
True
1
proof
[(triple3)]
("tiger" "is" "green" "+")
triple3
The tiger is not green.
False
1
inv-proof
[(triple3)]
("tiger" "is" "green" "-")
triple3
The squirrel does not need the tiger.
Unknown
inv-rconc
[@1: The squirrel needs the tiger.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("squirrel" "needs" "tiger" "-")
The tiger sees the tiger.
Unknown
random
[@0: The tiger sees the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "sees" "tiger" "+")
@0: The cat sees the squirrel.[(triple1)] The squirrel is cold.[(triple2)] The tiger is green.[(triple3)]
The cat sees the squirrel.
("cat" "sees" "squirrel" "+")
triple1
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple2
The tiger is green.
("tiger" "is" "green" "+")
triple3