Anne is nice. Charlie is rough. Erin is young. Gary is blue. If someone is blue and rough then they are young. All blue people are not young. Young, blue people are not round. All young people are round. If someone is kind then they are not big. If Anne is not blue then Anne is not nice. All kind people are rough. If Gary is not young then Gary is not nice.
Gary is blue.
@0: Anne is nice.[(triple1)] Charlie is rough.[(triple2)] Erin is young.[(triple3)] Gary is blue.[(triple4)] @1: Erin is round.[(((triple3) -> rule4))] Gary is not young.[(((triple4) -> rule2))] @2: Gary is not nice.[(((((triple4) -> rule2)) -> rule8))]