Erin is young. Gary is round. If something is rough and young then it is not green. All kind things are rough. If something is green then it is young. All kind, big things are young. All young things are kind. Kind things are round.
Erin is kind.
@0: Erin is young.[(triple1)] Gary is round.[(triple2)] @1: Erin is kind.[(((triple1) -> rule5))] @2: Erin is rough.[(((((triple1) -> rule5)) -> rule2))] Erin is round.[(((((triple1) -> rule5)) -> rule6))] @3: Erin is not green.[(((((((triple1) -> rule5)) -> rule2) triple1) -> rule1))]