Dave is cold. Fiona is cold. Fiona is furry. Fiona is nice. Fiona is quiet. Harry is furry. Harry is nice. If Harry is cold and Harry is round then Harry is nice. Young, cold things are quiet. All nice things are quiet. Round things are rough. If something is round and quiet then it is young. Rough things are nice. If something is round and furry then it is young. If something is round and rough then it is furry.
Harry is cold.
@0: Dave is cold.[(triple1)] Fiona is cold.[(triple2)] Fiona is furry.[(triple3)] Fiona is nice.[(triple4)] Fiona is quiet.[(triple5 OR ((triple4) -> rule3))] Harry is furry.[(triple6)] Harry is nice.[(triple7)] @1: Harry is quiet.[(((triple7) -> rule3))]