The bald eagle eats the mouse. The bald eagle is green. The bald eagle is not nice. The bald eagle is not red. The bald eagle is not round. The bald eagle likes the mouse. The bald eagle does not see the mouse. The mouse eats the bald eagle. The mouse is not blue. The mouse is green. The mouse is nice. The mouse is red. The mouse is round. The mouse does not like the bald eagle. The mouse sees the bald eagle. If something eats the bald eagle then it does not like the bald eagle. If something likes the mouse then it eats the bald eagle. If the bald eagle is round then the bald eagle is green.
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle is not nice.
("bald eagle" "is" "nice" "-")
The bald eagle is not red.
("bald eagle" "is" "red" "-")
The bald eagle is not round.
("bald eagle" "is" "round" "-")
The bald eagle likes the mouse.
("bald eagle" "likes" "mouse" "+")
The bald eagle does not see the mouse.
("bald eagle" "sees" "mouse" "-")
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
The mouse is not blue.
("mouse" "is" "blue" "-")
The mouse is green.
("mouse" "is" "green" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse is red.
("mouse" "is" "red" "+")
The mouse is round.
("mouse" "is" "round" "+")
The mouse does not like the bald eagle.
("mouse" "likes" "bald eagle" "-")
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
If something eats the bald eagle then it does not like the bald eagle.
((("something" "eats" "bald eagle" "+")) -> ("something" "likes" "bald eagle" "-"))
If something likes the mouse then it eats the bald eagle.
((("something" "likes" "mouse" "+")) -> ("something" "eats" "bald eagle" "+"))
If the bald eagle is round then the bald eagle is green.
((("bald eagle" "is" "round" "+")) -> ("bald eagle" "is" "green" "+"))
The mouse eats the bald eagle.
True
1
proof
[(triple8)]
("mouse" "eats" "bald eagle" "+")
triple8
The bald eagle sees the mouse.
False
1
inv-proof
[(triple7)]
("bald eagle" "sees" "mouse" "+")
triple7
The bald eagle eats the bald eagle.
True
2
proof
[(((triple6) -> rule2))]
("bald eagle" "eats" "bald eagle" "+")
((triple6) -> (rule2 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
The bald eagle does not eat the bald eagle.
False
2
inv-proof
[(((triple6) -> rule2))]
("bald eagle" "eats" "bald eagle" "-")
((triple6) -> (rule2 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
The bald eagle does not like the bald eagle.
True
3
proof
[(((((triple6) -> rule2)) -> rule1))]
("bald eagle" "likes" "bald eagle" "-")
((((triple6) -> (rule2 % int2))) -> (rule1 % int1))
The bald eagle does not like the bald eagle.
("bald eagle" "likes" "bald eagle" "-")
int1
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int2
The bald eagle likes the bald eagle.
False
3
inv-proof
[(((((triple6) -> rule2)) -> rule1))]
("bald eagle" "likes" "bald eagle" "+")
((((triple6) -> (rule2 % int2))) -> (rule1 % int1))
The bald eagle does not like the bald eagle.
("bald eagle" "likes" "bald eagle" "-")
int1
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int2
The mouse does not eat the mouse.
Unknown
inv-random
[@0: The mouse eats the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "mouse" "-")
The bald eagle is blue.
Unknown
random
[@0: The bald eagle is blue.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "blue" "+")
The mouse does not see the mouse.
Unknown
inv-random
[@0: The mouse sees the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "sees" "mouse" "-")
The bald eagle sees the bald eagle.
Unknown
random
[@0: The bald eagle sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "bald eagle" "+")
@0: The bald eagle does not see the mouse.[(triple7)] The bald eagle eats the mouse.[(triple1)] The bald eagle is green.[(triple2)] The bald eagle is not nice.[(triple3)] The bald eagle is not red.[(triple4)] The bald eagle is not round.[(triple5)] The bald eagle likes the mouse.[(triple6)] The mouse does not like the bald eagle.[(triple14 OR ((triple8) -> rule1))] The mouse eats the bald eagle.[(triple8)] The mouse is green.[(triple10)] The mouse is nice.[(triple11)] The mouse is not blue.[(triple9)] The mouse is red.[(triple12)] The mouse is round.[(triple13)] The mouse sees the bald eagle.[(triple15)] @1: The bald eagle eats the bald eagle.[(((triple6) -> rule2))] @2: The bald eagle does not like the bald eagle.[(((((triple6) -> rule2)) -> rule1))]
The bald eagle does not see the mouse.
("bald eagle" "sees" "mouse" "-")
triple7
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
triple1
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple2
The bald eagle is not nice.
("bald eagle" "is" "nice" "-")
triple3
The bald eagle is not red.
("bald eagle" "is" "red" "-")
triple4
The bald eagle is not round.
("bald eagle" "is" "round" "-")
triple5
The bald eagle likes the mouse.
("bald eagle" "likes" "mouse" "+")
triple6
The mouse does not like the bald eagle.
("mouse" "likes" "bald eagle" "-")
triple14
((triple8) -> (rule1 % int1))
The mouse does not like the bald eagle.
("mouse" "likes" "bald eagle" "-")
int1
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
triple8
The mouse is green.
("mouse" "is" "green" "+")
triple10
The mouse is nice.
("mouse" "is" "nice" "+")
triple11
The mouse is not blue.
("mouse" "is" "blue" "-")
triple9
The mouse is red.
("mouse" "is" "red" "+")
triple12
The mouse is round.
("mouse" "is" "round" "+")
triple13
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
triple15
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
((triple6) -> (rule2 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
The bald eagle does not like the bald eagle.
("bald eagle" "likes" "bald eagle" "-")
((((triple6) -> (rule2 % int2))) -> (rule1 % int1))
The bald eagle does not like the bald eagle.
("bald eagle" "likes" "bald eagle" "-")
int1
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int2