The bald eagle chases the mouse. The bald eagle eats the mouse. The bald eagle is big. The bald eagle is green. The bald eagle is nice. The bald eagle is rough. The bald eagle is young. 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 green. The mouse is nice. The mouse is rough. The mouse is young. The mouse needs the bald eagle. If someone is nice and they do not chase the mouse then they are green. If someone is rough and they eat the bald eagle then they chase the bald eagle. If someone is green and they need the mouse then they eat the bald eagle.
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
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 nice.
("bald eagle" "is" "nice" "+")
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The bald eagle is young.
("bald eagle" "is" "young" "+")
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 green.
("mouse" "is" "green" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse is rough.
("mouse" "is" "rough" "+")
The mouse is young.
("mouse" "is" "young" "+")
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
If someone is nice and they do not chase the mouse then they are green.
((("someone" "is" "nice" "+") ("someone" "chases" "mouse" "~")) -> ("someone" "is" "green" "+"))
If someone is rough and they eat the bald eagle then they chase the bald eagle.
((("someone" "is" "rough" "+") ("someone" "eats" "bald eagle" "+")) -> ("someone" "chases" "bald eagle" "+"))
If someone is green and they need the mouse then they eat the bald eagle.
((("someone" "is" "green" "+") ("someone" "needs" "mouse" "+")) -> ("someone" "eats" "bald eagle" "+"))
The mouse is green.
True
1
proof
[(triple12)]
("mouse" "is" "green" "+")
triple12
The bald eagle does not eat the mouse.
False
1
inv-proof
[(triple2)]
("bald eagle" "eats" "mouse" "-")
triple2
The bald eagle eats the bald eagle.
True
3
proof
[(((triple4 triple8) -> rule3))]
("bald eagle" "eats" "bald eagle" "+")
((triple4 triple8) -> (rule3 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
The bald eagle does not eat the bald eagle.
False
3
inv-proof
[(((triple4 triple8) -> rule3))]
("bald eagle" "eats" "bald eagle" "-")
((triple4 triple8) -> (rule3 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
The bald eagle chases the bald eagle.
True
5
proof
[(((triple6 ((triple4 triple8) -> rule3)) -> rule2))]
("bald eagle" "chases" "bald eagle" "+")
((triple6 ((triple4 triple8) -> (rule3 % int2))) -> (rule2 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int2
The bald eagle does not chase the bald eagle.
False
5
inv-proof
[(((triple6 ((triple4 triple8) -> rule3)) -> rule2))]
("bald eagle" "chases" "bald eagle" "-")
((triple6 ((triple4 triple8) -> (rule3 % int2))) -> (rule2 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int2
The mouse does not need the mouse.
Unknown
inv-random
[@0: The mouse needs the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "needs" "mouse" "-")
The bald eagle needs the bald eagle.
Unknown
random
[@0: The bald eagle needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "bald eagle" "+")
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 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 chases the mouse.[(triple1)] The bald eagle eats the mouse.[(triple2)] The bald eagle is big.[(triple3)] The bald eagle is green.[(triple4)] The bald eagle is nice.[(triple5)] The bald eagle is rough.[(triple6)] The bald eagle is young.[(triple7)] The bald eagle needs the mouse.[(triple8)] The mouse chases the bald eagle.[(triple9 OR ((triple14 triple10) -> rule2))] The mouse eats the bald eagle.[(triple10)] The mouse is big.[(triple11)] The mouse is green.[(triple12)] The mouse is nice.[(triple13)] The mouse is rough.[(triple14)] The mouse is young.[(triple15)] The mouse needs the bald eagle.[(triple16)] @1: The bald eagle eats the bald eagle.[(((triple4 triple8) -> rule3))] @2: The bald eagle chases the bald eagle.[(((triple6 ((triple4 triple8) -> rule3)) -> rule2))]
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
triple1
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
triple2
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple3
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple4
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple5
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple6
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple7
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
triple8
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
triple9
((triple14 triple10) -> (rule2 % int1))
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
int1
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
triple10
The mouse is big.
("mouse" "is" "big" "+")
triple11
The mouse is green.
("mouse" "is" "green" "+")
triple12
The mouse is nice.
("mouse" "is" "nice" "+")
triple13
The mouse is rough.
("mouse" "is" "rough" "+")
triple14
The mouse is young.
("mouse" "is" "young" "+")
triple15
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
triple16
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
((triple4 triple8) -> (rule3 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
((triple6 ((triple4 triple8) -> (rule3 % int2))) -> (rule2 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int2