The bear is not cold. The bear is not green. The bear is kind. The bear is not rough. The bear is not young. All green people are kind. All green people are kind. All young people are rough. If the bear is green then the bear is young. All green people are young. If someone is rough then they are young. If the bear is cold and the bear is not young then the bear is kind. If someone is green and not young then they are not cold.
The bear is not cold.
("bear" "is" "cold" "-")
The bear is not green.
("bear" "is" "green" "-")
The bear is kind.
("bear" "is" "kind" "+")
The bear is not rough.
("bear" "is" "rough" "-")
The bear is not young.
("bear" "is" "young" "-")
All green people are kind.
((("someone" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
All green people are kind.
((("someone" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
All young people are rough.
((("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
If the bear is green then the bear is young.
((("bear" "is" "green" "+")) -> ("bear" "is" "young" "+"))
All green people are young.
((("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
If someone is rough then they are young.
((("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
If the bear is cold and the bear is not young then the bear is kind.
((("bear" "is" "cold" "+") ("bear" "is" "young" "~")) -> ("bear" "is" "kind" "+"))
If someone is green and not young then they are not cold.
((("someone" "is" "green" "+") ("someone" "is" "young" "~")) -> ("someone" "is" "cold" "-"))
The bear is not cold.
True
1
proof
[(triple1)]
("bear" "is" "cold" "-")
triple1
The bear is cold.
False
1
inv-proof
[(triple1)]
("bear" "is" "cold" "+")
triple1
The bear does not see the bear.
Unknown
inv-random
[@0: The bear sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "bear" "-")
The bear chases the bear.
Unknown
random
[@0: The bear chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "bear" "+")
@0: The bear is kind.[(triple3)] The bear is not cold.[(triple1)] The bear is not green.[(triple2)] The bear is not rough.[(triple4)] The bear is not young.[(triple5)]
The bear is kind.
("bear" "is" "kind" "+")
triple3
The bear is not cold.
("bear" "is" "cold" "-")
triple1
The bear is not green.
("bear" "is" "green" "-")
triple2
The bear is not rough.
("bear" "is" "rough" "-")
triple4
The bear is not young.
("bear" "is" "young" "-")
triple5