Fiona is rough. If Fiona is rough then Fiona is cold. If Fiona is rough then Fiona is round. Kind, blue people are furry. Cold people are kind. If Fiona is kind and Fiona is cold then Fiona is furry. All rough, blue people are kind.
Fiona is not rough.
@0: Fiona is rough.[(triple1)] @1: Fiona is cold.[(((triple1) -> rule1))] Fiona is round.[(((triple1) -> rule2))] @2: Fiona is kind.[(((((triple1) -> rule1)) -> rule4))] @3: Fiona is furry.[(((((((triple1) -> rule1)) -> rule4) ((triple1) -> rule1)) -> rule5))]