Charlie is not cold. Charlie is not nice. Charlie is red. Erin is not nice. Erin is quiet. Fiona is round. Gary is quiet. If something is round then it is not red. Rough, quiet things are red. If Gary is not cold then Gary is rough. If Gary is round and Gary is not nice then Gary is not rough. If Gary is nice then Gary is not red. If something is cold and not quiet then it is not round.
Erin is nice.
@0: Charlie is not cold.[(triple1)] Charlie is not nice.[(triple2)] Charlie is red.[(triple3)] Erin is not nice.[(triple4)] Erin is quiet.[(triple5)] Fiona is round.[(triple6)] Gary is quiet.[(triple7)] @1: Fiona is not red.[(((triple6) -> rule1))]