Erin is big. Erin is blue. Erin is cold. Erin is quiet. Erin is rough. Erin is round. Erin is smart. Smart, rough people are big.
Erin is quiet.
@0: Erin is big.[(triple1 OR ((triple7 triple5) -> rule1))] Erin is blue.[(triple2)] Erin is cold.[(triple3)] Erin is quiet.[(triple4)] Erin is rough.[(triple5)] Erin is round.[(triple6)] Erin is smart.[(triple7)]