Anne is nice. Dave is furry. Erin is white. Fiona is nice. All nice things are kind.
Dave is not furry.
@0: Anne is nice.[(triple1)] Dave is furry.[(triple2)] Erin is white.[(triple3)] Fiona is nice.[(triple4)] @1: Anne is kind.[(((triple1) -> rule1))] Fiona is kind.[(((triple4) -> rule1))]