Dave is blue. Dave is not cold. Dave is quiet. Dave is not red. Dave is rough. Dave is not smart. Dave is young. Red things are not quiet.
Dave is blue.
("Dave" "is" "blue" "+")
Dave is not cold.
("Dave" "is" "cold" "-")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is not red.
("Dave" "is" "red" "-")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is not smart.
("Dave" "is" "smart" "-")
Dave is young.
("Dave" "is" "young" "+")
Red things are not quiet.
((("something" "is" "red" "+")) -> ("something" "is" "quiet" "-"))
Dave is not red.
True
1
proof
[(triple4)]
("Dave" "is" "red" "-")
triple4
Dave is red.
False
1
inv-proof
[(triple4)]
("Dave" "is" "red" "+")
triple4
@0: Dave is blue.[(triple1)] Dave is not cold.[(triple2)] Dave is not red.[(triple4)] Dave is not smart.[(triple6)] Dave is quiet.[(triple3)] Dave is rough.[(triple5)] Dave is young.[(triple7)]
Dave is blue.
("Dave" "is" "blue" "+")
triple1
Dave is not cold.
("Dave" "is" "cold" "-")
triple2
Dave is not red.
("Dave" "is" "red" "-")
triple4
Dave is not smart.
("Dave" "is" "smart" "-")
triple6
Dave is quiet.
("Dave" "is" "quiet" "+")
triple3
Dave is rough.
("Dave" "is" "rough" "+")
triple5
Dave is young.
("Dave" "is" "young" "+")
triple7