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