Dave is cold. Dave is quiet. Erin is furry. Erin is green. Erin is rough. Fiona is cold. Fiona is kind. If someone is quiet then they are furry. If Dave is cold then Dave is kind.
Fiona is not furry.
@0: Dave is cold.[(triple1)] Dave is quiet.[(triple2)] Erin is furry.[(triple3)] Erin is green.[(triple4)] Erin is rough.[(triple5)] Fiona is cold.[(triple6)] Fiona is kind.[(triple7)] @1: Dave is furry.[(((triple2) -> rule1))] Dave is kind.[(((triple1) -> rule2))]