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