The bear chases the squirrel. The bear is big. The bear likes the squirrel. The squirrel does not chase the bear. The squirrel is not green. The squirrel is kind. The squirrel is nice. The squirrel is round. The squirrel likes the bear. The squirrel does not need the bear. If something is round then it does not like the squirrel. If something is green then it likes the squirrel. If something needs the squirrel then it is not kind. If something needs the squirrel and the squirrel is green then it is not kind. If the bear likes the squirrel then the bear chases the squirrel. If something likes the bear then the bear does not need the squirrel.
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
The bear is big.
("bear" "is" "big" "+")
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
The squirrel does not chase the bear.
("squirrel" "chases" "bear" "-")
The squirrel is not green.
("squirrel" "is" "green" "-")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
The squirrel does not need the bear.
("squirrel" "needs" "bear" "-")
If something is round then it does not like the squirrel.
((("something" "is" "round" "+")) -> ("something" "likes" "squirrel" "-"))
If something is green then it likes the squirrel.
((("something" "is" "green" "+")) -> ("something" "likes" "squirrel" "+"))
If something needs the squirrel then it is not kind.
((("something" "needs" "squirrel" "+")) -> ("something" "is" "kind" "-"))
If something needs the squirrel and the squirrel is green then it is not kind.
((("something" "needs" "squirrel" "+") ("squirrel" "is" "green" "+")) -> ("something" "is" "kind" "-"))
If the bear likes the squirrel then the bear chases the squirrel.
((("bear" "likes" "squirrel" "+")) -> ("bear" "chases" "squirrel" "+"))
If something likes the bear then the bear does not need the squirrel.
((("something" "likes" "bear" "+")) -> ("bear" "needs" "squirrel" "-"))
The squirrel likes the bear.
True
1
proof
[(triple9)]
("squirrel" "likes" "bear" "+")
triple9
The squirrel does not like the bear.
False
1
inv-proof
[(triple9)]
("squirrel" "likes" "bear" "-")
triple9
The bear does not need the bear.
Unknown
inv-random
[@0: The bear needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "bear" "-")
The bear is round.
Unknown
random
[@0: The bear is round.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "round" "+")
@0: The bear chases the squirrel.[(triple1 OR ((triple3) -> rule5))] The bear is big.[(triple2)] The bear likes the squirrel.[(triple3)] The squirrel does not chase the bear.[(triple4)] The squirrel does not need the bear.[(triple10)] The squirrel is kind.[(triple6)] The squirrel is nice.[(triple7)] The squirrel is not green.[(triple5)] The squirrel is round.[(triple8)] The squirrel likes the bear.[(triple9)] @1: The bear does not need the squirrel.[(((triple9) -> rule6))] The squirrel does not like the squirrel.[(((triple8) -> rule1))]
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
triple1
((triple3) -> (rule5 % int1))
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
int1
The bear is big.
("bear" "is" "big" "+")
triple2
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
triple3
The squirrel does not chase the bear.
("squirrel" "chases" "bear" "-")
triple4
The squirrel does not need the bear.
("squirrel" "needs" "bear" "-")
triple10
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple6
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple7
The squirrel is not green.
("squirrel" "is" "green" "-")
triple5
The squirrel is round.
("squirrel" "is" "round" "+")
triple8
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
triple9
The bear does not need the squirrel.
("bear" "needs" "squirrel" "-")
((triple9) -> (rule6 % int1))
The bear does not need the squirrel.
("bear" "needs" "squirrel" "-")
int1
The squirrel does not like the squirrel.
("squirrel" "likes" "squirrel" "-")
((triple8) -> (rule1 % int1))
The squirrel does not like the squirrel.
("squirrel" "likes" "squirrel" "-")
int1