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