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 not round.
@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))]