Harry is cold. Harry is furry. Harry is kind. Harry is quiet. Harry is red. Harry is round. Harry is white. Red things are furry. If something is furry and not quiet then it is white.
Harry is not red.
@0: Harry is cold.[(triple1)] Harry is furry.[(triple2 OR ((triple5) -> rule1))] Harry is kind.[(triple3)] Harry is quiet.[(triple4)] Harry is red.[(triple5)] Harry is round.[(triple6)] Harry is white.[(triple7)]