The bald eagle eats the bear. The bald eagle eats the tiger. The bald eagle is not big. The bald eagle is rough. The bald eagle likes the bear. The bald eagle sees the tiger. The bear eats the bald eagle. The bear is big. The bear is cold. The bear likes the bald eagle. The bear likes the tiger. The bear sees the tiger. The tiger is big. The tiger is rough. The tiger does not see the bald eagle. The tiger sees the bear. If the bear does not like the tiger then the bear is big. If someone sees the tiger and the tiger eats the bear then they like the bear. If someone likes the tiger then they are round. If someone likes the tiger and they are not rough then the tiger is not round. If someone is round then they see the bald eagle. If someone eats the bear and they do not like the bear then they like the bald eagle. If someone likes the bald eagle and they are not young then the bald eagle likes the tiger. If someone sees the bald eagle then the bald eagle is not round.
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
The bald eagle is not big.
("bald eagle" "is" "big" "-")
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
The bear is big.
("bear" "is" "big" "+")
The bear is cold.
("bear" "is" "cold" "+")
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
The bear likes the tiger.
("bear" "likes" "tiger" "+")
The bear sees the tiger.
("bear" "sees" "tiger" "+")
The tiger is big.
("tiger" "is" "big" "+")
The tiger is rough.
("tiger" "is" "rough" "+")
The tiger does not see the bald eagle.
("tiger" "sees" "bald eagle" "-")
The tiger sees the bear.
("tiger" "sees" "bear" "+")
If the bear does not like the tiger then the bear is big.
((("bear" "likes" "tiger" "~")) -> ("bear" "is" "big" "+"))
If someone sees the tiger and the tiger eats the bear then they like the bear.
((("someone" "sees" "tiger" "+") ("tiger" "eats" "bear" "+")) -> ("someone" "likes" "bear" "+"))
If someone likes the tiger then they are round.
((("someone" "likes" "tiger" "+")) -> ("someone" "is" "round" "+"))
If someone likes the tiger and they are not rough then the tiger is not round.
((("someone" "likes" "tiger" "+") ("someone" "is" "rough" "~")) -> ("tiger" "is" "round" "-"))
If someone is round then they see the bald eagle.
((("someone" "is" "round" "+")) -> ("someone" "sees" "bald eagle" "+"))
If someone eats the bear and they do not like the bear then they like the bald eagle.
((("someone" "eats" "bear" "+") ("someone" "likes" "bear" "~")) -> ("someone" "likes" "bald eagle" "+"))
If someone likes the bald eagle and they are not young then the bald eagle likes the tiger.
((("someone" "likes" "bald eagle" "+") ("someone" "is" "young" "~")) -> ("bald eagle" "likes" "tiger" "+"))
If someone sees the bald eagle then the bald eagle is not round.
((("someone" "sees" "bald eagle" "+")) -> ("bald eagle" "is" "round" "-"))
The bald eagle is not big.
True
1
proof
[(triple3)]
("bald eagle" "is" "big" "-")
triple3
The bear does not see the tiger.
False
1
inv-proof
[(triple12)]
("bear" "sees" "tiger" "-")
triple12
The bear is round.
True
2
proof
[(((triple11) -> rule3))]
("bear" "is" "round" "+")
((triple11) -> (rule3 % int1))
The bear is round.
("bear" "is" "round" "+")
int1
The bear is not round.
False
2
inv-proof
[(((triple11) -> rule3))]
("bear" "is" "round" "-")
((triple11) -> (rule3 % int1))
The bear is round.
("bear" "is" "round" "+")
int1
The bear sees the bald eagle.
True
3
proof
[(((((triple11) -> rule3)) -> rule5))]
("bear" "sees" "bald eagle" "+")
((((triple11) -> (rule3 % int2))) -> (rule5 % int1))
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int1
The bear is round.
("bear" "is" "round" "+")
int2
The bear does not see the bald eagle.
False
3
inv-proof
[(((((triple11) -> rule3)) -> rule5))]
("bear" "sees" "bald eagle" "-")
((((triple11) -> (rule3 % int2))) -> (rule5 % int1))
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int1
The bear is round.
("bear" "is" "round" "+")
int2
The bald eagle is not round.
True
4
proof
[(((((((triple11) -> rule3)) -> rule5)) -> rule8))]
("bald eagle" "is" "round" "-")
((((((triple11) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
The bald eagle is not round.
("bald eagle" "is" "round" "-")
int1
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int2
The bear is round.
("bear" "is" "round" "+")
int3
The bald eagle is round.
False
4
inv-proof
[(((((((triple11) -> rule3)) -> rule5)) -> rule8))]
("bald eagle" "is" "round" "+")
((((((triple11) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
The bald eagle is not round.
("bald eagle" "is" "round" "-")
int1
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int2
The bear is round.
("bear" "is" "round" "+")
int3
The bald eagle does not like the bald eagle.
Unknown
inv-rconc
[@1: The bald eagle likes the bald eagle.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bald eagle" "likes" "bald eagle" "-")
The tiger likes the bear.
Unknown
rconc
[@1: The tiger likes the bear.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("tiger" "likes" "bear" "+")
The bear does not like the bear.
Unknown
inv-rconc
[@1: The bear likes the bear.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bear" "likes" "bear" "-")
The bald eagle sees the bald eagle.
Unknown
rconc
[@1: The bald eagle sees the bald eagle.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bald eagle" "sees" "bald eagle" "+")
The bear is not young.
Unknown
inv-random
[@0: The bear is young.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "young" "-")
The bear is rough.
Unknown
random
[@0: The bear is rough.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "rough" "+")
The bald eagle is not young.
Unknown
inv-random
[@0: The bald eagle is young.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "young" "-")
The bald eagle eats the bald eagle.
Unknown
random
[@0: The bald eagle eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "bald eagle" "+")
@0: The bald eagle eats the bear.[(triple1)] The bald eagle eats the tiger.[(triple2)] The bald eagle is not big.[(triple3)] The bald eagle is rough.[(triple4)] The bald eagle likes the bear.[(triple5)] The bald eagle sees the tiger.[(triple6)] The bear eats the bald eagle.[(triple7)] The bear is big.[(triple8)] The bear is cold.[(triple9)] The bear likes the bald eagle.[(triple10)] The bear likes the tiger.[(triple11)] The bear sees the tiger.[(triple12)] The tiger does not see the bald eagle.[(triple15)] The tiger is big.[(triple13)] The tiger is rough.[(triple14)] The tiger sees the bear.[(triple16)] @1: The bear is round.[(((triple11) -> rule3))] @2: The bear sees the bald eagle.[(((((triple11) -> rule3)) -> rule5))] @3: The bald eagle is not round.[(((((((triple11) -> rule3)) -> rule5)) -> rule8))]
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
triple1
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
triple2
The bald eagle is not big.
("bald eagle" "is" "big" "-")
triple3
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple4
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
triple5
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
triple6
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
triple7
The bear is big.
("bear" "is" "big" "+")
triple8
The bear is cold.
("bear" "is" "cold" "+")
triple9
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
triple10
The bear likes the tiger.
("bear" "likes" "tiger" "+")
triple11
The bear sees the tiger.
("bear" "sees" "tiger" "+")
triple12
The tiger does not see the bald eagle.
("tiger" "sees" "bald eagle" "-")
triple15
The tiger is big.
("tiger" "is" "big" "+")
triple13
The tiger is rough.
("tiger" "is" "rough" "+")
triple14
The tiger sees the bear.
("tiger" "sees" "bear" "+")
triple16
The bear is round.
("bear" "is" "round" "+")
((triple11) -> (rule3 % int1))
The bear is round.
("bear" "is" "round" "+")
int1
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
((((triple11) -> (rule3 % int2))) -> (rule5 % int1))
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int1
The bear is round.
("bear" "is" "round" "+")
int2
The bald eagle is not round.
("bald eagle" "is" "round" "-")
((((((triple11) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
The bald eagle is not round.
("bald eagle" "is" "round" "-")
int1
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int2
The bear is round.
("bear" "is" "round" "+")
int3