Dave is not cold. Dave is not furry. Dave is not kind. Dave is quiet. Dave is not rough. Dave is white. Dave is young. If Dave is furry then Dave is kind.
Dave is not cold.
("Dave" "is" "cold" "-")
Dave is not furry.
("Dave" "is" "furry" "-")
Dave is not kind.
("Dave" "is" "kind" "-")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is not rough.
("Dave" "is" "rough" "-")
Dave is white.
("Dave" "is" "white" "+")
Dave is young.
("Dave" "is" "young" "+")
If Dave is furry then Dave is kind.
((("Dave" "is" "furry" "+")) -> ("Dave" "is" "kind" "+"))
Dave is quiet.
True
1
proof
[(triple4)]
("Dave" "is" "quiet" "+")
triple4
Dave is kind.
False
1
inv-proof
[(triple3)]
("Dave" "is" "kind" "+")
triple3
@0: Dave is not cold.[(triple1)] Dave is not furry.[(triple2)] Dave is not kind.[(triple3)] Dave is not rough.[(triple5)] Dave is quiet.[(triple4)] Dave is white.[(triple6)] Dave is young.[(triple7)]
Dave is not cold.
("Dave" "is" "cold" "-")
triple1
Dave is not furry.
("Dave" "is" "furry" "-")
triple2
Dave is not kind.
("Dave" "is" "kind" "-")
triple3
Dave is not rough.
("Dave" "is" "rough" "-")
triple5
Dave is quiet.
("Dave" "is" "quiet" "+")
triple4
Dave is white.
("Dave" "is" "white" "+")
triple6
Dave is young.
("Dave" "is" "young" "+")
triple7