Anne is blue. Anne is smart. Charlie is smart. Dave is red. Dave is young. Fiona is nice. Fiona is not young. If Dave is red and Dave is not smart then Dave is not nice. Smart, furry things are nice. Red things are rough.
Charlie is not smart.
@0: Anne is blue.[(triple1)] Anne is smart.[(triple2)] Charlie is smart.[(triple3)] Dave is red.[(triple4)] Dave is young.[(triple5)] Fiona is nice.[(triple6)] Fiona is not young.[(triple7)] @1: Dave is rough.[(((triple4) -> rule3))]