Bob is big. Charlie is cold. Fiona is red. Red people are not rough.
Bob is not green.
@0: Bob is big.[(triple1)] Charlie is cold.[(triple2)] Fiona is red.[(triple3)] @1: Fiona is not rough.[(((triple3) -> rule1))]