Charlie is blue. Charlie is cold. Charlie is not quiet. Charlie is not round. Dave is blue. Dave is cold. Dave is quiet. Dave is red. Dave is young. Erin is rough. Gary is blue. Gary is cold. Gary is quiet. Gary is rough. Gary is not round. All young, red people are round. If someone is young and not cold then they are red.
Erin is not red.
@0: Charlie is blue.[(triple1)] Charlie is cold.[(triple2)] Charlie is not quiet.[(triple3)] Charlie is not round.[(triple4)] Dave is blue.[(triple5)] Dave is cold.[(triple6)] Dave is quiet.[(triple7)] Dave is red.[(triple8)] Dave is young.[(triple9)] Erin is rough.[(triple10)] Gary is blue.[(triple11)] Gary is cold.[(triple12)] Gary is not round.[(triple15)] Gary is quiet.[(triple13)] Gary is rough.[(triple14)] @1: Dave is round.[(((triple9 triple8) -> rule1))]