Anne is quiet. Bob is smart. Erin is rough. If Bob is smart and Bob is round then Bob is kind. Rough things are kind. All quiet, smart things are round. All kind things are round. If Erin is green and Erin is not young then Erin is quiet. All round things are quiet.
Anne is green.
@0: Anne is quiet.[(triple1)] Bob is smart.[(triple2)] Erin is rough.[(triple3)] @1: Erin is kind.[(((triple3) -> rule2))] @2: Erin is round.[(((((triple3) -> rule2)) -> rule4))] @3: Erin is quiet.[(((((((triple3) -> rule2)) -> rule4)) -> rule6))]