Dave is cold. Dave is green. Dave is not quiet. Dave is rough. Dave is round. Dave is smart. Dave is young. If something is smart and not cold then it is quiet.
Dave is cold.
("Dave" "is" "cold" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is not quiet.
("Dave" "is" "quiet" "-")
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 something is smart and not cold then it is quiet.
((("something" "is" "smart" "+") ("something" "is" "cold" "~")) -> ("something" "is" "quiet" "+"))
Dave is not quiet.
True
1
proof
[(triple3)]
("Dave" "is" "quiet" "-")
triple3
Dave is not rough.
False
1
inv-proof
[(triple4)]
("Dave" "is" "rough" "-")
triple4
@0: Dave is cold.[(triple1)] Dave is green.[(triple2)] Dave is not quiet.[(triple3)] Dave is rough.[(triple4)] Dave is round.[(triple5)] Dave is smart.[(triple6)] Dave is young.[(triple7)]
Dave is cold.
("Dave" "is" "cold" "+")
triple1
Dave is green.
("Dave" "is" "green" "+")
triple2
Dave is not quiet.
("Dave" "is" "quiet" "-")
triple3
Dave is rough.
("Dave" "is" "rough" "+")
triple4
Dave is round.
("Dave" "is" "round" "+")
triple5
Dave is smart.
("Dave" "is" "smart" "+")
triple6
Dave is young.
("Dave" "is" "young" "+")
triple7