Erin is red. If something is kind and not white then it is not cold. All nice, rough things are round. Nice things are rough. If something is kind then it is not rough. If Erin is red then Erin is nice. If Erin is not nice then Erin is cold.
Erin is rough.
@0: Erin is red.[(triple1)] @1: Erin is nice.[(((triple1) -> rule5))] @2: Erin is rough.[(((((triple1) -> rule5)) -> rule3))] @3: Erin is round.[(((((triple1) -> rule5) ((((triple1) -> rule5)) -> rule3)) -> rule2))]