The bald eagle is big. The bald eagle is green. The bald eagle is kind. The bald eagle sees the rabbit. The bear chases the squirrel. The bear is green. The bear is kind. The bear is round. The bear needs the rabbit. The bear sees the bald eagle. The bear sees the rabbit. The rabbit chases the squirrel. The rabbit needs the bald eagle. The rabbit needs the squirrel. The squirrel is round. The squirrel sees the bald eagle. If the bear sees the squirrel then the squirrel needs the bear. If the squirrel is big and the squirrel is kind then the squirrel needs the rabbit. If someone is green then they are round. If someone needs the rabbit then they see the squirrel. If the squirrel needs the bear and the squirrel sees the bald eagle then the bear is blue. If someone is big then they chase the squirrel.
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
The bear is green.
("bear" "is" "green" "+")
The bear is kind.
("bear" "is" "kind" "+")
The bear is round.
("bear" "is" "round" "+")
The bear needs the rabbit.
("bear" "needs" "rabbit" "+")
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
The rabbit chases the squirrel.
("rabbit" "chases" "squirrel" "+")
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
The rabbit needs the squirrel.
("rabbit" "needs" "squirrel" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
If the bear sees the squirrel then the squirrel needs the bear.
((("bear" "sees" "squirrel" "+")) -> ("squirrel" "needs" "bear" "+"))
If the squirrel is big and the squirrel is kind then the squirrel needs the rabbit.
((("squirrel" "is" "big" "+") ("squirrel" "is" "kind" "+")) -> ("squirrel" "needs" "rabbit" "+"))
If someone is green then they are round.
((("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone needs the rabbit then they see the squirrel.
((("someone" "needs" "rabbit" "+")) -> ("someone" "sees" "squirrel" "+"))
If the squirrel needs the bear and the squirrel sees the bald eagle then the bear is blue.
((("squirrel" "needs" "bear" "+") ("squirrel" "sees" "bald eagle" "+")) -> ("bear" "is" "blue" "+"))
If someone is big then they chase the squirrel.
((("someone" "is" "big" "+")) -> ("someone" "chases" "squirrel" "+"))
The rabbit needs the bald eagle.
True
1
proof
[(triple13)]
("rabbit" "needs" "bald eagle" "+")
triple13
The rabbit does not need the squirrel.
False
1
inv-proof
[(triple14)]
("rabbit" "needs" "squirrel" "-")
triple14
The bald eagle is round.
True
2
proof
[(((triple2) -> rule3))]
("bald eagle" "is" "round" "+")
((triple2) -> (rule3 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
The bear does not see the squirrel.
False
2
inv-proof
[(((triple9) -> rule4))]
("bear" "sees" "squirrel" "-")
((triple9) -> (rule4 % int1))
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
int1
The squirrel needs the bear.
True
3
proof
[(((((triple9) -> rule4)) -> rule1))]
("squirrel" "needs" "bear" "+")
((((triple9) -> (rule4 % int2))) -> (rule1 % int1))
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
int1
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
int2
The squirrel does not need the bear.
False
3
inv-proof
[(((((triple9) -> rule4)) -> rule1))]
("squirrel" "needs" "bear" "-")
((((triple9) -> (rule4 % int2))) -> (rule1 % int1))
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
int1
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
int2
The bear is blue.
True
5
proof
[(((((((triple9) -> rule4)) -> rule1) triple16) -> rule5))]
("bear" "is" "blue" "+")
((((((triple9) -> (rule4 % int3))) -> (rule1 % int2)) triple16) -> (rule5 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
int2
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
int3
The bear is not blue.
False
5
inv-proof
[(((((((triple9) -> rule4)) -> rule1) triple16) -> rule5))]
("bear" "is" "blue" "-")
((((((triple9) -> (rule4 % int3))) -> (rule1 % int2)) triple16) -> (rule5 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
int2
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
int3
The squirrel does not chase the squirrel.
Unknown
inv-rconc
[@1: The squirrel chases the squirrel.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("squirrel" "chases" "squirrel" "-")
The rabbit is round.
Unknown
rconc
[@1: The rabbit is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("rabbit" "is" "round" "+")
The bald eagle does not see the squirrel.
Unknown
inv-rconc
[@1: The bald eagle sees the squirrel.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bald eagle" "sees" "squirrel" "-")
The rabbit sees the squirrel.
Unknown
rconc
[@1: The rabbit sees the squirrel.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("rabbit" "sees" "squirrel" "+")
The bear is not big.
Unknown
inv-random
[@0: The bear is big.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "big" "-")
The bear needs the squirrel.
Unknown
random
[@0: The bear needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "squirrel" "+")
The squirrel is not big.
Unknown
inv-random
[@0: The squirrel is big.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "big" "-")
The bald eagle needs the squirrel.
Unknown
random
[@0: The bald eagle needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "squirrel" "+")
@0: The bald eagle is big.[(triple1)] The bald eagle is green.[(triple2)] The bald eagle is kind.[(triple3)] The bald eagle sees the rabbit.[(triple4)] The bear chases the squirrel.[(triple5)] The bear is green.[(triple6)] The bear is kind.[(triple7)] The bear is round.[(triple8 OR ((triple6) -> rule3))] The bear needs the rabbit.[(triple9)] The bear sees the bald eagle.[(triple10)] The bear sees the rabbit.[(triple11)] The rabbit chases the squirrel.[(triple12)] The rabbit needs the bald eagle.[(triple13)] The rabbit needs the squirrel.[(triple14)] The squirrel is round.[(triple15)] The squirrel sees the bald eagle.[(triple16)] @1: The bald eagle chases the squirrel.[(((triple1) -> rule6))] The bald eagle is round.[(((triple2) -> rule3))] The bear sees the squirrel.[(((triple9) -> rule4))] @2: The squirrel needs the bear.[(((((triple9) -> rule4)) -> rule1))] @3: The bear is blue.[(((((((triple9) -> rule4)) -> rule1) triple16) -> rule5))]
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple1
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple2
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple3
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
triple4
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
triple5
The bear is green.
("bear" "is" "green" "+")
triple6
The bear is kind.
("bear" "is" "kind" "+")
triple7
The bear is round.
("bear" "is" "round" "+")
triple8
((triple6) -> (rule3 % int1))
The bear is round.
("bear" "is" "round" "+")
int1
The bear needs the rabbit.
("bear" "needs" "rabbit" "+")
triple9
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
triple10
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
triple11
The rabbit chases the squirrel.
("rabbit" "chases" "squirrel" "+")
triple12
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
triple13
The rabbit needs the squirrel.
("rabbit" "needs" "squirrel" "+")
triple14
The squirrel is round.
("squirrel" "is" "round" "+")
triple15
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
triple16
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
((triple1) -> (rule6 % int1))
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
int1
The bald eagle is round.
("bald eagle" "is" "round" "+")
((triple2) -> (rule3 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
((triple9) -> (rule4 % int1))
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
int1
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
((((triple9) -> (rule4 % int2))) -> (rule1 % int1))
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
int1
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
int2
The bear is blue.
("bear" "is" "blue" "+")
((((((triple9) -> (rule4 % int3))) -> (rule1 % int2)) triple16) -> (rule5 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
int2
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
int3