Harry is big. Harry is green. Harry is nice. Harry is not quiet. Harry is rough. Harry is white. Harry is young. If someone is rough then they are young. If someone is green and not quiet then they are young. If someone is rough and not quiet then they are young. If someone is young and not big then they are white. If someone is quiet and green then they are rough. If Harry is white then Harry is young.
Harry is not big.
@0: Harry is big.[(triple1)] Harry is green.[(triple2)] Harry is nice.[(triple3)] Harry is not quiet.[(triple4)] Harry is rough.[(triple5)] Harry is white.[(triple6)] Harry is young.[(triple7 OR ((triple5) -> rule1) OR ((triple6) -> rule6) OR ((triple2 triple4) -> rule2) OR ((triple5 triple4) -> rule3))]