Erin is red. Gary is quiet. If Gary is big then Gary is young. If someone is round and big then they are quiet. Quiet people are big.
Erin is not quiet.
@0: Erin is red.[(triple1)] Gary is quiet.[(triple2)] @1: Gary is big.[(((triple2) -> rule3))] @2: Gary is young.[(((((triple2) -> rule3)) -> rule1))]