Anne is rough. Charlie is round. Erin is quiet. Gary is round. Rough people are white. Green, round people are white. Red people are round. If someone is rough then they are big. All red, quiet people are green. All quiet, green people are big.
Erin is quiet.
@0: Anne is rough.[(triple1)] Charlie is round.[(triple2)] Erin is quiet.[(triple3)] Gary is round.[(triple4)] @1: Anne is big.[(((triple1) -> rule4))] Anne is white.[(((triple1) -> rule1))]