Erin is big. Erin is green. Erin is kind. Erin is nice. Erin is rough. Erin is round. Erin is white. If Erin is round then Erin is big. If Erin is kind then Erin is nice. All rough people are white.
Erin is not round.
@0: Erin is big.[(triple1 OR ((triple6) -> rule1))] Erin is green.[(triple2)] Erin is kind.[(triple3)] Erin is nice.[(triple4 OR ((triple3) -> rule2))] Erin is rough.[(triple5)] Erin is round.[(triple6)] Erin is white.[(triple7 OR ((triple5) -> rule3))]