Anne is not green. Anne is quiet. Anne is red. Anne is rough. Anne is round. Anne is smart. Anne is young. Dave is not green. Dave is quiet. Dave is red. Dave is rough. Dave is round. Dave is smart. Dave is not young. If Dave is green and Dave is young then Dave is smart.
Anne is not green.
("Anne" "is" "green" "-")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Anne is young.
("Anne" "is" "young" "+")
Dave is not green.
("Dave" "is" "green" "-")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Dave is not young.
("Dave" "is" "young" "-")
If Dave is green and Dave is young then Dave is smart.
((("Dave" "is" "green" "+") ("Dave" "is" "young" "+")) -> ("Dave" "is" "smart" "+"))
Anne is not green.
True
1
proof
[(triple1)]
("Anne" "is" "green" "-")
triple1
Anne is not rough.
False
1
inv-proof
[(triple4)]
("Anne" "is" "rough" "-")
triple4
@0: Anne is not green.[(triple1)] Anne is quiet.[(triple2)] Anne is red.[(triple3)] Anne is rough.[(triple4)] Anne is round.[(triple5)] Anne is smart.[(triple6)] Anne is young.[(triple7)] Dave is not green.[(triple8)] Dave is not young.[(triple14)] Dave is quiet.[(triple9)] Dave is red.[(triple10)] Dave is rough.[(triple11)] Dave is round.[(triple12)] Dave is smart.[(triple13)]
Anne is not green.
("Anne" "is" "green" "-")
triple1
Anne is quiet.
("Anne" "is" "quiet" "+")
triple2
Anne is red.
("Anne" "is" "red" "+")
triple3
Anne is rough.
("Anne" "is" "rough" "+")
triple4
Anne is round.
("Anne" "is" "round" "+")
triple5
Anne is smart.
("Anne" "is" "smart" "+")
triple6
Anne is young.
("Anne" "is" "young" "+")
triple7
Dave is not green.
("Dave" "is" "green" "-")
triple8
Dave is not young.
("Dave" "is" "young" "-")
triple14
Dave is quiet.
("Dave" "is" "quiet" "+")
triple9
Dave is red.
("Dave" "is" "red" "+")
triple10
Dave is rough.
("Dave" "is" "rough" "+")
triple11
Dave is round.
("Dave" "is" "round" "+")
triple12
Dave is smart.
("Dave" "is" "smart" "+")
triple13