The bald eagle is rough. The bear is blue. The bear sees the bald eagle. The dog is young. The tiger is green. The tiger is young. The tiger needs the dog. The tiger sees the bear. The tiger sees the dog. The tiger visits the bear. If someone sees the dog and they are green then the dog visits the bald eagle. If the dog needs the tiger then the tiger sees the dog.
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The bear is blue.
("bear" "is" "blue" "+")
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
The dog is young.
("dog" "is" "young" "+")
The tiger is green.
("tiger" "is" "green" "+")
The tiger is young.
("tiger" "is" "young" "+")
The tiger needs the dog.
("tiger" "needs" "dog" "+")
The tiger sees the bear.
("tiger" "sees" "bear" "+")
The tiger sees the dog.
("tiger" "sees" "dog" "+")
The tiger visits the bear.
("tiger" "visits" "bear" "+")
If someone sees the dog and they are green then the dog visits the bald eagle.
((("someone" "sees" "dog" "+") ("someone" "is" "green" "+")) -> ("dog" "visits" "bald eagle" "+"))
If the dog needs the tiger then the tiger sees the dog.
((("dog" "needs" "tiger" "+")) -> ("tiger" "sees" "dog" "+"))
The tiger sees the dog.
True
1
proof
[(triple9)]
("tiger" "sees" "dog" "+")
triple9
The tiger does not see the dog.
False
1
inv-proof
[(triple9)]
("tiger" "sees" "dog" "-")
triple9
The tiger does not need the bear.
Unknown
inv-random
[@0: The tiger needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "needs" "bear" "-")
The bald eagle needs the bald eagle.
Unknown
random
[@0: The bald eagle needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "bald eagle" "+")
@0: The bald eagle is rough.[(triple1)] The bear is blue.[(triple2)] The bear sees the bald eagle.[(triple3)] The dog is young.[(triple4)] The tiger is green.[(triple5)] The tiger is young.[(triple6)] The tiger needs the dog.[(triple7)] The tiger sees the bear.[(triple8)] The tiger sees the dog.[(triple9)] The tiger visits the bear.[(triple10)] @1: The dog visits the bald eagle.[(((triple9 triple5) -> rule1))]
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple1
The bear is blue.
("bear" "is" "blue" "+")
triple2
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
triple3
The dog is young.
("dog" "is" "young" "+")
triple4
The tiger is green.
("tiger" "is" "green" "+")
triple5
The tiger is young.
("tiger" "is" "young" "+")
triple6
The tiger needs the dog.
("tiger" "needs" "dog" "+")
triple7
The tiger sees the bear.
("tiger" "sees" "bear" "+")
triple8
The tiger sees the dog.
("tiger" "sees" "dog" "+")
triple9
The tiger visits the bear.
("tiger" "visits" "bear" "+")
triple10
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
((triple9 triple5) -> (rule1 % int1))
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
int1