The bald eagle chases the mouse. The bald eagle is big. The bald eagle is blue. The bald eagle is cold. The bald eagle is nice. The bald eagle is round. The bald eagle needs the mouse. The bald eagle visits the mouse. The mouse chases the bald eagle. The mouse is big. The mouse is blue. The mouse is cold. The mouse is round. The mouse needs the bald eagle. The mouse visits the bald eagle. If someone needs the mouse then the mouse needs the bald eagle. If the mouse is round and the mouse needs the bald eagle then the mouse is nice.
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bald eagle is round.
("bald eagle" "is" "round" "+")
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
The mouse is big.
("mouse" "is" "big" "+")
The mouse is blue.
("mouse" "is" "blue" "+")
The mouse is cold.
("mouse" "is" "cold" "+")
The mouse is round.
("mouse" "is" "round" "+")
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
If someone needs the mouse then the mouse needs the bald eagle.
((("someone" "needs" "mouse" "+")) -> ("mouse" "needs" "bald eagle" "+"))
If the mouse is round and the mouse needs the bald eagle then the mouse is nice.
((("mouse" "is" "round" "+") ("mouse" "needs" "bald eagle" "+")) -> ("mouse" "is" "nice" "+"))
The mouse is blue.
True
1
proof
[(triple11)]
("mouse" "is" "blue" "+")
triple11
The mouse does not chase the bald eagle.
False
1
inv-proof
[(triple9)]
("mouse" "chases" "bald eagle" "-")
triple9
The mouse is nice.
True
3
proof
[(((triple13 triple14) -> rule2) OR ((triple13 ((triple7) -> rule1)) -> rule2))]
("mouse" "is" "nice" "+")
((triple13 triple14) -> (rule2 % int1))
The mouse is nice.
("mouse" "is" "nice" "+")
int1
((triple13 ((triple7) -> (rule1 % int2))) -> (rule2 % int1))
The mouse is nice.
("mouse" "is" "nice" "+")
int1
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
int2
The mouse is not nice.
False
3
inv-proof
[(((triple13 triple14) -> rule2) OR ((triple13 ((triple7) -> rule1)) -> rule2))]
("mouse" "is" "nice" "-")
((triple13 triple14) -> (rule2 % int1))
The mouse is nice.
("mouse" "is" "nice" "+")
int1
((triple13 ((triple7) -> (rule1 % int2))) -> (rule2 % int1))
The mouse is nice.
("mouse" "is" "nice" "+")
int1
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
int2
The bald eagle does not visit the bald eagle.
Unknown
inv-random
[@0: The bald eagle visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "visits" "bald eagle" "-")
The mouse needs the mouse.
Unknown
random
[@0: The mouse needs the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "needs" "mouse" "+")
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 visits the mouse.
Unknown
random
[@0: The mouse visits the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "visits" "mouse" "+")
@0: The bald eagle chases the mouse.[(triple1)] The bald eagle is big.[(triple2)] The bald eagle is blue.[(triple3)] The bald eagle is cold.[(triple4)] The bald eagle is nice.[(triple5)] The bald eagle is round.[(triple6)] The bald eagle needs the mouse.[(triple7)] The bald eagle visits the mouse.[(triple8)] The mouse chases the bald eagle.[(triple9)] The mouse is big.[(triple10)] The mouse is blue.[(triple11)] The mouse is cold.[(triple12)] The mouse is round.[(triple13)] The mouse needs the bald eagle.[(triple14 OR ((triple7) -> rule1))] The mouse visits the bald eagle.[(triple15)] @1: The mouse is nice.[(((triple13 triple14) -> rule2) OR ((triple13 ((triple7) -> rule1)) -> rule2))]
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
triple1
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple3
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple4
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple5
The bald eagle is round.
("bald eagle" "is" "round" "+")
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 chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
triple9
The mouse is big.
("mouse" "is" "big" "+")
triple10
The mouse is blue.
("mouse" "is" "blue" "+")
triple11
The mouse is cold.
("mouse" "is" "cold" "+")
triple12
The mouse is round.
("mouse" "is" "round" "+")
triple13
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
triple14
((triple7) -> (rule1 % int1))
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
int1
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
triple15
The mouse is nice.
("mouse" "is" "nice" "+")
((triple13 triple14) -> (rule2 % int1))
The mouse is nice.
("mouse" "is" "nice" "+")
int1
((triple13 ((triple7) -> (rule1 % int2))) -> (rule2 % int1))
The mouse is nice.
("mouse" "is" "nice" "+")
int1
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
int2