The bear is not big. The bear is blue. The bear is nice. The bear is red. The bear is rough. If something is rough and not blue then it is big.
The bear is not big.
("bear" "is" "big" "-")
The bear is blue.
("bear" "is" "blue" "+")
The bear is nice.
("bear" "is" "nice" "+")
The bear is red.
("bear" "is" "red" "+")
The bear is rough.
("bear" "is" "rough" "+")
If something is rough and not blue then it is big.
((("something" "is" "rough" "+") ("something" "is" "blue" "~")) -> ("something" "is" "big" "+"))
The bear is red.
True
1
proof
[(triple4)]
("bear" "is" "red" "+")
triple4
The bear is not blue.
False
1
inv-proof
[(triple2)]
("bear" "is" "blue" "-")
triple2
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 likes the bear.
Unknown
random
[@0: The bear likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "bear" "+")
@0: The bear is blue.[(triple2)] The bear is nice.[(triple3)] The bear is not big.[(triple1)] The bear is red.[(triple4)] The bear is rough.[(triple5)]
The bear is blue.
("bear" "is" "blue" "+")
triple2
The bear is nice.
("bear" "is" "nice" "+")
triple3
The bear is not big.
("bear" "is" "big" "-")
triple1
The bear is red.
("bear" "is" "red" "+")
triple4
The bear is rough.
("bear" "is" "rough" "+")
triple5