Fiona is not cold. Fiona is quiet. Fiona is rough. All cold things are kind. If something is kind then it is cold. If something is kind and not green then it is rough. Rough things are smart. All green, cold things are quiet. All rough things are quiet.
Fiona is not kind.
@0: Fiona is not cold.[(triple1)] Fiona is quiet.[(triple2 OR ((triple3) -> rule6))] Fiona is rough.[(triple3)] @1: Fiona is smart.[(((triple3) -> rule4))]