Anne is nice. Charlie is blue. Erin is kind. Fiona is round. Blue things are not nice.
Charlie is not nice.
@0: Anne is nice.[(triple1)] Charlie is blue.[(triple2)] Erin is kind.[(triple3)] Fiona is round.[(triple4)] @1: Charlie is not nice.[(((triple2) -> rule1))]