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