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