Erin is blue. Erin is kind. Erin is not nice. Erin is quiet. Erin is rough. Erin is round. Erin is smart. If Erin is smart then Erin is rough. If someone is rough and blue then they are round. If someone is smart then they are quiet.
Erin is not round.
@0: Erin is blue.[(triple1)] Erin is kind.[(triple2)] Erin is not nice.[(triple3)] Erin is quiet.[(triple4 OR ((triple7) -> rule3))] Erin is rough.[(triple5 OR ((triple7) -> rule1))] Erin is round.[(triple6 OR ((triple5 triple1) -> rule2) OR ((((triple7) -> rule1) triple1) -> rule2))] Erin is smart.[(triple7)]