Harry is not big. Harry is blue. Harry is not furry. Harry is kind. Harry is not quiet. Harry is red. Harry is not white. Kind people are blue.
Harry is not red.
@0: Harry is blue.[(triple2 OR ((triple4) -> rule1))] Harry is kind.[(triple4)] Harry is not big.[(triple1)] Harry is not furry.[(triple3)] Harry is not quiet.[(triple5)] Harry is not white.[(triple7)] Harry is red.[(triple6)]