The bald eagle does not chase the tiger. The bald eagle is not big. The bald eagle is green. The bald eagle is nice. The bald eagle is rough. The bald eagle needs the tiger. The bald eagle does not see the tiger. The tiger is big. The tiger is not red. The tiger is rough. The tiger needs the bald eagle. The tiger does not see the bald eagle. If something is big then it is green.
The bald eagle does not chase the tiger.
("bald eagle" "chases" "tiger" "-")
The bald eagle is not big.
("bald eagle" "is" "big" "-")
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
The bald eagle does not see the tiger.
("bald eagle" "sees" "tiger" "-")
The tiger is big.
("tiger" "is" "big" "+")
The tiger is not red.
("tiger" "is" "red" "-")
The tiger is rough.
("tiger" "is" "rough" "+")
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
The tiger does not see the bald eagle.
("tiger" "sees" "bald eagle" "-")
If something is big then it is green.
((("something" "is" "big" "+")) -> ("something" "is" "green" "+"))
The tiger is not red.
True
1
proof
[(triple9)]
("tiger" "is" "red" "-")
triple9
The tiger sees the bald eagle.
False
1
inv-proof
[(triple12)]
("tiger" "sees" "bald eagle" "+")
triple12
The tiger is green.
True
2
proof
[(((triple8) -> rule1))]
("tiger" "is" "green" "+")
((triple8) -> (rule1 % int1))
The tiger is green.
("tiger" "is" "green" "+")
int1
The tiger is not green.
False
2
inv-proof
[(((triple8) -> rule1))]
("tiger" "is" "green" "-")
((triple8) -> (rule1 % int1))
The tiger is green.
("tiger" "is" "green" "+")
int1
The tiger does not chase the tiger.
Unknown
inv-random
[@0: The tiger chases the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "chases" "tiger" "-")
The bald eagle chases the bald eagle.
Unknown
random
[@0: The bald eagle chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "bald eagle" "+")
The bald eagle does not see the bald eagle.
Unknown
inv-random
[@0: The bald eagle sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "bald eagle" "-")
The tiger chases the bald eagle.
Unknown
random
[@0: The tiger chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "chases" "bald eagle" "+")
@0: The bald eagle does not chase the tiger.[(triple1)] The bald eagle does not see the tiger.[(triple7)] The bald eagle is green.[(triple3)] The bald eagle is nice.[(triple4)] The bald eagle is not big.[(triple2)] The bald eagle is rough.[(triple5)] The bald eagle needs the tiger.[(triple6)] The tiger does not see the bald eagle.[(triple12)] The tiger is big.[(triple8)] The tiger is not red.[(triple9)] The tiger is rough.[(triple10)] The tiger needs the bald eagle.[(triple11)] @1: The tiger is green.[(((triple8) -> rule1))]
The bald eagle does not chase the tiger.
("bald eagle" "chases" "tiger" "-")
triple1
The bald eagle does not see the tiger.
("bald eagle" "sees" "tiger" "-")
triple7
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple3
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple4
The bald eagle is not big.
("bald eagle" "is" "big" "-")
triple2
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple5
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
triple6
The tiger does not see the bald eagle.
("tiger" "sees" "bald eagle" "-")
triple12
The tiger is big.
("tiger" "is" "big" "+")
triple8
The tiger is not red.
("tiger" "is" "red" "-")
triple9
The tiger is rough.
("tiger" "is" "rough" "+")
triple10
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
triple11
The tiger is green.
("tiger" "is" "green" "+")
((triple8) -> (rule1 % int1))
The tiger is green.
("tiger" "is" "green" "+")
int1