The bald eagle is young. The cat visits the bald eagle. The lion needs the cat. If someone visits the bald eagle then they need the cat.
The bald eagle is young.
("bald eagle" "is" "young" "+")
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
The lion needs the cat.
("lion" "needs" "cat" "+")
If someone visits the bald eagle then they need the cat.
((("someone" "visits" "bald eagle" "+")) -> ("someone" "needs" "cat" "+"))
The cat visits the bald eagle.
True
1
proof
[(triple2)]
("cat" "visits" "bald eagle" "+")
triple2
The lion does not need the cat.
False
1
inv-proof
[(triple3)]
("lion" "needs" "cat" "-")
triple3
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 lion visits the bald eagle.
Unknown
random
[@0: The lion visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("lion" "visits" "bald eagle" "+")
@0: The bald eagle is young.[(triple1)] The cat visits the bald eagle.[(triple2)] The lion needs the cat.[(triple3)] @1: The cat needs the cat.[(((triple2) -> rule1))]
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple1
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
triple2
The lion needs the cat.
("lion" "needs" "cat" "+")
triple3
The cat needs the cat.
("cat" "needs" "cat" "+")
((triple2) -> (rule1 % int1))
The cat needs the cat.
("cat" "needs" "cat" "+")
int1