Anne is green. Charlie is round. Fiona is big. Fiona is not blue. Fiona is green. Gary is green. Gary is red. Red people are nice. All nice, red people are big.
Fiona is not green.
@0: Anne is green.[(triple1)] Charlie is round.[(triple2)] Fiona is big.[(triple3)] Fiona is green.[(triple5)] Fiona is not blue.[(triple4)] Gary is green.[(triple6)] Gary is red.[(triple7)] @1: Gary is nice.[(((triple7) -> rule1))] @2: Gary is big.[(((((triple7) -> rule1) triple7) -> rule2))]