Dave is young. Fiona is red. Rough people are not blue. All young, furry people are blue. If someone is red and rough then they are nice. All furry people are not nice. Red people are nice. If someone is red and rough then they are smart.
Dave is not smart.
@0: Dave is young.[(triple1)] Fiona is red.[(triple2)] @1: Fiona is nice.[(((triple2) -> rule5))]