Charlie is quiet. Erin is nice. All nice people are not rough. If someone is big then they are nice. Big people are not nice. All quiet, red people are blue. If Erin is blue and Erin is nice then Erin is rough. If someone is rough then they are not red. If Charlie is blue then Charlie is red. If Charlie is rough and Charlie is not nice then Charlie is blue.
Erin is not blue.
@0: Charlie is quiet.[(triple1)] Erin is nice.[(triple2)] @1: Erin is not rough.[(((triple2) -> rule1))]