Charlie is big. Charlie is furry. Charlie is rough. Charlie is not round. Charlie is white. Gary is big. Gary is not red. Gary is not rough. Gary is not round. Gary is white. If Gary is white then Gary is not cold. White, red things are not cold.
Charlie is not red.
@0: Charlie is big.[(triple1)] Charlie is furry.[(triple2)] Charlie is not round.[(triple4)] Charlie is rough.[(triple3)] Charlie is white.[(triple5)] Gary is big.[(triple6)] Gary is not red.[(triple7)] Gary is not rough.[(triple8)] Gary is not round.[(triple9)] Gary is white.[(triple10)] @1: Gary is not cold.[(((triple10) -> rule1))]