The bald eagle is kind. The bald eagle likes the cow. The bald eagle likes the mouse. The cow chases the squirrel. The cow eats the mouse. The cow likes the squirrel. The mouse chases the cow. The mouse eats the cow. The mouse is nice. The mouse likes the cow. The mouse likes the squirrel. The squirrel does not chase the bald eagle. The squirrel does not eat the cow. The squirrel eats the mouse. The squirrel is nice. The squirrel is young. If the mouse is not young then the mouse does not chase the bald eagle. If the squirrel does not eat the cow then the cow eats the squirrel. If someone likes the bald eagle then the bald eagle likes the mouse.
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
The bald eagle likes the mouse.
("bald eagle" "likes" "mouse" "+")
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
The cow eats the mouse.
("cow" "eats" "mouse" "+")
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
The mouse chases the cow.
("mouse" "chases" "cow" "+")
The mouse eats the cow.
("mouse" "eats" "cow" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse likes the cow.
("mouse" "likes" "cow" "+")
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
The squirrel does not chase the bald eagle.
("squirrel" "chases" "bald eagle" "-")
The squirrel does not eat the cow.
("squirrel" "eats" "cow" "-")
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
If the mouse is not young then the mouse does not chase the bald eagle.
((("mouse" "is" "young" "~")) -> ("mouse" "chases" "bald eagle" "-"))
If the squirrel does not eat the cow then the cow eats the squirrel.
((("squirrel" "eats" "cow" "~")) -> ("cow" "eats" "squirrel" "+"))
If someone likes the bald eagle then the bald eagle likes the mouse.
((("someone" "likes" "bald eagle" "+")) -> ("bald eagle" "likes" "mouse" "+"))
The squirrel does not chase the bald eagle.
True
1
proof
[(triple12)]
("squirrel" "chases" "bald eagle" "-")
triple12
The bald eagle does not like the cow.
False
1
inv-proof
[(triple2)]
("bald eagle" "likes" "cow" "-")
triple2
The mouse does not eat the squirrel.
Unknown
inv-random
[@0: The mouse eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "squirrel" "-")
The bald eagle chases the mouse.
Unknown
random
[@0: The bald eagle chases the mouse.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "mouse" "+")
@0: The bald eagle is kind.[(triple1)] The bald eagle likes the cow.[(triple2)] The bald eagle likes the mouse.[(triple3)] The cow chases the squirrel.[(triple4)] The cow eats the mouse.[(triple5)] The cow likes the squirrel.[(triple6)] The mouse chases the cow.[(triple7)] The mouse eats the cow.[(triple8)] The mouse is nice.[(triple9)] The mouse likes the cow.[(triple10)] The mouse likes the squirrel.[(triple11)] The squirrel does not chase the bald eagle.[(triple12)] The squirrel does not eat the cow.[(triple13)] The squirrel eats the mouse.[(triple14)] The squirrel is nice.[(triple15)] The squirrel is young.[(triple16)] @1: The cow eats the squirrel.[(((triple13) -> rule2))]
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple1
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
triple2
The bald eagle likes the mouse.
("bald eagle" "likes" "mouse" "+")
triple3
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
triple4
The cow eats the mouse.
("cow" "eats" "mouse" "+")
triple5
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
triple6
The mouse chases the cow.
("mouse" "chases" "cow" "+")
triple7
The mouse eats the cow.
("mouse" "eats" "cow" "+")
triple8
The mouse is nice.
("mouse" "is" "nice" "+")
triple9
The mouse likes the cow.
("mouse" "likes" "cow" "+")
triple10
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
triple11
The squirrel does not chase the bald eagle.
("squirrel" "chases" "bald eagle" "-")
triple12
The squirrel does not eat the cow.
("squirrel" "eats" "cow" "-")
triple13
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
triple14
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple15
The squirrel is young.
("squirrel" "is" "young" "+")
triple16
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
((triple13) -> (rule2 % int1))
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
int1