Dave is cold. Dave is furry. Dave is red. Fiona is blue. Fiona is green. Fiona is quiet. Fiona is red. Fiona is rough. Harry is blue. Harry is cold. Harry is furry. Harry is quiet. If something is blue then it is rough. All quiet, cold things are rough.
Harry is furry.
@0: Dave is cold.[(triple1)] Dave is furry.[(triple2)] Dave is red.[(triple3)] Fiona is blue.[(triple4)] Fiona is green.[(triple5)] Fiona is quiet.[(triple6)] Fiona is red.[(triple7)] Fiona is rough.[(triple8 OR ((triple4) -> rule1))] Harry is blue.[(triple9)] Harry is cold.[(triple10)] Harry is furry.[(triple11)] Harry is quiet.[(triple12)] @1: Harry is rough.[(((triple9) -> rule1) OR ((triple12 triple10) -> rule2))]