Erin is green. Erin is quiet. Erin is smart. Erin is young. Gary is kind. Gary is red. Gary is smart. All kind, young people are quiet. If someone is quiet then they are young.
Erin is not quiet.
@0: Erin is green.[(triple1)] Erin is quiet.[(triple2)] Erin is smart.[(triple3)] Erin is young.[(triple4 OR ((triple2) -> rule2))] Gary is kind.[(triple5)] Gary is red.[(triple6)] Gary is smart.[(triple7)]