Charlie is not furry. Charlie is round. Charlie is not white. Dave is not cold. Dave is kind. Dave is not red. Dave is rough. Dave is round. Dave is white. Erin is furry. Erin is kind. Erin is red. Erin is not white. Gary is furry. Gary is rough. If Gary is red then Gary is not round. If Gary is red and Gary is furry then Gary is round. Furry, round people are not cold. Round people are rough. If Dave is round and Dave is furry then Dave is red. All cold, rough people are white.
Charlie is red.
@0: Charlie is not furry.[(triple1)] Charlie is not white.[(triple3)] Charlie is round.[(triple2)] Dave is kind.[(triple5)] Dave is not cold.[(triple4)] Dave is not red.[(triple6)] Dave is rough.[(triple7 OR ((triple8) -> rule4))] Dave is round.[(triple8)] Dave is white.[(triple9)] Erin is furry.[(triple10)] Erin is kind.[(triple11)] Erin is not white.[(triple13)] Erin is red.[(triple12)] Gary is furry.[(triple14)] Gary is rough.[(triple15)] @1: Charlie is rough.[(((triple2) -> rule4))]