The bald eagle is round. The bald eagle needs the squirrel. The bald eagle sees the mouse. The bear chases the mouse. The bear chases the squirrel. The bear is nice. The bear is red. The mouse chases the bald eagle. The mouse chases the bear. The mouse chases the squirrel. The mouse is cold. The mouse is green. The mouse needs the squirrel. The mouse sees the squirrel. The squirrel sees the bald eagle. If something sees the squirrel then the squirrel sees the mouse.
The bald eagle is round.
("bald eagle" "is" "round" "+")
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
The bear chases the mouse.
("bear" "chases" "mouse" "+")
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
The bear is nice.
("bear" "is" "nice" "+")
The bear is red.
("bear" "is" "red" "+")
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
The mouse chases the bear.
("mouse" "chases" "bear" "+")
The mouse chases the squirrel.
("mouse" "chases" "squirrel" "+")
The mouse is cold.
("mouse" "is" "cold" "+")
The mouse is green.
("mouse" "is" "green" "+")
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
The mouse sees the squirrel.
("mouse" "sees" "squirrel" "+")
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
If something sees the squirrel then the squirrel sees the mouse.
((("something" "sees" "squirrel" "+")) -> ("squirrel" "sees" "mouse" "+"))
The bear is red.
True
1
proof
[(triple7)]
("bear" "is" "red" "+")
triple7
The mouse is not cold.
False
1
inv-proof
[(triple11)]
("mouse" "is" "cold" "-")
triple11
The bald eagle is not cold.
Unknown
inv-random
[@0: The bald eagle is cold.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "cold" "-")
The bald eagle is green.
Unknown
random
[@0: The bald eagle is green.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "green" "+")
@0: The bald eagle is round.[(triple1)] The bald eagle needs the squirrel.[(triple2)] The bald eagle sees the mouse.[(triple3)] The bear chases the mouse.[(triple4)] The bear chases the squirrel.[(triple5)] The bear is nice.[(triple6)] The bear is red.[(triple7)] The mouse chases the bald eagle.[(triple8)] The mouse chases the bear.[(triple9)] The mouse chases the squirrel.[(triple10)] The mouse is cold.[(triple11)] The mouse is green.[(triple12)] The mouse needs the squirrel.[(triple13)] The mouse sees the squirrel.[(triple14)] The squirrel sees the bald eagle.[(triple15)] @1: The squirrel sees the mouse.[(((triple14) -> rule1))]
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple1
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
triple2
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
triple3
The bear chases the mouse.
("bear" "chases" "mouse" "+")
triple4
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
triple5
The bear is nice.
("bear" "is" "nice" "+")
triple6
The bear is red.
("bear" "is" "red" "+")
triple7
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
triple8
The mouse chases the bear.
("mouse" "chases" "bear" "+")
triple9
The mouse chases the squirrel.
("mouse" "chases" "squirrel" "+")
triple10
The mouse is cold.
("mouse" "is" "cold" "+")
triple11
The mouse is green.
("mouse" "is" "green" "+")
triple12
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
triple13
The mouse sees the squirrel.
("mouse" "sees" "squirrel" "+")
triple14
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
triple15
The squirrel sees the mouse.
("squirrel" "sees" "mouse" "+")
((triple14) -> (rule1 % int1))
The squirrel sees the mouse.
("squirrel" "sees" "mouse" "+")
int1