Charlie is big. Charlie is not cold. Charlie is red. Charlie is rough. Charlie is not white. Dave is not red. Erin is white. Gary is not cold. Gary is quiet. Gary is rough. Gary is round. Gary is not white. If something is quiet then it is red. All quiet, white things are red.
Gary is white.
@0: Charlie is big.[(triple1)] Charlie is not cold.[(triple2)] Charlie is not white.[(triple5)] Charlie is red.[(triple3)] Charlie is rough.[(triple4)] Dave is not red.[(triple6)] Erin is white.[(triple7)] Gary is not cold.[(triple8)] Gary is not white.[(triple12)] Gary is quiet.[(triple9)] Gary is rough.[(triple10)] Gary is round.[(triple11)] @1: Gary is red.[(((triple9) -> rule1))]