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