Harry is blue. Harry is cold. Harry is furry. Harry is round. Harry is smart. Harry is white. Harry is young. White, young things are blue. If something is round then it is cold.
Harry is not white.
@0: Harry is blue.[(triple1 OR ((triple6 triple7) -> rule1))] Harry is cold.[(triple2 OR ((triple4) -> rule2))] Harry is furry.[(triple3)] Harry is round.[(triple4)] Harry is smart.[(triple5)] Harry is white.[(triple6)] Harry is young.[(triple7)]