Erin is red. Gary is furry. Gary is green. All red things are big. All green things are red.
Gary is big.
@0: Erin is red.[(triple1)] Gary is furry.[(triple2)] Gary is green.[(triple3)] @1: Erin is big.[(((triple1) -> rule1))] Gary is red.[(((triple3) -> rule2))] @2: Gary is big.[(((((triple3) -> rule2)) -> rule1))]