Dave is not cold. Dave is nice. Dave is quiet. Fiona is cold. Fiona is not furry. Fiona is kind. Fiona is quiet. Cold people are kind. If Dave is cold then Dave is furry.
Fiona is kind.
@0: Dave is nice.[(triple2)] Dave is not cold.[(triple1)] Dave is quiet.[(triple3)] Fiona is cold.[(triple4)] Fiona is kind.[(triple6 OR ((triple4) -> rule1))] Fiona is not furry.[(triple5)] Fiona is quiet.[(triple7)]