Gary is cold. Gary is red. Gary is white. Harry is kind. Harry is quiet. Harry is round. Harry is white. If someone is quiet then they are white. If someone is furry and quiet then they are round.
Gary is not white.
@0: Gary is cold.[(triple1)] Gary is red.[(triple2)] Gary is white.[(triple3)] Harry is kind.[(triple4)] Harry is quiet.[(triple5)] Harry is round.[(triple6)] Harry is white.[(triple7 OR ((triple5) -> rule1))]