Erin is kind. All cold, quiet people are white. All rough, kind people are cold. If Erin is white and Erin is rough then Erin is quiet. If Erin is cold and Erin is rough then Erin is young. All quiet people are kind. If someone is kind then they are rough. If Erin is cold then Erin is young. All young, cold people are green.
Erin is not cold.
@0: Erin is kind.[(triple1)] @1: Erin is rough.[(((triple1) -> rule6))] @2: Erin is cold.[(((((triple1) -> rule6) triple1) -> rule2))] @3: Erin is young.[(((((((triple1) -> rule6) triple1) -> rule2)) -> rule7) OR ((((((triple1) -> rule6) triple1) -> rule2) ((triple1) -> rule6)) -> rule4))] @4: Erin is green.[(((((((((triple1) -> rule6) triple1) -> rule2)) -> rule7) ((((triple1) -> rule6) triple1) -> rule2)) -> rule8) OR ((((((((triple1) -> rule6) triple1) -> rule2) ((triple1) -> rule6)) -> rule4) ((((triple1) -> rule6) triple1) -> rule2)) -> rule8))]