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