Anne is smart. Charlie is kind. Dave is young. If something is smart and not kind then it is not nice.
Anne is smart.
("Anne" "is" "smart" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Dave is young.
("Dave" "is" "young" "+")
If something is smart and not kind then it is not nice.
((("something" "is" "smart" "+") ("something" "is" "kind" "~")) -> ("something" "is" "nice" "-"))
Dave is young.
True
1
proof
[(triple3)]
("Dave" "is" "young" "+")
triple3
Charlie is not kind.
False
1
inv-proof
[(triple2)]
("Charlie" "is" "kind" "-")
triple2
Charlie is not blue.
Unknown
inv-random
[@0: Charlie is blue.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "blue" "-")
Anne is blue.
Unknown
random
[@0: Anne is blue.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "blue" "+")
@0: Anne is smart.[(triple1)] Charlie is kind.[(triple2)] Dave is young.[(triple3)]
Anne is smart.
("Anne" "is" "smart" "+")
triple1
Charlie is kind.
("Charlie" "is" "kind" "+")
triple2
Dave is young.
("Dave" "is" "young" "+")
triple3