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