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