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