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