Anne is quiet. Charlie is big. Erin is not quiet. Gary is round. All smart things are quiet. If Gary is quiet and Gary is young then Gary is smart. All big things are nice. Nice things are smart. If Charlie is not young then Charlie is not smart. Big, round things are not red.
Anne is not round.
@0: Anne is quiet.[(triple1)] Charlie is big.[(triple2)] Erin is not quiet.[(triple3)] Gary is round.[(triple4)] @1: Charlie is nice.[(((triple2) -> rule3))] @2: Charlie is smart.[(((((triple2) -> rule3)) -> rule4))] @3: Charlie is quiet.[(((((((triple2) -> rule3)) -> rule4)) -> rule1))]