Fiona is big. All big, green things are red. If Fiona is red and Fiona is furry then Fiona is young. If Fiona is white then Fiona is blue. All big things are young. If something is red then it is young. If Fiona is white and Fiona is blue then Fiona is furry. If something is young then it is red. If something is red then it is furry.
Fiona is furry.
@0: Fiona is big.[(triple1)] @1: Fiona is young.[(((triple1) -> rule4))] @2: Fiona is red.[(((((triple1) -> rule4)) -> rule7))] @3: Fiona is furry.[(((((((triple1) -> rule4)) -> rule7)) -> rule8))]