Anne is blue. Anne is not nice. Anne is rough. Anne is round. Anne is young. Dave is blue. Dave is not green. Dave is nice. Dave is rough. Dave is round. Dave is smart. Dave is young. If Anne is nice and Anne is not rough then Anne is young.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is not nice.
("Anne" "is" "nice" "-")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is young.
("Anne" "is" "young" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is not green.
("Dave" "is" "green" "-")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Dave is young.
("Dave" "is" "young" "+")
If Anne is nice and Anne is not rough then Anne is young.
((("Anne" "is" "nice" "+") ("Anne" "is" "rough" "~")) -> ("Anne" "is" "young" "+"))
Dave is not green.
True
1
proof
[(triple7)]
("Dave" "is" "green" "-")
triple7
Anne is not rough.
False
1
inv-proof
[(triple3)]
("Anne" "is" "rough" "-")
triple3
Anne is not smart.
Unknown
inv-random
[@0: Anne is smart.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "smart" "-")
Anne is green.
Unknown
random
[@0: Anne is green.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "green" "+")
@0: Anne is blue.[(triple1)] Anne is not nice.[(triple2)] Anne is rough.[(triple3)] Anne is round.[(triple4)] Anne is young.[(triple5)] Dave is blue.[(triple6)] Dave is nice.[(triple8)] Dave is not green.[(triple7)] Dave is rough.[(triple9)] Dave is round.[(triple10)] Dave is smart.[(triple11)] Dave is young.[(triple12)]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is not nice.
("Anne" "is" "nice" "-")
triple2
Anne is rough.
("Anne" "is" "rough" "+")
triple3
Anne is round.
("Anne" "is" "round" "+")
triple4
Anne is young.
("Anne" "is" "young" "+")
triple5
Dave is blue.
("Dave" "is" "blue" "+")
triple6
Dave is nice.
("Dave" "is" "nice" "+")
triple8
Dave is not green.
("Dave" "is" "green" "-")
triple7
Dave is rough.
("Dave" "is" "rough" "+")
triple9
Dave is round.
("Dave" "is" "round" "+")
triple10
Dave is smart.
("Dave" "is" "smart" "+")
triple11
Dave is young.
("Dave" "is" "young" "+")
triple12