Erin is big. Erin is red. Erin is smart. Erin is white. Gary is big. Gary is nice. Gary is red. If someone is smart and white then they are nice. Nice people are blue.
Gary is not young.
@0: Erin is big.[(triple1)] Erin is red.[(triple2)] Erin is smart.[(triple3)] Erin is white.[(triple4)] Gary is big.[(triple5)] Gary is nice.[(triple6)] Gary is red.[(triple7)] @1: Erin is nice.[(((triple3 triple4) -> rule1))] Gary is blue.[(((triple6) -> rule2))] @2: Erin is blue.[(((((triple3 triple4) -> rule1)) -> rule2))]