The bald eagle is kind. The bald eagle needs the mouse. The mouse chases the bald eagle. The mouse eats the bald eagle. The mouse is big. The mouse is kind. The mouse needs the bald eagle. If someone chases the bald eagle then the bald eagle chases the mouse. If someone needs the bald eagle and the bald eagle eats the mouse then the bald eagle chases the mouse.
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
The mouse is big.
("mouse" "is" "big" "+")
The mouse is kind.
("mouse" "is" "kind" "+")
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
If someone chases the bald eagle then the bald eagle chases the mouse.
((("someone" "chases" "bald eagle" "+")) -> ("bald eagle" "chases" "mouse" "+"))
If someone needs the bald eagle and the bald eagle eats the mouse then the bald eagle chases the mouse.
((("someone" "needs" "bald eagle" "+") ("bald eagle" "eats" "mouse" "+")) -> ("bald eagle" "chases" "mouse" "+"))
The mouse is big.
True
1
proof
[(triple5)]
("mouse" "is" "big" "+")
triple5
The mouse does not chase the bald eagle.
False
1
inv-proof
[(triple3)]
("mouse" "chases" "bald eagle" "-")
triple3
The bald eagle chases the mouse.
True
2
proof
[(((triple3) -> rule1))]
("bald eagle" "chases" "mouse" "+")
((triple3) -> (rule1 % int1))
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
int1
The bald eagle does not chase the mouse.
False
2
inv-proof
[(((triple3) -> rule1))]
("bald eagle" "chases" "mouse" "-")
((triple3) -> (rule1 % int1))
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
int1
The mouse is not nice.
Unknown
inv-random
[@0: The mouse is nice.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "nice" "-")
The mouse eats the mouse.
Unknown
random
[@0: The mouse eats the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "mouse" "+")
The mouse does not chase the mouse.
Unknown
inv-random
[@0: The mouse chases the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "chases" "mouse" "-")
The bald eagle eats the bald eagle.
Unknown
random
[@0: The bald eagle eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "bald eagle" "+")
@0: The bald eagle is kind.[(triple1)] The bald eagle needs the mouse.[(triple2)] The mouse chases the bald eagle.[(triple3)] The mouse eats the bald eagle.[(triple4)] The mouse is big.[(triple5)] The mouse is kind.[(triple6)] The mouse needs the bald eagle.[(triple7)] @1: The bald eagle chases the mouse.[(((triple3) -> rule1))]
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple1
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
triple2
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
triple3
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
triple4
The mouse is big.
("mouse" "is" "big" "+")
triple5
The mouse is kind.
("mouse" "is" "kind" "+")
triple6
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
triple7
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
((triple3) -> (rule1 % int1))
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
int1