Charlie is rough. Charlie is young. Dave is cold. Dave is not white. Dave is not young. Erin is cold. Erin is rough. Erin is not round. Erin is not white. Gary is cold. Gary is not quiet. Gary is rough. Gary is round. Gary is white. Gary is young. If something is young and quiet then it is cold. If something is round then it is young. If something is quiet and not red then it is young. If Erin is quiet then Erin is round. All red things are not white. If something is cold and not quiet then it is white. If Charlie is white then Charlie is round. If Charlie is cold and Charlie is rough then Charlie is young.
Charlie is not cold.
@0: Charlie is rough.[(triple1)] Charlie is young.[(triple2)] Dave is cold.[(triple3)] Dave is not white.[(triple4)] Dave is not young.[(triple5)] Erin is cold.[(triple6)] Erin is not round.[(triple8)] Erin is not white.[(triple9)] Erin is rough.[(triple7)] Gary is cold.[(triple10)] Gary is not quiet.[(triple11)] Gary is rough.[(triple12)] Gary is round.[(triple13)] Gary is white.[(triple14 OR ((triple10 triple11) -> rule6))] Gary is young.[(triple15 OR ((triple13) -> rule2))]