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