Fiona is big. All big things are young. Big things are young. All young things are big. If something is red and furry then it is young. If something is rough and red then it is young. All big things are young.
Fiona is not big.
@0: Fiona is big.[(triple1)] @1: Fiona is young.[(((triple1) -> rule1) OR ((triple1) -> rule2) OR ((triple1) -> rule6))]