The bear is big. The bear is kind. The bear is red. The bear is rough. The bear is round. If the bear is not big then the bear is rough.
The bear is big.
("bear" "is" "big" "+")
The bear is kind.
("bear" "is" "kind" "+")
The bear is red.
("bear" "is" "red" "+")
The bear is rough.
("bear" "is" "rough" "+")
The bear is round.
("bear" "is" "round" "+")
If the bear is not big then the bear is rough.
((("bear" "is" "big" "~")) -> ("bear" "is" "rough" "+"))
The bear is big.
True
1
proof
[(triple1)]
("bear" "is" "big" "+")
triple1
The bear is not kind.
False
1
inv-proof
[(triple2)]
("bear" "is" "kind" "-")
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 big.[(triple1)] The bear is kind.[(triple2)] The bear is red.[(triple3)] The bear is rough.[(triple4)] The bear is round.[(triple5)]
The bear is big.
("bear" "is" "big" "+")
triple1
The bear is kind.
("bear" "is" "kind" "+")
triple2
The bear is red.
("bear" "is" "red" "+")
triple3
The bear is rough.
("bear" "is" "rough" "+")
triple4
The bear is round.
("bear" "is" "round" "+")
triple5