The bald eagle is blue. The bald eagle is round. The bald eagle does not like the mouse. The bald eagle sees the bear. The bald eagle does not see the mouse. The bear is blue. The bear is cold. The bear likes the mouse. The bear needs the bald eagle. The bear needs the mouse. The bear sees the bald eagle. The bear sees the mouse. The mouse is cold. The mouse is nice. The mouse is rough. If something needs the bald eagle and the bald eagle needs the bear then it does not need the mouse. If something is nice then it does not like the bear. If the mouse is rough and the mouse does not like the bear then the mouse sees the bear.
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle is round.
("bald eagle" "is" "round" "+")
The bald eagle does not like the mouse.
("bald eagle" "likes" "mouse" "-")
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
The bald eagle does not see the mouse.
("bald eagle" "sees" "mouse" "-")
The bear is blue.
("bear" "is" "blue" "+")
The bear is cold.
("bear" "is" "cold" "+")
The bear likes the mouse.
("bear" "likes" "mouse" "+")
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
The bear needs the mouse.
("bear" "needs" "mouse" "+")
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
The bear sees the mouse.
("bear" "sees" "mouse" "+")
The mouse is cold.
("mouse" "is" "cold" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse is rough.
("mouse" "is" "rough" "+")
If something needs the bald eagle and the bald eagle needs the bear then it does not need the mouse.
((("something" "needs" "bald eagle" "+") ("bald eagle" "needs" "bear" "+")) -> ("something" "needs" "mouse" "-"))
If something is nice then it does not like the bear.
((("something" "is" "nice" "+")) -> ("something" "likes" "bear" "-"))
If the mouse is rough and the mouse does not like the bear then the mouse sees the bear.
((("mouse" "is" "rough" "+") ("mouse" "likes" "bear" "~")) -> ("mouse" "sees" "bear" "+"))
The bear sees the bald eagle.
True
1
proof
[(triple11)]
("bear" "sees" "bald eagle" "+")
triple11
The bald eagle is not round.
False
1
inv-proof
[(triple2)]
("bald eagle" "is" "round" "-")
triple2
The mouse does not like the bear.
True
2
proof
[(((triple14) -> rule2))]
("mouse" "likes" "bear" "-")
((triple14) -> (rule2 % int1))
The mouse does not like the bear.
("mouse" "likes" "bear" "-")
int1
The mouse likes the bear.
False
2
inv-proof
[(((triple14) -> rule2))]
("mouse" "likes" "bear" "+")
((triple14) -> (rule2 % int1))
The mouse does not like the bear.
("mouse" "likes" "bear" "-")
int1
The mouse sees the bear.
True
4
proof
[(((triple15 ((triple14) -> rule2)) -> rule3))]
("mouse" "sees" "bear" "+")
((triple15 ((triple14) -> (rule2 % int2))) -> (rule3 % int1))
The mouse sees the bear.
("mouse" "sees" "bear" "+")
int1
The mouse does not like the bear.
("mouse" "likes" "bear" "-")
int2
The mouse does not see the bear.
False
4
inv-proof
[(((triple15 ((triple14) -> rule2)) -> rule3))]
("mouse" "sees" "bear" "-")
((triple15 ((triple14) -> (rule2 % int2))) -> (rule3 % int1))
The mouse sees the bear.
("mouse" "sees" "bear" "+")
int1
The mouse does not like the bear.
("mouse" "likes" "bear" "-")
int2
The bald eagle does not need the bear.
Unknown
inv-random
[@0: The bald eagle needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "bear" "-")
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 like the bear.
Unknown
inv-random
[@0: The bald eagle likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "bear" "-")
The bald eagle is nice.
Unknown
random
[@0: The bald eagle is nice.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "nice" "+")
The bald eagle does not like the bald eagle.
Unknown
inv-random
[@0: The bald eagle likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "bald eagle" "-")
The bear likes the bear.
Unknown
random
[@0: The bear likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "bear" "+")
@0: The bald eagle does not like the mouse.[(triple3)] The bald eagle does not see the mouse.[(triple5)] The bald eagle is blue.[(triple1)] The bald eagle is round.[(triple2)] The bald eagle sees the bear.[(triple4)] The bear is blue.[(triple6)] The bear is cold.[(triple7)] The bear likes the mouse.[(triple8)] The bear needs the bald eagle.[(triple9)] The bear needs the mouse.[(triple10)] The bear sees the bald eagle.[(triple11)] The bear sees the mouse.[(triple12)] The mouse is cold.[(triple13)] The mouse is nice.[(triple14)] The mouse is rough.[(triple15)] @1: The mouse does not like the bear.[(((triple14) -> rule2))] @2: The mouse sees the bear.[(((triple15 ((triple14) -> rule2)) -> rule3))]
The bald eagle does not like the mouse.
("bald eagle" "likes" "mouse" "-")
triple3
The bald eagle does not see the mouse.
("bald eagle" "sees" "mouse" "-")
triple5
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple1
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple2
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
triple4
The bear is blue.
("bear" "is" "blue" "+")
triple6
The bear is cold.
("bear" "is" "cold" "+")
triple7
The bear likes the mouse.
("bear" "likes" "mouse" "+")
triple8
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
triple9
The bear needs the mouse.
("bear" "needs" "mouse" "+")
triple10
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
triple11
The bear sees the mouse.
("bear" "sees" "mouse" "+")
triple12
The mouse is cold.
("mouse" "is" "cold" "+")
triple13
The mouse is nice.
("mouse" "is" "nice" "+")
triple14
The mouse is rough.
("mouse" "is" "rough" "+")
triple15
The mouse does not like the bear.
("mouse" "likes" "bear" "-")
((triple14) -> (rule2 % int1))
The mouse does not like the bear.
("mouse" "likes" "bear" "-")
int1
The mouse sees the bear.
("mouse" "sees" "bear" "+")
((triple15 ((triple14) -> (rule2 % int2))) -> (rule3 % int1))
The mouse sees the bear.
("mouse" "sees" "bear" "+")
int1
The mouse does not like the bear.
("mouse" "likes" "bear" "-")
int2