Erin is cold. Erin is not quiet. Erin is red. If Erin is not red then Erin is quiet. If Erin is nice then Erin is big. All rough, cold things are nice. If Erin is cold and Erin is not quiet then Erin is rough. If Erin is big then Erin is cold. All big things are rough.
Erin is rough.
@0: Erin is cold.[(triple1)] Erin is not quiet.[(triple2)] Erin is red.[(triple3)] @1: Erin is rough.[(((triple1 triple2) -> rule4))] @2: Erin is nice.[(((((triple1 triple2) -> rule4) triple1) -> rule3))] @3: Erin is big.[(((((((triple1 triple2) -> rule4) triple1) -> rule3)) -> rule2))]