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