Anne is big. Bob is young. Erin is smart. Harry is green. If Anne is big then Anne is furry. Kind, furry people are cold.
Anne is not cold.
@0: Anne is big.[(triple1)] Bob is young.[(triple2)] Erin is smart.[(triple3)] Harry is green.[(triple4)] @1: Anne is furry.[(((triple1) -> rule1))]