Harry is big. Harry is nice. Harry is red. Harry is rough. Harry is round. Harry is white. Harry is young. If someone is rough then they are young.
Harry is white.
@0: Harry is big.[(triple1)] Harry is nice.[(triple2)] Harry is red.[(triple3)] Harry is rough.[(triple4)] Harry is round.[(triple5)] Harry is white.[(triple6)] Harry is young.[(triple7 OR ((triple4) -> rule1))]