The bald eagle is big. The bald eagle is not blue. The bald eagle is green. The bald eagle is young. The bald eagle likes the tiger. The bald eagle sees the tiger. The tiger eats the bald eagle. The tiger is young. The tiger does not like the bald eagle. The tiger sees the bald eagle. If the tiger eats the bald eagle and the tiger likes the bald eagle then the bald eagle is young. If someone is cold and they see the bald eagle then they like the bald eagle. If someone likes the bald eagle then they see the tiger. If someone sees the bald eagle and they eat the tiger then they like the tiger. If someone is young and they see the bald eagle then the bald eagle eats the tiger. If someone sees the bald eagle and the bald eagle sees the tiger then they eat the bald eagle. If someone eats the bald eagle and the bald eagle does not eat the tiger then the tiger is not green. If someone eats the tiger and they are not green then they are not big.
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle is not blue.
("bald eagle" "is" "blue" "-")
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
The tiger is young.
("tiger" "is" "young" "+")
The tiger does not like the bald eagle.
("tiger" "likes" "bald eagle" "-")
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
If the tiger eats the bald eagle and the tiger likes the bald eagle then the bald eagle is young.
((("tiger" "eats" "bald eagle" "+") ("tiger" "likes" "bald eagle" "+")) -> ("bald eagle" "is" "young" "+"))
If someone is cold and they see the bald eagle then they like the bald eagle.
((("someone" "is" "cold" "+") ("someone" "sees" "bald eagle" "+")) -> ("someone" "likes" "bald eagle" "+"))
If someone likes the bald eagle then they see the tiger.
((("someone" "likes" "bald eagle" "+")) -> ("someone" "sees" "tiger" "+"))
If someone sees the bald eagle and they eat the tiger then they like the tiger.
((("someone" "sees" "bald eagle" "+") ("someone" "eats" "tiger" "+")) -> ("someone" "likes" "tiger" "+"))
If someone is young and they see the bald eagle then the bald eagle eats the tiger.
((("someone" "is" "young" "+") ("someone" "sees" "bald eagle" "+")) -> ("bald eagle" "eats" "tiger" "+"))
If someone sees the bald eagle and the bald eagle sees the tiger then they eat the bald eagle.
((("someone" "sees" "bald eagle" "+") ("bald eagle" "sees" "tiger" "+")) -> ("someone" "eats" "bald eagle" "+"))
If someone eats the bald eagle and the bald eagle does not eat the tiger then the tiger is not green.
((("someone" "eats" "bald eagle" "+") ("bald eagle" "eats" "tiger" "~")) -> ("tiger" "is" "green" "-"))
If someone eats the tiger and they are not green then they are not big.
((("someone" "eats" "tiger" "+") ("someone" "is" "green" "~")) -> ("someone" "is" "big" "-"))
The bald eagle is young.
True
1
proof
[(triple4)]
("bald eagle" "is" "young" "+")
triple4
The tiger likes the bald eagle.
False
1
inv-proof
[(triple9)]
("tiger" "likes" "bald eagle" "+")
triple9
The bald eagle eats the tiger.
True
3
proof
[(((triple8 triple10) -> rule5))]
("bald eagle" "eats" "tiger" "+")
((triple8 triple10) -> (rule5 % int1))
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
int1
The bald eagle does not eat the tiger.
False
3
inv-proof
[(((triple8 triple10) -> rule5))]
("bald eagle" "eats" "tiger" "-")
((triple8 triple10) -> (rule5 % int1))
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
int1
The bald eagle does not eat the bald eagle.
Unknown
inv-rconc
[@1: The bald eagle eats the bald eagle.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bald eagle" "eats" "bald eagle" "-")
The tiger likes the tiger.
Unknown
rconc
[@1: The tiger likes the tiger.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("tiger" "likes" "tiger" "+")
The tiger is not cold.
Unknown
inv-random
[@0: The tiger is cold.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "cold" "-")
The bald eagle sees the bald eagle.
Unknown
random
[@0: The bald eagle sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "bald eagle" "+")
@0: The bald eagle is big.[(triple1)] The bald eagle is green.[(triple3)] The bald eagle is not blue.[(triple2)] The bald eagle is young.[(triple4)] The bald eagle likes the tiger.[(triple5)] The bald eagle sees the tiger.[(triple6)] The tiger does not like the bald eagle.[(triple9)] The tiger eats the bald eagle.[(triple7 OR ((triple10 triple6) -> rule6))] The tiger is young.[(triple8)] The tiger sees the bald eagle.[(triple10)] @1: The bald eagle eats the tiger.[(((triple8 triple10) -> rule5))]
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple1
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple3
The bald eagle is not blue.
("bald eagle" "is" "blue" "-")
triple2
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple4
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
triple5
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
triple6
The tiger does not like the bald eagle.
("tiger" "likes" "bald eagle" "-")
triple9
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
triple7
((triple10 triple6) -> (rule6 % int1))
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
triple8
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
triple10
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
((triple8 triple10) -> (rule5 % int1))
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
int1