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