The bald eagle needs the dog. The dog needs the rabbit. The rabbit is young. If something visits the bald eagle and the bald eagle is big then it needs the bald eagle. If something needs the bald eagle then it visits the rabbit.
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
The dog needs the rabbit.
("dog" "needs" "rabbit" "+")
The rabbit is young.
("rabbit" "is" "young" "+")
If something visits the bald eagle and the bald eagle is big then it needs the bald eagle.
((("something" "visits" "bald eagle" "+") ("bald eagle" "is" "big" "+")) -> ("something" "needs" "bald eagle" "+"))
If something needs the bald eagle then it visits the rabbit.
((("something" "needs" "bald eagle" "+")) -> ("something" "visits" "rabbit" "+"))
The rabbit is young.
True
1
proof
[(triple3)]
("rabbit" "is" "young" "+")
triple3
The bald eagle does not need the dog.
False
1
inv-proof
[(triple1)]
("bald eagle" "needs" "dog" "-")
triple1
The bald eagle does not visit the rabbit.
Unknown
inv-rconc
[@2: The bald eagle visits the rabbit.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("bald eagle" "visits" "rabbit" "-")
The bald eagle is big.
Unknown
random
[@0: The bald eagle is big.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "big" "+")
@0: The bald eagle needs the dog.[(triple1)] The dog needs the rabbit.[(triple2)] The rabbit is young.[(triple3)]
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
triple1
The dog needs the rabbit.
("dog" "needs" "rabbit" "+")
triple2
The rabbit is young.
("rabbit" "is" "young" "+")
triple3