Erin is big. Erin is blue. Erin is nice. Erin is quiet. Erin is not round. Erin is smart. Erin is white. If Erin is not white then Erin is not smart. If something is big and not smart then it is round. If something is nice and not smart then it is round. If Erin is big and Erin is not white then Erin is not blue. If Erin is round and Erin is smart then Erin is not big. All quiet things are blue. Nice, round things are blue. If something is smart and not nice then it is not blue.
Erin is not big.
@0: Erin is big.[(triple1)] Erin is blue.[(triple2 OR ((triple4) -> rule6))] Erin is nice.[(triple3)] Erin is not round.[(triple5)] Erin is quiet.[(triple4)] Erin is smart.[(triple6)] Erin is white.[(triple7)]