The bear is blue. The bear is not green. The bear is not kind. The bear is not red. The bear is round. If someone is kind then they are not green. If someone is kind then they are green. If someone is round and not blue then they are kind. If someone is red and green then they are kind. Green people are red. All kind people are not red. Kind people are round. If the bear is green then the bear is not kind.
The bear is blue.
("bear" "is" "blue" "+")
The bear is not green.
("bear" "is" "green" "-")
The bear is not kind.
("bear" "is" "kind" "-")
The bear is not red.
("bear" "is" "red" "-")
The bear is round.
("bear" "is" "round" "+")
If someone is kind then they are not green.
((("someone" "is" "kind" "+")) -> ("someone" "is" "green" "-"))
If someone is kind then they are green.
((("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
If someone is round and not blue then they are kind.
((("someone" "is" "round" "+") ("someone" "is" "blue" "~")) -> ("someone" "is" "kind" "+"))
If someone is red and green then they are kind.
((("someone" "is" "red" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
Green people are red.
((("someone" "is" "green" "+")) -> ("someone" "is" "red" "+"))
All kind people are not red.
((("someone" "is" "kind" "+")) -> ("someone" "is" "red" "-"))
Kind people are round.
((("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
If the bear is green then the bear is not kind.
((("bear" "is" "green" "+")) -> ("bear" "is" "kind" "-"))
The bear is not red.
True
1
proof
[(triple4)]
("bear" "is" "red" "-")
triple4
The bear is kind.
False
1
inv-proof
[(triple3)]
("bear" "is" "kind" "+")
triple3
The bear does not like the bear.
Unknown
inv-random
[@0: The bear likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "bear" "-")
The bear eats the bear.
Unknown
random
[@0: The bear eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "bear" "+")
@0: The bear is blue.[(triple1)] The bear is not green.[(triple2)] The bear is not kind.[(triple3)] The bear is not red.[(triple4)] The bear is round.[(triple5)]
The bear is blue.
("bear" "is" "blue" "+")
triple1
The bear is not green.
("bear" "is" "green" "-")
triple2
The bear is not kind.
("bear" "is" "kind" "-")
triple3
The bear is not red.
("bear" "is" "red" "-")
triple4
The bear is round.
("bear" "is" "round" "+")
triple5