The bald eagle does not chase the bear. The bald eagle is cold. The bald eagle is rough. The bear is kind. The bear is rough. The bear needs the bald eagle. The bear sees the bald eagle. If someone sees the bear and the bear chases the bald eagle then the bear needs the bald eagle. If someone is kind and they do not need the bald eagle then the bald eagle is rough.
The bald eagle does not chase the bear.
("bald eagle" "chases" "bear" "-")
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The bear is kind.
("bear" "is" "kind" "+")
The bear is rough.
("bear" "is" "rough" "+")
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
If someone sees the bear and the bear chases the bald eagle then the bear needs the bald eagle.
((("someone" "sees" "bear" "+") ("bear" "chases" "bald eagle" "+")) -> ("bear" "needs" "bald eagle" "+"))
If someone is kind and they do not need the bald eagle then the bald eagle is rough.
((("someone" "is" "kind" "+") ("someone" "needs" "bald eagle" "~")) -> ("bald eagle" "is" "rough" "+"))
The bald eagle is cold.
True
1
proof
[(triple2)]
("bald eagle" "is" "cold" "+")
triple2
The bald eagle is not rough.
False
1
inv-proof
[(triple3)]
("bald eagle" "is" "rough" "-")
triple3
The bald eagle is not big.
Unknown
inv-random
[@0: The bald eagle is big.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "big" "-")
The bear is big.
Unknown
random
[@0: The bear is big.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "big" "+")
@0: The bald eagle does not chase the bear.[(triple1)] The bald eagle is cold.[(triple2)] The bald eagle is rough.[(triple3)] The bear is kind.[(triple4)] The bear is rough.[(triple5)] The bear needs the bald eagle.[(triple6)] The bear sees the bald eagle.[(triple7)]
The bald eagle does not chase the bear.
("bald eagle" "chases" "bear" "-")
triple1
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple2
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple3
The bear is kind.
("bear" "is" "kind" "+")
triple4
The bear is rough.
("bear" "is" "rough" "+")
triple5
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
triple6
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
triple7