Harry is blue. Harry is not cold. Harry is green. Harry is quiet. Harry is red. Harry is round. Harry is smart. If something is round and red then it is quiet. If something is green and round then it is quiet.
Harry is cold.
@0: Harry is blue.[(triple1)] Harry is green.[(triple3)] Harry is not cold.[(triple2)] Harry is quiet.[(triple4 OR ((triple3 triple6) -> rule2) OR ((triple6 triple5) -> rule1))] Harry is red.[(triple5)] Harry is round.[(triple6)] Harry is smart.[(triple7)]