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