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