Charlie is not red. Erin is blue. Fiona is furry. Gary is furry. Blue things are quiet. Quiet things are not red.
Charlie is not quiet.
@0: Charlie is not red.[(triple1)] Erin is blue.[(triple2)] Fiona is furry.[(triple3)] Gary is furry.[(triple4)] @1: Erin is quiet.[(((triple2) -> rule1))] @2: Erin is not red.[(((((triple2) -> rule1)) -> rule2))]