Anne is nice. Dave is kind. Harry is green. If Anne is blue and Anne is nice then Anne is kind. If Dave is blue and Dave is furry then Dave is cold. Blue, furry people are not cold. If someone is kind then they are green. Blue, nice people are furry. Green, kind people are big.
Dave is kind.
@0: Anne is nice.[(triple1)] Dave is kind.[(triple2)] Harry is green.[(triple3)] @1: Dave is green.[(((triple2) -> rule4))] @2: Dave is big.[(((((triple2) -> rule4) triple2) -> rule6))]