Fiona is quiet. All quiet things are rough. If something is white and cold then it is red. If something is white and cold then it is green. If Fiona is red then Fiona is quiet. Rough, quiet things are white. All cold things are white. If Fiona is green then Fiona is white. All green, quiet things are white.
Fiona is rough.
@0: Fiona is quiet.[(triple1)] @1: Fiona is rough.[(((triple1) -> rule1))] @2: Fiona is white.[(((((triple1) -> rule1) triple1) -> rule5))]