Fiona is big. All red, furry things are nice. All big, cold things are nice. If Fiona is smart and Fiona is cold then Fiona is nice. All furry things are big. Rough things are nice. All big things are rough. All nice things are furry. If Fiona is furry then Fiona is big.
Fiona is big.
@0: Fiona is big.[(triple1)] @1: Fiona is rough.[(((triple1) -> rule6))] @2: Fiona is nice.[(((((triple1) -> rule6)) -> rule5))] @3: Fiona is furry.[(((((((triple1) -> rule6)) -> rule5)) -> rule7))]