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