The bald eagle chases the mouse. The bald eagle eats the mouse. The bald eagle eats the squirrel. The bald eagle is nice. The lion eats the mouse. The lion is red. The lion does not visit the mouse. The mouse does not eat the squirrel. The squirrel eats the bald eagle. The squirrel eats the lion. The squirrel eats the mouse. The squirrel is red. If something chases the mouse and it visits the mouse then it does not chase the bald eagle. If something is red then it does not eat the squirrel. If the lion eats the squirrel then the squirrel eats the mouse.
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The lion eats the mouse.
("lion" "eats" "mouse" "+")
The lion is red.
("lion" "is" "red" "+")
The lion does not visit the mouse.
("lion" "visits" "mouse" "-")
The mouse does not eat the squirrel.
("mouse" "eats" "squirrel" "-")
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
If something chases the mouse and it visits the mouse then it does not chase the bald eagle.
((("something" "chases" "mouse" "+") ("something" "visits" "mouse" "+")) -> ("something" "chases" "bald eagle" "-"))
If something is red then it does not eat the squirrel.
((("something" "is" "red" "+")) -> ("something" "eats" "squirrel" "-"))
If the lion eats the squirrel then the squirrel eats the mouse.
((("lion" "eats" "squirrel" "+")) -> ("squirrel" "eats" "mouse" "+"))
The bald eagle eats the mouse.
True
1
proof
[(triple2)]
("bald eagle" "eats" "mouse" "+")
triple2
The bald eagle is not nice.
False
1
inv-proof
[(triple4)]
("bald eagle" "is" "nice" "-")
triple4
The squirrel does not eat the squirrel.
True
2
proof
[(((triple12) -> rule2))]
("squirrel" "eats" "squirrel" "-")
((triple12) -> (rule2 % int1))
The squirrel does not eat the squirrel.
("squirrel" "eats" "squirrel" "-")
int1
The lion eats the squirrel.
False
2
inv-proof
[(((triple6) -> rule2))]
("lion" "eats" "squirrel" "+")
((triple6) -> (rule2 % int1))
The lion does not eat the squirrel.
("lion" "eats" "squirrel" "-")
int1
The squirrel is not big.
Unknown
inv-random
[@0: The squirrel is big.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "big" "-")
The mouse chases the mouse.
Unknown
random
[@0: The mouse chases the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "chases" "mouse" "+")
The mouse is not big.
Unknown
inv-random
[@0: The mouse is big.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "big" "-")
The mouse chases the squirrel.
Unknown
random
[@0: The mouse chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "chases" "squirrel" "+")
@0: The bald eagle chases the mouse.[(triple1)] The bald eagle eats the mouse.[(triple2)] The bald eagle eats the squirrel.[(triple3)] The bald eagle is nice.[(triple4)] The lion does not visit the mouse.[(triple7)] The lion eats the mouse.[(triple5)] The lion is red.[(triple6)] The mouse does not eat the squirrel.[(triple8)] The squirrel eats the bald eagle.[(triple9)] The squirrel eats the lion.[(triple10)] The squirrel eats the mouse.[(triple11)] The squirrel is red.[(triple12)] @1: The lion does not eat the squirrel.[(((triple6) -> rule2))] The squirrel does not eat the squirrel.[(((triple12) -> rule2))]
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
triple1
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
triple2
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
triple3
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple4
The lion does not visit the mouse.
("lion" "visits" "mouse" "-")
triple7
The lion eats the mouse.
("lion" "eats" "mouse" "+")
triple5
The lion is red.
("lion" "is" "red" "+")
triple6
The mouse does not eat the squirrel.
("mouse" "eats" "squirrel" "-")
triple8
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
triple9
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
triple10
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
triple11
The squirrel is red.
("squirrel" "is" "red" "+")
triple12
The lion does not eat the squirrel.
("lion" "eats" "squirrel" "-")
((triple6) -> (rule2 % int1))
The lion does not eat the squirrel.
("lion" "eats" "squirrel" "-")
int1
The squirrel does not eat the squirrel.
("squirrel" "eats" "squirrel" "-")
((triple12) -> (rule2 % int1))
The squirrel does not eat the squirrel.
("squirrel" "eats" "squirrel" "-")
int1