Harry is cold. Harry is furry. Harry is quiet. Harry is red. Harry is rough. Harry is round. Harry is white. All quiet, cold people are rough. If someone is quiet then they are white.
Harry is not quiet.
@0: Harry is cold.[(triple1)] Harry is furry.[(triple2)] Harry is quiet.[(triple3)] Harry is red.[(triple4)] Harry is rough.[(triple5 OR ((triple3 triple1) -> rule1))] Harry is round.[(triple6)] Harry is white.[(triple7 OR ((triple3) -> rule2))]