Charlie is green. Dave is smart. Erin is rough. Gary is quiet. If something is green and rough then it is young. If something is green then it is blue. If something is white then it is young. Blue things are quiet. All quiet, young things are blue. If Erin is green and Erin is smart then Erin is quiet.
Dave is not blue.
@0: Charlie is green.[(triple1)] Dave is smart.[(triple2)] Erin is rough.[(triple3)] Gary is quiet.[(triple4)] @1: Charlie is blue.[(((triple1) -> rule2))] @2: Charlie is quiet.[(((((triple1) -> rule2)) -> rule4))]