Erin is big. Erin is blue. Erin is kind. Erin is quiet. Erin is rough. Erin is smart. Erin is white. Quiet, smart things are big.
Erin is rough.
@0: Erin is big.[(triple1 OR ((triple4 triple6) -> rule1))] Erin is blue.[(triple2)] Erin is kind.[(triple3)] Erin is quiet.[(triple4)] Erin is rough.[(triple5)] Erin is smart.[(triple6)] Erin is white.[(triple7)]