Fiona is rough. Green, round people are cold. If someone is quiet and smart then they are not furry. If Fiona is furry and Fiona is quiet then Fiona is not smart. All cold, rough people are green. If someone is rough then they are not green. If someone is round then they are not green. If someone is furry then they are not quiet. If Fiona is cold and Fiona is round then Fiona is not furry.
Fiona is not rough.
@0: Fiona is rough.[(triple1)] @1: Fiona is not green.[(((triple1) -> rule5))]