Anne is green. Fiona is red. If Fiona is white and Fiona is big then Fiona is red. If something is red and big then it is white. All furry, young things are red. All big, furry things are rough. If something is big and white then it is not rough. Red things are big.
Anne is not rough.
@0: Anne is green.[(triple1)] Fiona is red.[(triple2)] @1: Fiona is big.[(((triple2) -> rule6))] @2: Fiona is white.[(((triple2 ((triple2) -> rule6)) -> rule2))] @3: Fiona is not rough.[(((((triple2) -> rule6) ((triple2 ((triple2) -> rule6)) -> rule2)) -> rule5))]