The bald eagle is big. The bald eagle is blue. The bald eagle is green. The bald eagle sees the bear. The bear eats the cat. The bear is not cold. The bear is green. The bear is young. The bear needs the cat. The bear sees the bald eagle. The cat eats the bear. The cat is young. The squirrel does not eat the bald eagle. The squirrel eats the bear. The squirrel is green. The squirrel needs the bald eagle. If someone needs the bald eagle and they are not blue then they eat the bear. If someone is green and they see the bald eagle then they eat the bald eagle. If someone eats the bald eagle then the bald eagle needs the bear. If someone sees the squirrel then the squirrel eats the cat. If someone eats the bear then the bear eats the squirrel. If someone eats the squirrel then the squirrel needs the bear. If the bald eagle needs the bear and the bald eagle is blue then the bear is not big. If the bear is not big and the bear does not eat the bald eagle then the bald eagle does not eat the cat.
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 sees the bear.
("bald eagle" "sees" "bear" "+")
The bear eats the cat.
("bear" "eats" "cat" "+")
The bear is not cold.
("bear" "is" "cold" "-")
The bear is green.
("bear" "is" "green" "+")
The bear is young.
("bear" "is" "young" "+")
The bear needs the cat.
("bear" "needs" "cat" "+")
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
The cat eats the bear.
("cat" "eats" "bear" "+")
The cat is young.
("cat" "is" "young" "+")
The squirrel does not eat the bald eagle.
("squirrel" "eats" "bald eagle" "-")
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
If someone needs the bald eagle and they are not blue then they eat the bear.
((("someone" "needs" "bald eagle" "+") ("someone" "is" "blue" "~")) -> ("someone" "eats" "bear" "+"))
If someone is green and they see the bald eagle then they eat the bald eagle.
((("someone" "is" "green" "+") ("someone" "sees" "bald eagle" "+")) -> ("someone" "eats" "bald eagle" "+"))
If someone eats the bald eagle then the bald eagle needs the bear.
((("someone" "eats" "bald eagle" "+")) -> ("bald eagle" "needs" "bear" "+"))
If someone sees the squirrel then the squirrel eats the cat.
((("someone" "sees" "squirrel" "+")) -> ("squirrel" "eats" "cat" "+"))
If someone eats the bear then the bear eats the squirrel.
((("someone" "eats" "bear" "+")) -> ("bear" "eats" "squirrel" "+"))
If someone eats the squirrel then the squirrel needs the bear.
((("someone" "eats" "squirrel" "+")) -> ("squirrel" "needs" "bear" "+"))
If the bald eagle needs the bear and the bald eagle is blue then the bear is not big.
((("bald eagle" "needs" "bear" "+") ("bald eagle" "is" "blue" "+")) -> ("bear" "is" "big" "-"))
If the bear is not big and the bear does not eat the bald eagle then the bald eagle does not eat the cat.
((("bear" "is" "big" "~") ("bear" "eats" "bald eagle" "~")) -> ("bald eagle" "eats" "cat" "-"))
The bald eagle is blue.
True
1
proof
[(triple2)]
("bald eagle" "is" "blue" "+")
triple2
The bald eagle does not see the bear.
False
1
inv-proof
[(triple4)]
("bald eagle" "sees" "bear" "-")
triple4
The bear eats the squirrel.
True
2
proof
[(((triple11) -> rule5) OR ((triple14) -> rule5))]
("bear" "eats" "squirrel" "+")
((triple11) -> (rule5 % int1))
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
int1
((triple14) -> (rule5 % int1))
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
int1
The bear does not eat the squirrel.
False
2
inv-proof
[(((triple11) -> rule5) OR ((triple14) -> rule5))]
("bear" "eats" "squirrel" "-")
((triple11) -> (rule5 % int1))
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
int1
((triple14) -> (rule5 % int1))
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
int1
The squirrel needs the bear.
True
3
proof
[(((((triple11) -> rule5)) -> rule6) OR ((((triple14) -> rule5)) -> rule6))]
("squirrel" "needs" "bear" "+")
((((triple11) -> (rule5 % int2))) -> (rule6 % int1))
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
int1
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
int2
((((triple14) -> (rule5 % int2))) -> (rule6 % int1))
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
int1
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
int2
The squirrel does not need the bear.
False
3
inv-proof
[(((((triple11) -> rule5)) -> rule6) OR ((((triple14) -> rule5)) -> rule6))]
("squirrel" "needs" "bear" "-")
((((triple11) -> (rule5 % int2))) -> (rule6 % int1))
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
int1
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
int2
((((triple14) -> (rule5 % int2))) -> (rule6 % int1))
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
int1
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
int2
The bear is not big.
True
6
proof
[(((((((triple7 triple10) -> rule2)) -> rule3) triple2) -> rule7))]
("bear" "is" "big" "-")
((((((triple7 triple10) -> (rule2 % int3))) -> (rule3 % int2)) triple2) -> (rule7 % int1))
The bear is not big.
("bear" "is" "big" "-")
int1
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
int2
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
int3
The bear is big.
False
6
inv-proof
[(((((((triple7 triple10) -> rule2)) -> rule3) triple2) -> rule7))]
("bear" "is" "big" "+")
((((((triple7 triple10) -> (rule2 % int3))) -> (rule3 % int2)) triple2) -> (rule7 % int1))
The bear is not big.
("bear" "is" "big" "-")
int1
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
int2
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
int3
The bear does not eat the bear.
Unknown
inv-rconc
[@1: The bear eats the bear.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "eats" "bear" "-")
The bald eagle eats the bear.
Unknown
rconc
[@1: The bald eagle eats the bear.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "eats" "bear" "+")
The cat does not eat the bald eagle.
Unknown
inv-rconc
[@1: The cat eats the bald eagle.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cat" "eats" "bald eagle" "-")
The bald eagle eats the bald eagle.
Unknown
rconc
[@1: The bald eagle eats the bald eagle.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "eats" "bald eagle" "+")
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 cat is big.
Unknown
random
[@0: The cat is big.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "big" "+")
The squirrel does not see the bald eagle.
Unknown
inv-random
[@0: The squirrel sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "sees" "bald eagle" "-")
The cat sees the cat.
Unknown
random
[@0: The cat sees the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "sees" "cat" "+")
@0: The bald eagle is big.[(triple1)] The bald eagle is blue.[(triple2)] The bald eagle is green.[(triple3)] The bald eagle sees the bear.[(triple4)] The bear eats the cat.[(triple5)] The bear is green.[(triple7)] The bear is not cold.[(triple6)] The bear is young.[(triple8)] The bear needs the cat.[(triple9)] The bear sees the bald eagle.[(triple10)] The cat eats the bear.[(triple11)] The cat is young.[(triple12)] The squirrel does not eat the bald eagle.[(triple13)] The squirrel eats the bear.[(triple14)] The squirrel is green.[(triple15)] The squirrel needs the bald eagle.[(triple16)] @1: The bear eats the bald eagle.[(((triple7 triple10) -> rule2))] The bear eats the squirrel.[(((triple11) -> rule5) OR ((triple14) -> rule5))] @2: The bald eagle needs the bear.[(((((triple7 triple10) -> rule2)) -> rule3))] The squirrel needs the bear.[(((((triple11) -> rule5)) -> rule6) OR ((((triple14) -> rule5)) -> rule6))] @3: The bear is not big.[(((((((triple7 triple10) -> rule2)) -> rule3) triple2) -> rule7))]
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple2
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple3
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
triple4
The bear eats the cat.
("bear" "eats" "cat" "+")
triple5
The bear is green.
("bear" "is" "green" "+")
triple7
The bear is not cold.
("bear" "is" "cold" "-")
triple6
The bear is young.
("bear" "is" "young" "+")
triple8
The bear needs the cat.
("bear" "needs" "cat" "+")
triple9
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
triple10
The cat eats the bear.
("cat" "eats" "bear" "+")
triple11
The cat is young.
("cat" "is" "young" "+")
triple12
The squirrel does not eat the bald eagle.
("squirrel" "eats" "bald eagle" "-")
triple13
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
triple14
The squirrel is green.
("squirrel" "is" "green" "+")
triple15
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
triple16
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
((triple7 triple10) -> (rule2 % int1))
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
int1
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
((triple11) -> (rule5 % int1))
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
int1
((triple14) -> (rule5 % int1))
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
int1
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
((((triple7 triple10) -> (rule2 % int2))) -> (rule3 % int1))
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
int1
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
int2
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
((((triple11) -> (rule5 % int2))) -> (rule6 % int1))
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
int1
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
int2
((((triple14) -> (rule5 % int2))) -> (rule6 % int1))
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
int1
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
int2
The bear is not big.
("bear" "is" "big" "-")
((((((triple7 triple10) -> (rule2 % int3))) -> (rule3 % int2)) triple2) -> (rule7 % int1))
The bear is not big.
("bear" "is" "big" "-")
int1
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
int2
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
int3