Erin is cold. Erin is quiet. Erin is red. Erin is rough. Erin is round. Erin is smart. Erin is young. If Erin is quiet then Erin is red.
Erin is young.
@0: Erin is cold.[(triple1)] Erin is quiet.[(triple2)] Erin is red.[(triple3 OR ((triple2) -> rule1))] Erin is rough.[(triple4)] Erin is round.[(triple5)] Erin is smart.[(triple6)] Erin is young.[(triple7)]