Erin is not cold. Erin is kind. Erin is not nice. Erin is quiet. Erin is rough. Erin is white. Erin is not young. Rough, nice things are kind. If something is rough then it is kind. Quiet, cold things are kind. All cold things are white. All quiet things are rough. All white, cold things are not rough. If Erin is nice and Erin is cold then Erin is rough. If something is rough and not kind then it is young.
Erin is not rough.
@0: Erin is kind.[(triple2 OR ((triple5) -> rule2) OR ((((triple4) -> rule5)) -> rule2))] Erin is not cold.[(triple1)] Erin is not nice.[(triple3)] Erin is not young.[(triple7)] Erin is quiet.[(triple4)] Erin is rough.[(triple5 OR ((triple4) -> rule5))] Erin is white.[(triple6)]