Fiona is rough. If someone is young then they are furry. All rough people are young. All furry, young people are white. All furry, big people are blue. If Fiona is rough and Fiona is big then Fiona is blue. Blue, rough people are big. If someone is white and not blue then they are cold. If someone is white and not big then they are cold.
Fiona is not rough.
@0: Fiona is rough.[(triple1)] @1: Fiona is young.[(((triple1) -> rule2))] @2: Fiona is furry.[(((((triple1) -> rule2)) -> rule1))] @3: Fiona is white.[(((((((triple1) -> rule2)) -> rule1) ((triple1) -> rule2)) -> rule3))]