Harry is big. Harry is blue. Harry is nice. Harry is not quiet. Harry is not red. Harry is white. Harry is young. If something is quiet and not red then it is blue. If something is white then it is nice. If something is white and not nice then it is big.
Harry is big.
@0: Harry is big.[(triple1)] Harry is blue.[(triple2)] Harry is nice.[(triple3 OR ((triple6) -> rule2))] Harry is not quiet.[(triple4)] Harry is not red.[(triple5)] Harry is white.[(triple6)] Harry is young.[(triple7)]