Bob is not young. Dave is not green. Erin is nice. Gary is white. Round things are young. If something is white and young then it is not green. White things are round.
Gary is round.
@0: Bob is not young.[(triple1)] Dave is not green.[(triple2)] Erin is nice.[(triple3)] Gary is white.[(triple4)] @1: Gary is round.[(((triple4) -> rule3))] @2: Gary is young.[(((((triple4) -> rule3)) -> rule1))] @3: Gary is not green.[(((triple4 ((((triple4) -> rule3)) -> rule1)) -> rule2))]