Anne is smart. Erin is quiet. Erin is red. Green things are red. If something is white and green then it is red. Smart, red things are quiet. If something is red then it is rough. White, rough things are young. If Erin is red then Erin is young.
Anne is smart.
@0: Anne is smart.[(triple1)] Erin is quiet.[(triple2)] Erin is red.[(triple3)] @1: Erin is rough.[(((triple3) -> rule4))] Erin is young.[(((triple3) -> rule6))]