Erin is blue. Erin is cold. Erin is furry. Erin is nice. Erin is quiet. Erin is rough. Erin is round. If something is cold then it is quiet. If something is nice then it is quiet. All nice things are cold.
Erin is not nice.
@0: Erin is blue.[(triple1)] Erin is cold.[(triple2 OR ((triple4) -> rule3))] Erin is furry.[(triple3)] Erin is nice.[(triple4)] Erin is quiet.[(triple5 OR ((triple2) -> rule1) OR ((triple4) -> rule2) OR ((((triple4) -> rule3)) -> rule1))] Erin is rough.[(triple6)] Erin is round.[(triple7)]