Dave is green. Erin is quiet. Fiona is green. If something is furry then it is green. If something is quiet then it is cold. All round, furry things are cold. If Dave is rough then Dave is quiet. If Erin is not green then Erin is not rough. Cold, round things are rough. If something is round and not green then it is not rough. If Fiona is green and Fiona is rough then Fiona is quiet.
Fiona is furry.
@0: Dave is green.[(triple1)] Erin is quiet.[(triple2)] Fiona is green.[(triple3)] @1: Erin is cold.[(((triple2) -> rule2))]