Dave is cold. Erin is quiet. Gary is round. Harry is rough. If someone is green and young then they are rough. If someone is cold and not young then they are rough. If Harry is cold then Harry is not round. If someone is cold and not rough then they are round. If Dave is round and Dave is not cold then Dave is quiet. If someone is green and not round then they are quiet. All round people are quiet. All quiet, rough people are not white.
Gary is round.
@0: Dave is cold.[(triple1)] Erin is quiet.[(triple2)] Gary is round.[(triple3)] Harry is rough.[(triple4)] @1: Gary is quiet.[(((triple3) -> rule7))]