Charlie is nice. Fiona is young. Gary is furry. Quiet things are not nice. All furry things are quiet. All quiet, furry things are not blue.
Gary is blue.
@0: Charlie is nice.[(triple1)] Fiona is young.[(triple2)] Gary is furry.[(triple3)] @1: Gary is quiet.[(((triple3) -> rule2))] @2: Gary is not blue.[(((((triple3) -> rule2) triple3) -> rule3))] Gary is not nice.[(((((triple3) -> rule2)) -> rule1))]