The bald eagle eats the tiger. The cat needs the tiger. The tiger eats the cat. If someone is nice and they visit the tiger then the tiger visits the cat.
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
The cat needs the tiger.
("cat" "needs" "tiger" "+")
The tiger eats the cat.
("tiger" "eats" "cat" "+")
If someone is nice and they visit the tiger then the tiger visits the cat.
((("someone" "is" "nice" "+") ("someone" "visits" "tiger" "+")) -> ("tiger" "visits" "cat" "+"))
The cat needs the tiger.
True
1
proof
[(triple2)]
("cat" "needs" "tiger" "+")
triple2
The cat does not need the tiger.
False
1
inv-proof
[(triple2)]
("cat" "needs" "tiger" "-")
triple2
The tiger does not visit the cat.
Unknown
inv-rconc
[@1: The tiger visits the cat.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("tiger" "visits" "cat" "-")
The cat is red.
Unknown
random
[@0: The cat is red.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "red" "+")
@0: The bald eagle eats the tiger.[(triple1)] The cat needs the tiger.[(triple2)] The tiger eats the cat.[(triple3)]
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
triple1
The cat needs the tiger.
("cat" "needs" "tiger" "+")
triple2
The tiger eats the cat.
("tiger" "eats" "cat" "+")
triple3