Anne is kind. Charlie is green. Fiona is blue. If Fiona is blue then Fiona is furry. Furry, white things are blue. Green things are blue. Furry things are white. If Anne is quiet then Anne is kind. All green, furry things are kind.
Anne is quiet.
@0: Anne is kind.[(triple1)] Charlie is green.[(triple2)] Fiona is blue.[(triple3)] @1: Charlie is blue.[(((triple2) -> rule3))] Fiona is furry.[(((triple3) -> rule1))] @2: Fiona is white.[(((((triple3) -> rule1)) -> rule4))]