The bald eagle eats the mouse. The bald eagle is big. The bald eagle is green. The bald eagle is kind. The bald eagle is red. The bald eagle is rough. The bald eagle needs the mouse. The bald eagle visits the mouse. The mouse is red. The mouse is rough. The mouse needs the bald eagle. The mouse visits the bald eagle. If someone visits the mouse and they need the bald eagle then the mouse needs the bald eagle. If the bald eagle needs the mouse then the mouse eats the bald eagle. If someone eats the mouse then the mouse is red. If the bald eagle eats the mouse and the bald eagle needs the mouse then the mouse eats the bald eagle. If someone is kind then they visit the bald eagle. If someone visits the bald eagle then the bald eagle is green.
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bald eagle is red.
("bald eagle" "is" "red" "+")
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
The mouse is red.
("mouse" "is" "red" "+")
The mouse is rough.
("mouse" "is" "rough" "+")
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
If someone visits the mouse and they need the bald eagle then the mouse needs the bald eagle.
((("someone" "visits" "mouse" "+") ("someone" "needs" "bald eagle" "+")) -> ("mouse" "needs" "bald eagle" "+"))
If the bald eagle needs the mouse then the mouse eats the bald eagle.
((("bald eagle" "needs" "mouse" "+")) -> ("mouse" "eats" "bald eagle" "+"))
If someone eats the mouse then the mouse is red.
((("someone" "eats" "mouse" "+")) -> ("mouse" "is" "red" "+"))
If the bald eagle eats the mouse and the bald eagle needs the mouse then the mouse eats the bald eagle.
((("bald eagle" "eats" "mouse" "+") ("bald eagle" "needs" "mouse" "+")) -> ("mouse" "eats" "bald eagle" "+"))
If someone is kind then they visit the bald eagle.
((("someone" "is" "kind" "+")) -> ("someone" "visits" "bald eagle" "+"))
If someone visits the bald eagle then the bald eagle is green.
((("someone" "visits" "bald eagle" "+")) -> ("bald eagle" "is" "green" "+"))
The mouse is rough.
True
1
proof
[(triple10)]
("mouse" "is" "rough" "+")
triple10
The bald eagle is not green.
False
1
inv-proof
[(triple3 OR ((triple12) -> rule6) OR ((((triple4) -> rule5)) -> rule6))]
("bald eagle" "is" "green" "-")
triple3
((triple12) -> (rule6 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
((((triple4) -> (rule5 % int2))) -> (rule6 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int2
The bald eagle does not need the bald eagle.
Unknown
inv-random
[@0: The bald eagle needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "bald eagle" "-")
The mouse is green.
Unknown
random
[@0: The mouse is green.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "green" "+")
@0: The bald eagle eats the mouse.[(triple1)] The bald eagle is big.[(triple2)] The bald eagle is green.[(triple3 OR ((triple12) -> rule6) OR ((((triple4) -> rule5)) -> rule6))] The bald eagle is kind.[(triple4)] The bald eagle is red.[(triple5)] The bald eagle is rough.[(triple6)] The bald eagle needs the mouse.[(triple7)] The bald eagle visits the mouse.[(triple8)] The mouse is red.[(triple9 OR ((triple1) -> rule3))] The mouse is rough.[(triple10)] The mouse needs the bald eagle.[(triple11)] The mouse visits the bald eagle.[(triple12)] @1: The bald eagle visits the bald eagle.[(((triple4) -> rule5))] The mouse eats the bald eagle.[(((triple7) -> rule2) OR ((triple1 triple7) -> rule4))]
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
triple1
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple2
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple3
((triple12) -> (rule6 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
((((triple4) -> (rule5 % int2))) -> (rule6 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int2
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple4
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple5
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple6
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
triple7
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
triple8
The mouse is red.
("mouse" "is" "red" "+")
triple9
((triple1) -> (rule3 % int1))
The mouse is red.
("mouse" "is" "red" "+")
int1
The mouse is rough.
("mouse" "is" "rough" "+")
triple10
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
triple11
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
triple12
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
((triple4) -> (rule5 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
((triple7) -> (rule2 % int1))
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
int1
((triple1 triple7) -> (rule4 % int1))
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
int1