The bear is green. The bear is nice. The bear is red. The bear is round. The bear is young. If something is red and not young then it is green.
The bear is green.
("bear" "is" "green" "+")
The bear is nice.
("bear" "is" "nice" "+")
The bear is red.
("bear" "is" "red" "+")
The bear is round.
("bear" "is" "round" "+")
The bear is young.
("bear" "is" "young" "+")
If something is red and not young then it is green.
((("something" "is" "red" "+") ("something" "is" "young" "~")) -> ("something" "is" "green" "+"))
The bear is nice.
True
1
proof
[(triple2)]
("bear" "is" "nice" "+")
triple2
The bear is not young.
False
1
inv-proof
[(triple5)]
("bear" "is" "young" "-")
triple5
The bear does not eat the bear.
Unknown
inv-random
[@0: The bear eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "bear" "-")
The bear needs the bear.
Unknown
random
[@0: The bear needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "bear" "+")
@0: The bear is green.[(triple1)] The bear is nice.[(triple2)] The bear is red.[(triple3)] The bear is round.[(triple4)] The bear is young.[(triple5)]
The bear is green.
("bear" "is" "green" "+")
triple1
The bear is nice.
("bear" "is" "nice" "+")
triple2
The bear is red.
("bear" "is" "red" "+")
triple3
The bear is round.
("bear" "is" "round" "+")
triple4
The bear is young.
("bear" "is" "young" "+")
triple5