Harry is blue. Harry is cold. Harry is kind. Harry is nice. Harry is rough. Harry is round. Harry is young. If Harry is kind then Harry is rough. If someone is nice and not round then they are young.
Harry is not young.
@0: Harry is blue.[(triple1)] Harry is cold.[(triple2)] Harry is kind.[(triple3)] Harry is nice.[(triple4)] Harry is rough.[(triple5 OR ((triple3) -> rule1))] Harry is round.[(triple6)] Harry is young.[(triple7)]