Charlie is furry. Erin is rough. Green things are rough. If something is green and round then it is big. If Erin is round then Erin is quiet. All quiet, round things are big. Rough things are quiet. Red, big things are quiet.
Charlie is not quiet.
@0: Charlie is furry.[(triple1)] Erin is rough.[(triple2)] @1: Erin is quiet.[(((triple2) -> rule5))]