Dave is furry. Dave is quiet. Dave is red. Dave is not rough. Dave is round. Dave is not white. Dave is young. All rough things are furry. Rough, young things are red.
Dave is furry.
("Dave" "is" "furry" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is not rough.
("Dave" "is" "rough" "-")
Dave is round.
("Dave" "is" "round" "+")
Dave is not white.
("Dave" "is" "white" "-")
Dave is young.
("Dave" "is" "young" "+")
All rough things are furry.
((("something" "is" "rough" "+")) -> ("something" "is" "furry" "+"))
Rough, young things are red.
((("something" "is" "rough" "+") ("something" "is" "young" "+")) -> ("something" "is" "red" "+"))
Dave is furry.
True
1
proof
[(triple1)]
("Dave" "is" "furry" "+")
triple1
Dave is rough.
False
1
inv-proof
[(triple4)]
("Dave" "is" "rough" "+")
triple4
@0: Dave is furry.[(triple1)] Dave is not rough.[(triple4)] Dave is not white.[(triple6)] Dave is quiet.[(triple2)] Dave is red.[(triple3)] Dave is round.[(triple5)] Dave is young.[(triple7)]
Dave is furry.
("Dave" "is" "furry" "+")
triple1
Dave is not rough.
("Dave" "is" "rough" "-")
triple4
Dave is not white.
("Dave" "is" "white" "-")
triple6
Dave is quiet.
("Dave" "is" "quiet" "+")
triple2
Dave is red.
("Dave" "is" "red" "+")
triple3
Dave is round.
("Dave" "is" "round" "+")
triple5
Dave is young.
("Dave" "is" "young" "+")
triple7