The bald eagle is blue. The bald eagle is rough. The bald eagle is round. The bald eagle does not need the tiger. The tiger does not chase the bald eagle. The tiger is cold. The tiger is nice. The tiger is rough. The tiger likes the bald eagle. The tiger needs the bald eagle. If something needs the tiger and the tiger does not like the bald eagle then the tiger chases the bald eagle.
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The bald eagle is round.
("bald eagle" "is" "round" "+")
The bald eagle does not need the tiger.
("bald eagle" "needs" "tiger" "-")
The tiger does not chase the bald eagle.
("tiger" "chases" "bald eagle" "-")
The tiger is cold.
("tiger" "is" "cold" "+")
The tiger is nice.
("tiger" "is" "nice" "+")
The tiger is rough.
("tiger" "is" "rough" "+")
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
If something needs the tiger and the tiger does not like the bald eagle then the tiger chases the bald eagle.
((("something" "needs" "tiger" "+") ("tiger" "likes" "bald eagle" "~")) -> ("tiger" "chases" "bald eagle" "+"))
The bald eagle is round.
True
1
proof
[(triple3)]
("bald eagle" "is" "round" "+")
triple3
The tiger is not nice.
False
1
inv-proof
[(triple7)]
("tiger" "is" "nice" "-")
triple7
The tiger does not like the tiger.
Unknown
inv-random
[@0: The tiger likes the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "likes" "tiger" "-")
The tiger is round.
Unknown
random
[@0: The tiger is round.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "round" "+")
@0: The bald eagle does not need the tiger.[(triple4)] The bald eagle is blue.[(triple1)] The bald eagle is rough.[(triple2)] The bald eagle is round.[(triple3)] The tiger does not chase the bald eagle.[(triple5)] The tiger is cold.[(triple6)] The tiger is nice.[(triple7)] The tiger is rough.[(triple8)] The tiger likes the bald eagle.[(triple9)] The tiger needs the bald eagle.[(triple10)]
The bald eagle does not need the tiger.
("bald eagle" "needs" "tiger" "-")
triple4
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple2
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple3
The tiger does not chase the bald eagle.
("tiger" "chases" "bald eagle" "-")
triple5
The tiger is cold.
("tiger" "is" "cold" "+")
triple6
The tiger is nice.
("tiger" "is" "nice" "+")
triple7
The tiger is rough.
("tiger" "is" "rough" "+")
triple8
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
triple9
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
triple10