The bald eagle eats the tiger. The bald eagle is big. The bald eagle is not blue. The bald eagle is not cold. The bald eagle is not green. The bald eagle is not rough. The bald eagle needs the tiger. The bald eagle visits the tiger. The tiger eats the bald eagle. The tiger is not big. The tiger is cold. The tiger needs the bald eagle. If someone needs the tiger then the tiger is not big.
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle is not blue.
("bald eagle" "is" "blue" "-")
The bald eagle is not cold.
("bald eagle" "is" "cold" "-")
The bald eagle is not green.
("bald eagle" "is" "green" "-")
The bald eagle is not rough.
("bald eagle" "is" "rough" "-")
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
The tiger is not big.
("tiger" "is" "big" "-")
The tiger is cold.
("tiger" "is" "cold" "+")
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
If someone needs the tiger then the tiger is not big.
((("someone" "needs" "tiger" "+")) -> ("tiger" "is" "big" "-"))
The bald eagle is big.
True
1
proof
[(triple2)]
("bald eagle" "is" "big" "+")
triple2
The bald eagle does not visit the tiger.
False
1
inv-proof
[(triple8)]
("bald eagle" "visits" "tiger" "-")
triple8
The bald eagle does not eat the bald eagle.
Unknown
inv-random
[@0: The bald eagle eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "bald eagle" "-")
The tiger needs the tiger.
Unknown
random
[@0: The tiger needs the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "needs" "tiger" "+")
@0: The bald eagle eats the tiger.[(triple1)] The bald eagle is big.[(triple2)] The bald eagle is not blue.[(triple3)] The bald eagle is not cold.[(triple4)] The bald eagle is not green.[(triple5)] The bald eagle is not rough.[(triple6)] The bald eagle needs the tiger.[(triple7)] The bald eagle visits the tiger.[(triple8)] The tiger eats the bald eagle.[(triple9)] The tiger is cold.[(triple11)] The tiger is not big.[(triple10 OR ((triple7) -> rule1))] The tiger needs the bald eagle.[(triple12)]
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
triple1
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple2
The bald eagle is not blue.
("bald eagle" "is" "blue" "-")
triple3
The bald eagle is not cold.
("bald eagle" "is" "cold" "-")
triple4
The bald eagle is not green.
("bald eagle" "is" "green" "-")
triple5
The bald eagle is not rough.
("bald eagle" "is" "rough" "-")
triple6
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
triple7
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
triple8
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
triple9
The tiger is cold.
("tiger" "is" "cold" "+")
triple11
The tiger is not big.
("tiger" "is" "big" "-")
triple10
((triple7) -> (rule1 % int1))
The tiger is not big.
("tiger" "is" "big" "-")
int1
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
triple12