The bald eagle needs the lion. The dog visits the bald eagle. The lion needs the bald eagle. The mouse is round. If someone visits the dog and they are rough then the dog likes the mouse. If someone is red and they visit the mouse then the mouse is red.
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
The mouse is round.
("mouse" "is" "round" "+")
If someone visits the dog and they are rough then the dog likes the mouse.
((("someone" "visits" "dog" "+") ("someone" "is" "rough" "+")) -> ("dog" "likes" "mouse" "+"))
If someone is red and they visit the mouse then the mouse is red.
((("someone" "is" "red" "+") ("someone" "visits" "mouse" "+")) -> ("mouse" "is" "red" "+"))
The bald eagle needs the lion.
True
1
proof
[(triple1)]
("bald eagle" "needs" "lion" "+")
triple1
The mouse is not round.
False
1
inv-proof
[(triple4)]
("mouse" "is" "round" "-")
triple4
The dog does not like the mouse.
Unknown
inv-rconc
[@1: The dog likes the mouse.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "likes" "mouse" "-")
The mouse likes the bald eagle.
Unknown
random
[@0: The mouse likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "likes" "bald eagle" "+")
@0: The bald eagle needs the lion.[(triple1)] The dog visits the bald eagle.[(triple2)] The lion needs the bald eagle.[(triple3)] The mouse is round.[(triple4)]
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
triple1
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
triple2
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
triple3
The mouse is round.
("mouse" "is" "round" "+")
triple4