The bald eagle eats the cow. The bald eagle eats the tiger. The bald eagle does not see the bear. The bear does not see the cow. The bear sees the tiger. The cow is round. The cow needs the bear. The cow sees the bald eagle. The cow sees the bear. The tiger is not green. The tiger is nice. The tiger needs the bear. The tiger does not need the cow. The tiger sees the bear. The tiger sees the cow. If something is nice then it sees the bald eagle. If the bear is cold and the bear eats the bald eagle then the bear does not eat the cow. If something needs the bear then the bear is nice. If something sees the tiger and it sees the bear then the bear needs the cow. If something is green then it needs the tiger. Cold things are round. If the cow needs the bear and the cow is green then the bear is not round. If the bear sees the cow and the cow does not need the tiger then the cow is round.
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
The bald eagle does not see the bear.
("bald eagle" "sees" "bear" "-")
The bear does not see the cow.
("bear" "sees" "cow" "-")
The bear sees the tiger.
("bear" "sees" "tiger" "+")
The cow is round.
("cow" "is" "round" "+")
The cow needs the bear.
("cow" "needs" "bear" "+")
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
The cow sees the bear.
("cow" "sees" "bear" "+")
The tiger is not green.
("tiger" "is" "green" "-")
The tiger is nice.
("tiger" "is" "nice" "+")
The tiger needs the bear.
("tiger" "needs" "bear" "+")
The tiger does not need the cow.
("tiger" "needs" "cow" "-")
The tiger sees the bear.
("tiger" "sees" "bear" "+")
The tiger sees the cow.
("tiger" "sees" "cow" "+")
If something is nice then it sees the bald eagle.
((("something" "is" "nice" "+")) -> ("something" "sees" "bald eagle" "+"))
If the bear is cold and the bear eats the bald eagle then the bear does not eat the cow.
((("bear" "is" "cold" "+") ("bear" "eats" "bald eagle" "+")) -> ("bear" "eats" "cow" "-"))
If something needs the bear then the bear is nice.
((("something" "needs" "bear" "+")) -> ("bear" "is" "nice" "+"))
If something sees the tiger and it sees the bear then the bear needs the cow.
((("something" "sees" "tiger" "+") ("something" "sees" "bear" "+")) -> ("bear" "needs" "cow" "+"))
If something is green then it needs the tiger.
((("something" "is" "green" "+")) -> ("something" "needs" "tiger" "+"))
Cold things are round.
((("something" "is" "cold" "+")) -> ("something" "is" "round" "+"))
If the cow needs the bear and the cow is green then the bear is not round.
((("cow" "needs" "bear" "+") ("cow" "is" "green" "+")) -> ("bear" "is" "round" "-"))
If the bear sees the cow and the cow does not need the tiger then the cow is round.
((("bear" "sees" "cow" "+") ("cow" "needs" "tiger" "~")) -> ("cow" "is" "round" "+"))
The cow needs the bear.
True
1
proof
[(triple7)]
("cow" "needs" "bear" "+")
triple7
The cow does not see the bald eagle.
False
1
inv-proof
[(triple8)]
("cow" "sees" "bald eagle" "-")
triple8
The tiger sees the bald eagle.
True
2
proof
[(((triple11) -> rule1))]
("tiger" "sees" "bald eagle" "+")
((triple11) -> (rule1 % int1))
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
int1
The tiger does not see the bald eagle.
False
2
inv-proof
[(((triple11) -> rule1))]
("tiger" "sees" "bald eagle" "-")
((triple11) -> (rule1 % int1))
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
int1
The bear sees the bald eagle.
True
3
proof
[(((((triple12) -> rule3)) -> rule1) OR ((((triple7) -> rule3)) -> rule1))]
("bear" "sees" "bald eagle" "+")
((((triple12) -> (rule3 % int2))) -> (rule1 % int1))
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int1
The bear is nice.
("bear" "is" "nice" "+")
int2
((((triple7) -> (rule3 % int2))) -> (rule1 % int1))
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int1
The bear is nice.
("bear" "is" "nice" "+")
int2
The bear does not see the bald eagle.
False
3
inv-proof
[(((((triple12) -> rule3)) -> rule1) OR ((((triple7) -> rule3)) -> rule1))]
("bear" "sees" "bald eagle" "-")
((((triple12) -> (rule3 % int2))) -> (rule1 % int1))
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int1
The bear is nice.
("bear" "is" "nice" "+")
int2
((((triple7) -> (rule3 % int2))) -> (rule1 % int1))
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int1
The bear is nice.
("bear" "is" "nice" "+")
int2
The cow does not need the tiger.
Unknown
inv-rconc
[@1: The cow needs the tiger.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("cow" "needs" "tiger" "-")
The bear is round.
Unknown
rconc
[@1: The bear is round.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bear" "is" "round" "+")
The tiger is not round.
Unknown
inv-rconc
[@1: The tiger is round.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("tiger" "is" "round" "-")
The bear eats the cow.
Unknown
random
[@0: The bear eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "cow" "+")
The tiger does not eat the bald eagle.
Unknown
inv-random
[@0: The tiger eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "eats" "bald eagle" "-")
The cow needs the bald eagle.
Unknown
random
[@0: The cow needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("cow" "needs" "bald eagle" "+")
@0: The bald eagle does not see the bear.[(triple3)] The bald eagle eats the cow.[(triple1)] The bald eagle eats the tiger.[(triple2)] The bear does not see the cow.[(triple4)] The bear sees the tiger.[(triple5)] The cow is round.[(triple6)] The cow needs the bear.[(triple7)] The cow sees the bald eagle.[(triple8)] The cow sees the bear.[(triple9)] The tiger does not need the cow.[(triple13)] The tiger is nice.[(triple11)] The tiger is not green.[(triple10)] The tiger needs the bear.[(triple12)] The tiger sees the bear.[(triple14)] The tiger sees the cow.[(triple15)] @1: The bear is nice.[(((triple12) -> rule3) OR ((triple7) -> rule3))] The tiger sees the bald eagle.[(((triple11) -> rule1))] @2: The bear sees the bald eagle.[(((((triple12) -> rule3)) -> rule1) OR ((((triple7) -> rule3)) -> rule1))]
The bald eagle does not see the bear.
("bald eagle" "sees" "bear" "-")
triple3
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
triple1
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
triple2
The bear does not see the cow.
("bear" "sees" "cow" "-")
triple4
The bear sees the tiger.
("bear" "sees" "tiger" "+")
triple5
The cow is round.
("cow" "is" "round" "+")
triple6
The cow needs the bear.
("cow" "needs" "bear" "+")
triple7
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
triple8
The cow sees the bear.
("cow" "sees" "bear" "+")
triple9
The tiger does not need the cow.
("tiger" "needs" "cow" "-")
triple13
The tiger is nice.
("tiger" "is" "nice" "+")
triple11
The tiger is not green.
("tiger" "is" "green" "-")
triple10
The tiger needs the bear.
("tiger" "needs" "bear" "+")
triple12
The tiger sees the bear.
("tiger" "sees" "bear" "+")
triple14
The tiger sees the cow.
("tiger" "sees" "cow" "+")
triple15
The bear is nice.
("bear" "is" "nice" "+")
((triple12) -> (rule3 % int1))
The bear is nice.
("bear" "is" "nice" "+")
int1
((triple7) -> (rule3 % int1))
The bear is nice.
("bear" "is" "nice" "+")
int1
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
((triple11) -> (rule1 % int1))
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
int1
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
((((triple12) -> (rule3 % int2))) -> (rule1 % int1))
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int1
The bear is nice.
("bear" "is" "nice" "+")
int2
((((triple7) -> (rule3 % int2))) -> (rule1 % int1))
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int1
The bear is nice.
("bear" "is" "nice" "+")
int2