Harry is not cold. Harry is nice. Harry is quiet. Harry is red. Harry is rough. Harry is round. Harry is white. Quiet things are round. Cold things are not red. If something is round then it is red.
Harry is nice.
@0: Harry is nice.[(triple2)] Harry is not cold.[(triple1)] Harry is quiet.[(triple3)] Harry is red.[(triple4 OR ((triple6) -> rule3) OR ((((triple3) -> rule1)) -> rule3))] Harry is rough.[(triple5)] Harry is round.[(triple6 OR ((triple3) -> rule1))] Harry is white.[(triple7)]