Erin is big. Erin is young. Gary is round. All quiet people are round. If Gary is not blue then Gary is smart. Young people are smart. If someone is smart and not blue then they are not quiet. All cold people are big. Cold people are young.
Gary is blue.
@0: Erin is big.[(triple1)] Erin is young.[(triple2)] Gary is round.[(triple3)] @1: Erin is smart.[(((triple2) -> rule3))]