The bald eagle needs the tiger. The bald eagle sees the bear. The bear is young. The bear sees the tiger. The tiger eats the bear. The tiger is green. The tiger needs the bald eagle. If something needs the tiger then the tiger is green.
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
The bear is young.
("bear" "is" "young" "+")
The bear sees the tiger.
("bear" "sees" "tiger" "+")
The tiger eats the bear.
("tiger" "eats" "bear" "+")
The tiger is green.
("tiger" "is" "green" "+")
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
If something needs the tiger then the tiger is green.
((("something" "needs" "tiger" "+")) -> ("tiger" "is" "green" "+"))
The tiger needs the bald eagle.
True
1
proof
[(triple7)]
("tiger" "needs" "bald eagle" "+")
triple7
The tiger does not need the bald eagle.
False
1
inv-proof
[(triple7)]
("tiger" "needs" "bald eagle" "-")
triple7
The bear does not see the bear.
Unknown
inv-random
[@0: The bear sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "bear" "-")
The bald eagle eats the bear.
Unknown
random
[@0: The bald eagle eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "bear" "+")
@0: The bald eagle needs the tiger.[(triple1)] The bald eagle sees the bear.[(triple2)] The bear is young.[(triple3)] The bear sees the tiger.[(triple4)] The tiger eats the bear.[(triple5)] The tiger is green.[(triple6 OR ((triple1) -> rule1))] The tiger needs the bald eagle.[(triple7)]
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
triple1
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
triple2
The bear is young.
("bear" "is" "young" "+")
triple3
The bear sees the tiger.
("bear" "sees" "tiger" "+")
triple4
The tiger eats the bear.
("tiger" "eats" "bear" "+")
triple5
The tiger is green.
("tiger" "is" "green" "+")
triple6
((triple1) -> (rule1 % int1))
The tiger is green.
("tiger" "is" "green" "+")
int1
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
triple7