Harry is big. Harry is cold. Harry is green. Harry is nice. Harry is round. Harry is white. Harry is young. Round people are big.
Harry is big.
@0: Harry is big.[(triple1 OR ((triple5) -> rule1))] Harry is cold.[(triple2)] Harry is green.[(triple3)] Harry is nice.[(triple4)] Harry is round.[(triple5)] Harry is white.[(triple6)] Harry is young.[(triple7)]