Dave is cold. Dave is smart. Fiona is nice. All furry, green people are red. All cold, nice people are not red. Red, cold people are green. All nice, cold people are not round. If Dave is red then Dave is cold. Red, nice people are furry. Nice people are smart. If someone is nice and not furry then they are smart.
Dave is smart.
@0: Dave is cold.[(triple1)] Dave is smart.[(triple2)] Fiona is nice.[(triple3)] @1: Fiona is smart.[(((triple3) -> rule7))]