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