Anne is green. Bob is big. Erin is rough. Gary is green. All rough people are green.
Bob is big.
@0: Anne is green.[(triple1)] Bob is big.[(triple2)] Erin is rough.[(triple3)] Gary is green.[(triple4)] @1: Erin is green.[(((triple3) -> rule1))]