Erin is rough. If someone is big and cold then they are kind. If someone is rough and cold then they are not kind. All rough people are not white. All kind, big people are white. If someone is rough then they are blue. If Erin is blue then Erin is kind. If Erin is kind and Erin is rough then Erin is blue. If someone is kind and not blue then they are not young.
Erin is not white.
@0: Erin is rough.[(triple1)] @1: Erin is blue.[(((triple1) -> rule5))] Erin is not white.[(((triple1) -> rule3))] @2: Erin is kind.[(((((triple1) -> rule5)) -> rule6))]