The bear is not blue. The bear is not cold. The bear is nice. The bear is rough. The bear is young. If something is cold and not nice then it is blue. Blue things are rough. If something is blue and not nice then it is not rough.
The bear is not blue.
("bear" "is" "blue" "-")
The bear is not cold.
("bear" "is" "cold" "-")
The bear is nice.
("bear" "is" "nice" "+")
The bear is rough.
("bear" "is" "rough" "+")
The bear is young.
("bear" "is" "young" "+")
If something is cold and not nice then it is blue.
((("something" "is" "cold" "+") ("something" "is" "nice" "~")) -> ("something" "is" "blue" "+"))
Blue things are rough.
((("something" "is" "blue" "+")) -> ("something" "is" "rough" "+"))
If something is blue and not nice then it is not rough.
((("something" "is" "blue" "+") ("something" "is" "nice" "~")) -> ("something" "is" "rough" "-"))
The bear is nice.
True
1
proof
[(triple3)]
("bear" "is" "nice" "+")
triple3
The bear is blue.
False
1
inv-proof
[(triple1)]
("bear" "is" "blue" "+")
triple1
The bear does not visit the bear.
Unknown
inv-random
[@0: The bear visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "bear" "-")
The bear likes the bear.
Unknown
random
[@0: The bear likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "bear" "+")
@0: The bear is nice.[(triple3)] The bear is not blue.[(triple1)] The bear is not cold.[(triple2)] The bear is rough.[(triple4)] The bear is young.[(triple5)]
The bear is nice.
("bear" "is" "nice" "+")
triple3
The bear is not blue.
("bear" "is" "blue" "-")
triple1
The bear is not cold.
("bear" "is" "cold" "-")
triple2
The bear is rough.
("bear" "is" "rough" "+")
triple4
The bear is young.
("bear" "is" "young" "+")
triple5