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