The bald eagle eats the tiger. The bald eagle is big. The bald eagle is blue. The bald eagle is green. The bald eagle is rough. The bald eagle is round. The bald eagle needs the tiger. The bald eagle sees the tiger. The tiger eats the bald eagle. The tiger is blue. If someone needs the tiger and the tiger needs the bald eagle then the bald eagle is green. If the bald eagle needs the tiger and the bald eagle eats the tiger then the bald eagle is blue. If someone eats the bald eagle and the bald eagle sees the tiger then the tiger sees the bald eagle. If someone eats the bald eagle and they see the tiger then they eat the tiger. If the tiger needs the bald eagle and the tiger is round then the bald eagle sees the tiger. If the tiger needs the bald eagle and the bald eagle needs the tiger then the tiger is blue. If the tiger eats the bald eagle then the bald eagle is big. If someone needs the bald eagle then the bald eagle eats the tiger.
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The bald eagle is round.
("bald eagle" "is" "round" "+")
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
The tiger is blue.
("tiger" "is" "blue" "+")
If someone needs the tiger and the tiger needs the bald eagle then the bald eagle is green.
((("someone" "needs" "tiger" "+") ("tiger" "needs" "bald eagle" "+")) -> ("bald eagle" "is" "green" "+"))
If the bald eagle needs the tiger and the bald eagle eats the tiger then the bald eagle is blue.
((("bald eagle" "needs" "tiger" "+") ("bald eagle" "eats" "tiger" "+")) -> ("bald eagle" "is" "blue" "+"))
If someone eats the bald eagle and the bald eagle sees the tiger then the tiger sees the bald eagle.
((("someone" "eats" "bald eagle" "+") ("bald eagle" "sees" "tiger" "+")) -> ("tiger" "sees" "bald eagle" "+"))
If someone eats the bald eagle and they see the tiger then they eat the tiger.
((("someone" "eats" "bald eagle" "+") ("someone" "sees" "tiger" "+")) -> ("someone" "eats" "tiger" "+"))
If the tiger needs the bald eagle and the tiger is round then the bald eagle sees the tiger.
((("tiger" "needs" "bald eagle" "+") ("tiger" "is" "round" "+")) -> ("bald eagle" "sees" "tiger" "+"))
If the tiger needs the bald eagle and the bald eagle needs the tiger then the tiger is blue.
((("tiger" "needs" "bald eagle" "+") ("bald eagle" "needs" "tiger" "+")) -> ("tiger" "is" "blue" "+"))
If the tiger eats the bald eagle then the bald eagle is big.
((("tiger" "eats" "bald eagle" "+")) -> ("bald eagle" "is" "big" "+"))
If someone needs the bald eagle then the bald eagle eats the tiger.
((("someone" "needs" "bald eagle" "+")) -> ("bald eagle" "eats" "tiger" "+"))
The bald eagle needs the tiger.
True
1
proof
[(triple7)]
("bald eagle" "needs" "tiger" "+")
triple7
The bald eagle does not see the tiger.
False
1
inv-proof
[(triple8)]
("bald eagle" "sees" "tiger" "-")
triple8
The tiger sees the bald eagle.
True
3
proof
[(((triple9 triple8) -> rule3))]
("tiger" "sees" "bald eagle" "+")
((triple9 triple8) -> (rule3 % int1))
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
int1
The tiger does not see the bald eagle.
False
3
inv-proof
[(((triple9 triple8) -> rule3))]
("tiger" "sees" "bald eagle" "-")
((triple9 triple8) -> (rule3 % int1))
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
int1
The tiger does not eat the tiger.
Unknown
inv-rconc
[@1: The tiger eats the tiger.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("tiger" "eats" "tiger" "-")
The tiger needs the bald eagle.
Unknown
random
[@0: The tiger needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "needs" "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 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 OR ((triple9) -> rule7))] The bald eagle is blue.[(triple3 OR ((triple7 triple1) -> rule2))] The bald eagle is green.[(triple4)] The bald eagle is rough.[(triple5)] The bald eagle is round.[(triple6)] The bald eagle needs the tiger.[(triple7)] The bald eagle sees the tiger.[(triple8)] The tiger eats the bald eagle.[(triple9)] The tiger is blue.[(triple10)] @1: The tiger sees the bald eagle.[(((triple9 triple8) -> rule3))]
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
triple1
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple2
((triple9) -> (rule7 % int1))
The bald eagle is big.
("bald eagle" "is" "big" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple3
((triple7 triple1) -> (rule2 % int1))
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int1
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple4
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple5
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple6
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
triple7
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
triple8
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
triple9
The tiger is blue.
("tiger" "is" "blue" "+")
triple10
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
((triple9 triple8) -> (rule3 % int1))
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
int1