The bald eagle is round. The bald eagle likes the squirrel. The bald eagle needs the mouse. The bald eagle needs the squirrel. The bald eagle visits the mouse. The bald eagle visits the squirrel. The mouse likes the squirrel. The squirrel is round. The squirrel likes the mouse. The squirrel needs the mouse. The squirrel visits the bald eagle. The squirrel visits the mouse. If something visits the mouse then it likes the bald eagle.
The bald eagle is round.
("bald eagle" "is" "round" "+")
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
The squirrel needs the mouse.
("squirrel" "needs" "mouse" "+")
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
The squirrel visits the mouse.
("squirrel" "visits" "mouse" "+")
If something visits the mouse then it likes the bald eagle.
((("something" "visits" "mouse" "+")) -> ("something" "likes" "bald eagle" "+"))
The bald eagle is round.
True
1
proof
[(triple1)]
("bald eagle" "is" "round" "+")
triple1
The bald eagle does not visit the mouse.
False
1
inv-proof
[(triple5)]
("bald eagle" "visits" "mouse" "-")
triple5
The mouse does not like the bald eagle.
Unknown
inv-rconc
[@1: The mouse likes the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("mouse" "likes" "bald eagle" "-")
The squirrel is blue.
Unknown
random
[@0: The squirrel is blue.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "blue" "+")
@0: The bald eagle is round.[(triple1)] The bald eagle likes the squirrel.[(triple2)] The bald eagle needs the mouse.[(triple3)] The bald eagle needs the squirrel.[(triple4)] The bald eagle visits the mouse.[(triple5)] The bald eagle visits the squirrel.[(triple6)] The mouse likes the squirrel.[(triple7)] The squirrel is round.[(triple8)] The squirrel likes the mouse.[(triple9)] The squirrel needs the mouse.[(triple10)] The squirrel visits the bald eagle.[(triple11)] The squirrel visits the mouse.[(triple12)] @1: The bald eagle likes the bald eagle.[(((triple5) -> rule1))] The squirrel likes the bald eagle.[(((triple12) -> rule1))]
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple1
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
triple2
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
triple3
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
triple4
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
triple5
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
triple6
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
triple7
The squirrel is round.
("squirrel" "is" "round" "+")
triple8
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
triple9
The squirrel needs the mouse.
("squirrel" "needs" "mouse" "+")
triple10
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
triple11
The squirrel visits the mouse.
("squirrel" "visits" "mouse" "+")
triple12
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
((triple5) -> (rule1 % int1))
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int1
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
((triple12) -> (rule1 % int1))
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
int1