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