Dave is big. Erin is quiet. Gary is young. If someone is white then they are young. If someone is white then they are quiet. If Dave is young then Dave is cold. If someone is big then they are young. Young, cold people are quiet. White, big people are young.
Dave is not young.
@0: Dave is big.[(triple1)] Erin is quiet.[(triple2)] Gary is young.[(triple3)] @1: Dave is young.[(((triple1) -> rule4))] @2: Dave is cold.[(((((triple1) -> rule4)) -> rule3))] @3: Dave is quiet.[(((((triple1) -> rule4) ((((triple1) -> rule4)) -> rule3)) -> rule5))]