Bob is smart. Erin is green. Fiona is smart. Gary is round. If something is green and smart then it is white. Green things are rough. All round, big things are rough. If something is big then it is white. Big, white things are rough. Big, young things are round.
Bob is not white.
@0: Bob is smart.[(triple1)] Erin is green.[(triple2)] Fiona is smart.[(triple3)] Gary is round.[(triple4)] @1: Erin is rough.[(((triple2) -> rule2))]