Anne is red. Dave is big. Erin is young. Gary is not young. Red, young things are big. All red things are young.
Anne is not young.
@0: Anne is red.[(triple1)] Dave is big.[(triple2)] Erin is young.[(triple3)] Gary is not young.[(triple4)] @1: Anne is young.[(((triple1) -> rule2))] @2: Anne is big.[(((triple1 ((triple1) -> rule2)) -> rule1))]