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