The bald eagle eats the cow. The bald eagle is round. The bald eagle is not young. The bald eagle likes the lion. The bear eats the cow. The bear sees the bald eagle. The bear sees the cow. The cow eats the bear. The cow is not young. The lion eats the bald eagle. The lion eats the bear. The lion is rough. The lion does not like the bear. The lion likes the cow. If someone likes the bald eagle then they like the cow. If someone is young and big then they see the cow. If someone sees the bald eagle and they like the bear then the bear is round. If someone likes the bald eagle then they see the bear. If someone sees the bear and the bear eats the cow then the bear eats the lion. If someone eats the lion then the lion sees the cow. If the bald eagle eats the bear then the bear likes the bald eagle. If someone sees the bald eagle then the bald eagle eats the bear. If someone is rough then they like the lion.
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
The bald eagle is round.
("bald eagle" "is" "round" "+")
The bald eagle is not young.
("bald eagle" "is" "young" "-")
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
The bear eats the cow.
("bear" "eats" "cow" "+")
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
The bear sees the cow.
("bear" "sees" "cow" "+")
The cow eats the bear.
("cow" "eats" "bear" "+")
The cow is not young.
("cow" "is" "young" "-")
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
The lion eats the bear.
("lion" "eats" "bear" "+")
The lion is rough.
("lion" "is" "rough" "+")
The lion does not like the bear.
("lion" "likes" "bear" "-")
The lion likes the cow.
("lion" "likes" "cow" "+")
If someone likes the bald eagle then they like the cow.
((("someone" "likes" "bald eagle" "+")) -> ("someone" "likes" "cow" "+"))
If someone is young and big then they see the cow.
((("someone" "is" "young" "+") ("someone" "is" "big" "+")) -> ("someone" "sees" "cow" "+"))
If someone sees the bald eagle and they like the bear then the bear is round.
((("someone" "sees" "bald eagle" "+") ("someone" "likes" "bear" "+")) -> ("bear" "is" "round" "+"))
If someone likes the bald eagle then they see the bear.
((("someone" "likes" "bald eagle" "+")) -> ("someone" "sees" "bear" "+"))
If someone sees the bear and the bear eats the cow then the bear eats the lion.
((("someone" "sees" "bear" "+") ("bear" "eats" "cow" "+")) -> ("bear" "eats" "lion" "+"))
If someone eats the lion then the lion sees the cow.
((("someone" "eats" "lion" "+")) -> ("lion" "sees" "cow" "+"))
If the bald eagle eats the bear then the bear likes the bald eagle.
((("bald eagle" "eats" "bear" "+")) -> ("bear" "likes" "bald eagle" "+"))
If someone sees the bald eagle then the bald eagle eats the bear.
((("someone" "sees" "bald eagle" "+")) -> ("bald eagle" "eats" "bear" "+"))
If someone is rough then they like the lion.
((("someone" "is" "rough" "+")) -> ("someone" "likes" "lion" "+"))
The bear sees the cow.
True
1
proof
[(triple7)]
("bear" "sees" "cow" "+")
triple7
The bear does not eat the cow.
False
1
inv-proof
[(triple5)]
("bear" "eats" "cow" "-")
triple5
The bald eagle eats the bear.
True
2
proof
[(((triple6) -> rule8))]
("bald eagle" "eats" "bear" "+")
((triple6) -> (rule8 % int1))
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int1
The bald eagle does not eat the bear.
False
2
inv-proof
[(((triple6) -> rule8))]
("bald eagle" "eats" "bear" "-")
((triple6) -> (rule8 % int1))
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int1
The bear likes the bald eagle.
True
3
proof
[(((((triple6) -> rule8)) -> rule7))]
("bear" "likes" "bald eagle" "+")
((((triple6) -> (rule8 % int2))) -> (rule7 % int1))
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int1
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int2
The bear does not like the bald eagle.
False
3
inv-proof
[(((((triple6) -> rule8)) -> rule7))]
("bear" "likes" "bald eagle" "-")
((((triple6) -> (rule8 % int2))) -> (rule7 % int1))
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int1
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int2
The bear sees the bear.
True
4
proof
[(((((((triple6) -> rule8)) -> rule7)) -> rule4))]
("bear" "sees" "bear" "+")
((((((triple6) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The bear sees the bear.
("bear" "sees" "bear" "+")
int1
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int2
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int3
The bear does not like the cow.
False
4
inv-proof
[(((((((triple6) -> rule8)) -> rule7)) -> rule1))]
("bear" "likes" "cow" "-")
((((((triple6) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
The bear likes the cow.
("bear" "likes" "cow" "+")
int1
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int2
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int3
The bear eats the lion.
True
6
proof
[(((((((((triple6) -> rule8)) -> rule7)) -> rule4) triple5) -> rule5))]
("bear" "eats" "lion" "+")
((((((((triple6) -> (rule8 % int4))) -> (rule7 % int3))) -> (rule4 % int2)) triple5) -> (rule5 % int1))
The bear eats the lion.
("bear" "eats" "lion" "+")
int1
The bear sees the bear.
("bear" "sees" "bear" "+")
int2
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int3
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int4
The bear does not eat the lion.
False
6
inv-proof
[(((((((((triple6) -> rule8)) -> rule7)) -> rule4) triple5) -> rule5))]
("bear" "eats" "lion" "-")
((((((((triple6) -> (rule8 % int4))) -> (rule7 % int3))) -> (rule4 % int2)) triple5) -> (rule5 % int1))
The bear eats the lion.
("bear" "eats" "lion" "+")
int1
The bear sees the bear.
("bear" "sees" "bear" "+")
int2
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int3
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int4
The lion sees the cow.
True
7
proof
[(((((((((((triple6) -> rule8)) -> rule7)) -> rule4) triple5) -> rule5)) -> rule6))]
("lion" "sees" "cow" "+")
((((((((((triple6) -> (rule8 % int5))) -> (rule7 % int4))) -> (rule4 % int3)) triple5) -> (rule5 % int2))) -> (rule6 % int1))
The lion sees the cow.
("lion" "sees" "cow" "+")
int1
The bear eats the lion.
("bear" "eats" "lion" "+")
int2
The bear sees the bear.
("bear" "sees" "bear" "+")
int3
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int4
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int5
The lion does not see the cow.
False
7
inv-proof
[(((((((((((triple6) -> rule8)) -> rule7)) -> rule4) triple5) -> rule5)) -> rule6))]
("lion" "sees" "cow" "-")
((((((((((triple6) -> (rule8 % int5))) -> (rule7 % int4))) -> (rule4 % int3)) triple5) -> (rule5 % int2))) -> (rule6 % int1))
The lion sees the cow.
("lion" "sees" "cow" "+")
int1
The bear eats the lion.
("bear" "eats" "lion" "+")
int2
The bear sees the bear.
("bear" "sees" "bear" "+")
int3
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int4
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int5
The bald eagle does not see the bear.
Unknown
inv-rconc
[@1: The bald eagle sees the bear.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bald eagle" "sees" "bear" "-")
The bear is round.
Unknown
rconc
[@1: The bear is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bear" "is" "round" "+")
The bear does not like the lion.
Unknown
inv-rconc
[@1: The bear likes the lion.[CWA. Example of deepest failure = (rule9 <- FAIL)]]
("bear" "likes" "lion" "-")
The cow likes the cow.
Unknown
rconc
[@1: The cow likes the cow.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "likes" "cow" "+")
The lion does not see the bear.
Unknown
inv-rconc
[@1: The lion sees the bear.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("lion" "sees" "bear" "-")
The bald eagle sees the cow.
Unknown
rconc
[@1: The bald eagle sees the cow.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "sees" "cow" "+")
The bald eagle is not big.
Unknown
inv-random
[@0: The bald eagle is big.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "big" "-")
The cow eats the bald eagle.
Unknown
random
[@0: The cow eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "bald eagle" "+")
The lion is not young.
Unknown
inv-random
[@0: The lion is young.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "young" "-")
The cow is round.
Unknown
random
[@0: The cow is round.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "round" "+")
The bald eagle is not kind.
Unknown
inv-random
[@0: The bald eagle is kind.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "kind" "-")
The cow eats the lion.
Unknown
random
[@0: The cow eats the lion.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "lion" "+")
@0: The bald eagle eats the cow.[(triple1)] The bald eagle is not young.[(triple3)] The bald eagle is round.[(triple2)] The bald eagle likes the lion.[(triple4)] The bear eats the cow.[(triple5)] The bear sees the bald eagle.[(triple6)] The bear sees the cow.[(triple7)] The cow eats the bear.[(triple8)] The cow is not young.[(triple9)] The lion does not like the bear.[(triple13)] The lion eats the bald eagle.[(triple10)] The lion eats the bear.[(triple11)] The lion is rough.[(triple12)] The lion likes the cow.[(triple14)] @1: The bald eagle eats the bear.[(((triple6) -> rule8))] The lion likes the lion.[(((triple12) -> rule9))] @2: The bear likes the bald eagle.[(((((triple6) -> rule8)) -> rule7))] @3: The bear likes the cow.[(((((((triple6) -> rule8)) -> rule7)) -> rule1))] The bear sees the bear.[(((((((triple6) -> rule8)) -> rule7)) -> rule4))] @4: The bear eats the lion.[(((((((((triple6) -> rule8)) -> rule7)) -> rule4) triple5) -> rule5))] @5: The lion sees the cow.[(((((((((((triple6) -> rule8)) -> rule7)) -> rule4) triple5) -> rule5)) -> rule6))]
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
triple1
The bald eagle is not young.
("bald eagle" "is" "young" "-")
triple3
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple2
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
triple4
The bear eats the cow.
("bear" "eats" "cow" "+")
triple5
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
triple6
The bear sees the cow.
("bear" "sees" "cow" "+")
triple7
The cow eats the bear.
("cow" "eats" "bear" "+")
triple8
The cow is not young.
("cow" "is" "young" "-")
triple9
The lion does not like the bear.
("lion" "likes" "bear" "-")
triple13
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
triple10
The lion eats the bear.
("lion" "eats" "bear" "+")
triple11
The lion is rough.
("lion" "is" "rough" "+")
triple12
The lion likes the cow.
("lion" "likes" "cow" "+")
triple14
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
((triple6) -> (rule8 % int1))
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int1
The lion likes the lion.
("lion" "likes" "lion" "+")
((triple12) -> (rule9 % int1))
The lion likes the lion.
("lion" "likes" "lion" "+")
int1
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
((((triple6) -> (rule8 % int2))) -> (rule7 % int1))
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int1
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int2
The bear likes the cow.
("bear" "likes" "cow" "+")
((((((triple6) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
The bear likes the cow.
("bear" "likes" "cow" "+")
int1
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int2
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int3
The bear sees the bear.
("bear" "sees" "bear" "+")
((((((triple6) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The bear sees the bear.
("bear" "sees" "bear" "+")
int1
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int2
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int3
The bear eats the lion.
("bear" "eats" "lion" "+")
((((((((triple6) -> (rule8 % int4))) -> (rule7 % int3))) -> (rule4 % int2)) triple5) -> (rule5 % int1))
The bear eats the lion.
("bear" "eats" "lion" "+")
int1
The bear sees the bear.
("bear" "sees" "bear" "+")
int2
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int3
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int4
The lion sees the cow.
("lion" "sees" "cow" "+")
((((((((((triple6) -> (rule8 % int5))) -> (rule7 % int4))) -> (rule4 % int3)) triple5) -> (rule5 % int2))) -> (rule6 % int1))
The lion sees the cow.
("lion" "sees" "cow" "+")
int1
The bear eats the lion.
("bear" "eats" "lion" "+")
int2
The bear sees the bear.
("bear" "sees" "bear" "+")
int3
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int4
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int5