The bald eagle chases the squirrel. The bald eagle is cold. The bald eagle is kind. The bald eagle needs the squirrel. The bear needs the squirrel. The squirrel chases the bear. The squirrel is not rough. The squirrel needs the bald eagle. The squirrel does not see the bald eagle. The squirrel does not see the bear. If someone chases the squirrel and they see the bear then they are green. If someone needs the squirrel then they are not green. If someone chases the bald eagle then they need the bald eagle.
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
The squirrel is not rough.
("squirrel" "is" "rough" "-")
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
The squirrel does not see the bald eagle.
("squirrel" "sees" "bald eagle" "-")
The squirrel does not see the bear.
("squirrel" "sees" "bear" "-")
If someone chases the squirrel and they see the bear then they are green.
((("someone" "chases" "squirrel" "+") ("someone" "sees" "bear" "+")) -> ("someone" "is" "green" "+"))
If someone needs the squirrel then they are not green.
((("someone" "needs" "squirrel" "+")) -> ("someone" "is" "green" "-"))
If someone chases the bald eagle then they need the bald eagle.
((("someone" "chases" "bald eagle" "+")) -> ("someone" "needs" "bald eagle" "+"))
The bear needs the squirrel.
True
1
proof
[(triple5)]
("bear" "needs" "squirrel" "+")
triple5
The squirrel is rough.
False
1
inv-proof
[(triple7)]
("squirrel" "is" "rough" "+")
triple7
The bald eagle is not green.
True
2
proof
[(((triple4) -> rule2))]
("bald eagle" "is" "green" "-")
((triple4) -> (rule2 % int1))
The bald eagle is not green.
("bald eagle" "is" "green" "-")
int1
The bear is green.
False
2
inv-proof
[(((triple5) -> rule2))]
("bear" "is" "green" "+")
((triple5) -> (rule2 % int1))
The bear is not green.
("bear" "is" "green" "-")
int1
The squirrel is not green.
Unknown
inv-rconc
[@1: The squirrel is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "is" "green" "-")
The bald eagle needs the bald eagle.
Unknown
rconc
[@1: The bald eagle needs the bald eagle.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bald eagle" "needs" "bald eagle" "+")
The bear does not see the bald eagle.
Unknown
inv-random
[@0: The bear sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "bald eagle" "-")
The bald eagle is rough.
Unknown
random
[@0: The bald eagle is rough.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "rough" "+")
@0: The bald eagle chases the squirrel.[(triple1)] The bald eagle is cold.[(triple2)] The bald eagle is kind.[(triple3)] The bald eagle needs the squirrel.[(triple4)] The bear needs the squirrel.[(triple5)] The squirrel chases the bear.[(triple6)] The squirrel does not see the bald eagle.[(triple9)] The squirrel does not see the bear.[(triple10)] The squirrel is not rough.[(triple7)] The squirrel needs the bald eagle.[(triple8)] @1: The bald eagle is not green.[(((triple4) -> rule2))] The bear is not green.[(((triple5) -> rule2))]
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
triple1
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple2
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple3
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
triple4
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
triple5
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
triple6
The squirrel does not see the bald eagle.
("squirrel" "sees" "bald eagle" "-")
triple9
The squirrel does not see the bear.
("squirrel" "sees" "bear" "-")
triple10
The squirrel is not rough.
("squirrel" "is" "rough" "-")
triple7
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
triple8
The bald eagle is not green.
("bald eagle" "is" "green" "-")
((triple4) -> (rule2 % int1))
The bald eagle is not green.
("bald eagle" "is" "green" "-")
int1
The bear is not green.
("bear" "is" "green" "-")
((triple5) -> (rule2 % int1))
The bear is not green.
("bear" "is" "green" "-")
int1