The bald eagle eats the rabbit. The dog does not chase the rabbit. The dog eats the bald eagle. The dog is green. The rabbit eats the bald eagle. The rabbit is kind. The rabbit needs the dog. If something needs the bald eagle then the bald eagle is not green.
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
The dog does not chase the rabbit.
("dog" "chases" "rabbit" "-")
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
The dog is green.
("dog" "is" "green" "+")
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The rabbit needs the dog.
("rabbit" "needs" "dog" "+")
If something needs the bald eagle then the bald eagle is not green.
((("something" "needs" "bald eagle" "+")) -> ("bald eagle" "is" "green" "-"))
The rabbit is kind.
True
1
proof
[(triple6)]
("rabbit" "is" "kind" "+")
triple6
The dog does not eat the bald eagle.
False
1
inv-proof
[(triple3)]
("dog" "eats" "bald eagle" "-")
triple3
The bald eagle is not round.
Unknown
inv-random
[@0: The bald eagle is round.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "round" "-")
The bald eagle is red.
Unknown
random
[@0: The bald eagle is red.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "red" "+")
@0: The bald eagle eats the rabbit.[(triple1)] The dog does not chase the rabbit.[(triple2)] The dog eats the bald eagle.[(triple3)] The dog is green.[(triple4)] The rabbit eats the bald eagle.[(triple5)] The rabbit is kind.[(triple6)] The rabbit needs the dog.[(triple7)]
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
triple1
The dog does not chase the rabbit.
("dog" "chases" "rabbit" "-")
triple2
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
triple3
The dog is green.
("dog" "is" "green" "+")
triple4
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
triple5
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple6
The rabbit needs the dog.
("rabbit" "needs" "dog" "+")
triple7