The bald eagle does not like the tiger. The rabbit does not need the bald eagle. The squirrel needs the rabbit. The tiger visits the bald eagle. If something is red then it is not cold. If something likes the bald eagle then it is not kind.
The bald eagle does not like the tiger.
("bald eagle" "likes" "tiger" "-")
The rabbit does not need the bald eagle.
("rabbit" "needs" "bald eagle" "-")
The squirrel needs the rabbit.
("squirrel" "needs" "rabbit" "+")
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
If something is red then it is not cold.
((("something" "is" "red" "+")) -> ("something" "is" "cold" "-"))
If something likes the bald eagle then it is not kind.
((("something" "likes" "bald eagle" "+")) -> ("something" "is" "kind" "-"))
The bald eagle does not like the tiger.
True
1
proof
[(triple1)]
("bald eagle" "likes" "tiger" "-")
triple1
The bald eagle likes the tiger.
False
1
inv-proof
[(triple1)]
("bald eagle" "likes" "tiger" "+")
triple1
The tiger does not like the squirrel.
Unknown
inv-random
[@0: The tiger likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "likes" "squirrel" "-")
The bald eagle likes the squirrel.
Unknown
random
[@0: The bald eagle likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "squirrel" "+")
@0: The bald eagle does not like the tiger.[(triple1)] The rabbit does not need the bald eagle.[(triple2)] The squirrel needs the rabbit.[(triple3)] The tiger visits the bald eagle.[(triple4)]
The bald eagle does not like the tiger.
("bald eagle" "likes" "tiger" "-")
triple1
The rabbit does not need the bald eagle.
("rabbit" "needs" "bald eagle" "-")
triple2
The squirrel needs the rabbit.
("squirrel" "needs" "rabbit" "+")
triple3
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
triple4