The bald eagle does not chase the squirrel. The bald eagle is nice. The bald eagle is rough. The bald eagle visits the squirrel. The squirrel chases the bald eagle. The squirrel is not kind. The squirrel is nice. The squirrel is rough. The squirrel sees the bald eagle. The squirrel visits the bald eagle. If someone sees the squirrel then the squirrel sees the bald eagle. If someone chases the squirrel then the squirrel visits the bald eagle. If someone sees the bald eagle then the bald eagle sees the squirrel. If someone is kind and they visit the bald eagle then the bald eagle sees the squirrel. If someone sees the bald eagle and the bald eagle chases the squirrel then they chase the bald eagle. If someone is nice and they do not chase the bald eagle then they are big.
The bald eagle does not chase the squirrel.
("bald eagle" "chases" "squirrel" "-")
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
The squirrel is not kind.
("squirrel" "is" "kind" "-")
The squirrel is nice.
("squirrel" "is" "nice" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
If someone sees the squirrel then the squirrel sees the bald eagle.
((("someone" "sees" "squirrel" "+")) -> ("squirrel" "sees" "bald eagle" "+"))
If someone chases the squirrel then the squirrel visits the bald eagle.
((("someone" "chases" "squirrel" "+")) -> ("squirrel" "visits" "bald eagle" "+"))
If someone sees the bald eagle then the bald eagle sees the squirrel.
((("someone" "sees" "bald eagle" "+")) -> ("bald eagle" "sees" "squirrel" "+"))
If someone is kind and they visit the bald eagle then the bald eagle sees the squirrel.
((("someone" "is" "kind" "+") ("someone" "visits" "bald eagle" "+")) -> ("bald eagle" "sees" "squirrel" "+"))
If someone sees the bald eagle and the bald eagle chases the squirrel then they chase the bald eagle.
((("someone" "sees" "bald eagle" "+") ("bald eagle" "chases" "squirrel" "+")) -> ("someone" "chases" "bald eagle" "+"))
If someone is nice and they do not chase the bald eagle then they are big.
((("someone" "is" "nice" "+") ("someone" "chases" "bald eagle" "~")) -> ("someone" "is" "big" "+"))
The bald eagle is nice.
True
1
proof
[(triple2)]
("bald eagle" "is" "nice" "+")
triple2
The squirrel is kind.
False
1
inv-proof
[(triple6)]
("squirrel" "is" "kind" "+")
triple6
The bald eagle is not big.
Unknown
inv-rconc
[@1: The bald eagle is big.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bald eagle" "is" "big" "-")
The squirrel chases the squirrel.
Unknown
random
[@0: The squirrel chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "squirrel" "+")
@0: The bald eagle does not chase the squirrel.[(triple1)] The bald eagle is nice.[(triple2)] The bald eagle is rough.[(triple3)] The bald eagle visits the squirrel.[(triple4)] The squirrel chases the bald eagle.[(triple5)] The squirrel is nice.[(triple7)] The squirrel is not kind.[(triple6)] The squirrel is rough.[(triple8)] The squirrel sees the bald eagle.[(triple9)] The squirrel visits the bald eagle.[(triple10)] @1: The bald eagle sees the squirrel.[(((triple9) -> rule3))]
The bald eagle does not chase the squirrel.
("bald eagle" "chases" "squirrel" "-")
triple1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple2
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple3
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
triple4
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
triple5
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple7
The squirrel is not kind.
("squirrel" "is" "kind" "-")
triple6
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple8
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
triple9
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
triple10
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
((triple9) -> (rule3 % int1))
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
int1