Bob is green. Erin is blue. Erin is rough. Erin is smart. Gary is blue. Gary is green. Gary is red. All big things are green. If something is green and rough then it is red. All smart things are big.
Bob is not red.
@0: Bob is green.[(triple1)] Erin is blue.[(triple2)] Erin is rough.[(triple3)] Erin is smart.[(triple4)] Gary is blue.[(triple5)] Gary is green.[(triple6)] Gary is red.[(triple7)] @1: Erin is big.[(((triple4) -> rule3))] @2: Erin is green.[(((((triple4) -> rule3)) -> rule1))] @3: Erin is red.[(((((((triple4) -> rule3)) -> rule1) triple3) -> rule2))]