Fiona is big. Fiona is nice. Fiona is quiet. Fiona is round. Gary is quiet. Gary is rough. Harry is smart. Smart things are young. If something is nice and young then it is big.
Fiona is not smart.
@0: Fiona is big.[(triple1)] Fiona is nice.[(triple2)] Fiona is quiet.[(triple3)] Fiona is round.[(triple4)] Gary is quiet.[(triple5)] Gary is rough.[(triple6)] Harry is smart.[(triple7)] @1: Harry is young.[(((triple7) -> rule1))]