Erin is big. Erin is blue. Erin is quiet. Erin is red. Erin is rough. Erin is round. Erin is white. All round, rough things are white. If something is big then it is quiet.
Erin is not rough.
@0: Erin is big.[(triple1)] Erin is blue.[(triple2)] Erin is quiet.[(triple3 OR ((triple1) -> rule2))] Erin is red.[(triple4)] Erin is rough.[(triple5)] Erin is round.[(triple6)] Erin is white.[(triple7 OR ((triple6 triple5) -> rule1))]