Harry is blue. Harry is cold. Harry is furry. Harry is green. Harry is kind. Harry is round. Harry is white. All white, green things are cold.
Harry is not green.
@0: Harry is blue.[(triple1)] Harry is cold.[(triple2 OR ((triple7 triple4) -> rule1))] Harry is furry.[(triple3)] Harry is green.[(triple4)] Harry is kind.[(triple5)] Harry is round.[(triple6)] Harry is white.[(triple7)]