Erin is not big. Erin is cold. Erin is not green. Erin is nice. Erin is not quiet. Erin is round. Erin is smart. Smart things are cold. If Erin is nice and Erin is green then Erin is smart. Nice, big things are smart. All cold, green things are not nice. Big things are not quiet. All big things are round.
Erin is quiet.
@0: Erin is cold.[(triple2 OR ((triple7) -> rule1))] Erin is nice.[(triple4)] Erin is not big.[(triple1)] Erin is not green.[(triple3)] Erin is not quiet.[(triple5)] Erin is round.[(triple6)] Erin is smart.[(triple7)]