Charlie is cold. Charlie is white. Erin is big. Erin is red. Gary is not big. Gary is cold. Gary is green. Gary is not red. Gary is round. Gary is smart. Gary is white. Harry is big. Harry is cold. Harry is not green. Harry is red. Harry is round. If something is smart and not white then it is red.
Charlie is round.
@0: Charlie is cold.[(triple1)] Charlie is white.[(triple2)] Erin is big.[(triple3)] Erin is red.[(triple4)] Gary is cold.[(triple6)] Gary is green.[(triple7)] Gary is not big.[(triple5)] Gary is not red.[(triple8)] Gary is round.[(triple9)] Gary is smart.[(triple10)] Gary is white.[(triple11)] Harry is big.[(triple12)] Harry is cold.[(triple13)] Harry is not green.[(triple14)] Harry is red.[(triple15)] Harry is round.[(triple16)]