Fiona is rough. Fiona is smart. Fiona is white. All young, white things are not cold. All quiet things are cold. Round things are cold. If something is rough then it is quiet. All round, smart things are rough. All cold, rough things are not round. If something is rough and not white then it is not round. If something is white and not young then it is not smart.
Fiona is cold.
@0: Fiona is rough.[(triple1)] Fiona is smart.[(triple2)] Fiona is white.[(triple3)] @1: Fiona is quiet.[(((triple1) -> rule4))] @2: Fiona is cold.[(((((triple1) -> rule4)) -> rule2))] @3: Fiona is not round.[(((((((triple1) -> rule4)) -> rule2) triple1) -> rule6))]