Erin is big. Gary is big. Blue, rough people are not nice. If someone is big then they are rough. If someone is young and not green then they are cold.
Erin is young.
@0: Erin is big.[(triple1)] Gary is big.[(triple2)] @1: Erin is rough.[(((triple1) -> rule2))] Gary is rough.[(((triple2) -> rule2))]