The bald eagle chases the mouse. The bald eagle is big. The bald eagle is blue. The bald eagle is green. The bald eagle is round. The bald eagle is young. The bald eagle likes the mouse. The bald eagle needs the mouse. The mouse chases the bald eagle. The mouse is big. The mouse is blue. The mouse is green. The mouse is round. The mouse is not young. The mouse likes the bald eagle. The mouse needs the bald eagle. If something is big then it likes the mouse.
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 green.
("bald eagle" "is" "green" "+")
The bald eagle is round.
("bald eagle" "is" "round" "+")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bald eagle likes the mouse.
("bald eagle" "likes" "mouse" "+")
The bald eagle needs the mouse.
("bald eagle" "needs" "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 green.
("mouse" "is" "green" "+")
The mouse is round.
("mouse" "is" "round" "+")
The mouse is not young.
("mouse" "is" "young" "-")
The mouse likes the bald eagle.
("mouse" "likes" "bald eagle" "+")
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
If something is big then it likes the mouse.
((("something" "is" "big" "+")) -> ("something" "likes" "mouse" "+"))
The mouse is round.
True
1
proof
[(triple13)]
("mouse" "is" "round" "+")
triple13
The mouse does not like the bald eagle.
False
1
inv-proof
[(triple15)]
("mouse" "likes" "bald eagle" "-")
triple15
The mouse likes the mouse.
True
2
proof
[(((triple10) -> rule1))]
("mouse" "likes" "mouse" "+")
((triple10) -> (rule1 % int1))
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
int1
The mouse does not like the mouse.
False
2
inv-proof
[(((triple10) -> rule1))]
("mouse" "likes" "mouse" "-")
((triple10) -> (rule1 % int1))
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
int1
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 bald eagle likes the bald eagle.
Unknown
random
[@0: The bald eagle likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "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 needs the mouse.
Unknown
random
[@0: The mouse needs the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "needs" "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 green.[(triple4)] The bald eagle is round.[(triple5)] The bald eagle is young.[(triple6)] The bald eagle likes the mouse.[(triple7 OR ((triple2) -> rule1))] The bald eagle needs the mouse.[(triple8)] The mouse chases the bald eagle.[(triple9)] The mouse is big.[(triple10)] The mouse is blue.[(triple11)] The mouse is green.[(triple12)] The mouse is not young.[(triple14)] The mouse is round.[(triple13)] The mouse likes the bald eagle.[(triple15)] The mouse needs the bald eagle.[(triple16)] @1: The mouse likes the mouse.[(((triple10) -> rule1))]
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 green.
("bald eagle" "is" "green" "+")
triple4
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple5
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple6
The bald eagle likes the mouse.
("bald eagle" "likes" "mouse" "+")
triple7
((triple2) -> (rule1 % int1))
The bald eagle likes the mouse.
("bald eagle" "likes" "mouse" "+")
int1
The bald eagle needs the mouse.
("bald eagle" "needs" "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 green.
("mouse" "is" "green" "+")
triple12
The mouse is not young.
("mouse" "is" "young" "-")
triple14
The mouse is round.
("mouse" "is" "round" "+")
triple13
The mouse likes the bald eagle.
("mouse" "likes" "bald eagle" "+")
triple15
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
triple16
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
((triple10) -> (rule1 % int1))
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
int1