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