The bald eagle visits the rabbit. The mouse is green. The mouse is red. The mouse likes the bald eagle. The mouse needs the bald eagle. The mouse needs the rabbit. The rabbit visits the mouse. If something is cold and it needs the rabbit then it visits the bald eagle. If something visits the bald eagle then the bald eagle visits the mouse. If something likes the mouse then the mouse likes the rabbit.
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
The mouse is green.
("mouse" "is" "green" "+")
The mouse is red.
("mouse" "is" "red" "+")
The mouse likes the bald eagle.
("mouse" "likes" "bald eagle" "+")
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
The mouse needs the rabbit.
("mouse" "needs" "rabbit" "+")
The rabbit visits the mouse.
("rabbit" "visits" "mouse" "+")
If something is cold and it needs the rabbit then it visits the bald eagle.
((("something" "is" "cold" "+") ("something" "needs" "rabbit" "+")) -> ("something" "visits" "bald eagle" "+"))
If something visits the bald eagle then the bald eagle visits the mouse.
((("something" "visits" "bald eagle" "+")) -> ("bald eagle" "visits" "mouse" "+"))
If something likes the mouse then the mouse likes the rabbit.
((("something" "likes" "mouse" "+")) -> ("mouse" "likes" "rabbit" "+"))
The rabbit visits the mouse.
True
1
proof
[(triple7)]
("rabbit" "visits" "mouse" "+")
triple7
The mouse is not red.
False
1
inv-proof
[(triple3)]
("mouse" "is" "red" "-")
triple3
The mouse does not like the rabbit.
Unknown
inv-rconc
[@1: The mouse likes the rabbit.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("mouse" "likes" "rabbit" "-")
The bald eagle likes the mouse.
Unknown
random
[@0: The bald eagle likes the mouse.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "mouse" "+")
@0: The bald eagle visits the rabbit.[(triple1)] The mouse is green.[(triple2)] The mouse is red.[(triple3)] The mouse likes the bald eagle.[(triple4)] The mouse needs the bald eagle.[(triple5)] The mouse needs the rabbit.[(triple6)] The rabbit visits the mouse.[(triple7)]
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
triple1
The mouse is green.
("mouse" "is" "green" "+")
triple2
The mouse is red.
("mouse" "is" "red" "+")
triple3
The mouse likes the bald eagle.
("mouse" "likes" "bald eagle" "+")
triple4
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
triple5
The mouse needs the rabbit.
("mouse" "needs" "rabbit" "+")
triple6
The rabbit visits the mouse.
("rabbit" "visits" "mouse" "+")
triple7