Fiona is kind. Fiona is nice. Fiona is smart. If something is round and quiet then it is smart. Kind, red things are nice. All round, quiet things are kind. Quiet, rough things are round. If Fiona is quiet and Fiona is round then Fiona is kind. If something is nice and red then it is smart. Kind, nice things are round. All rough things are smart.
Fiona is rough.
@0: Fiona is kind.[(triple1)] Fiona is nice.[(triple2)] Fiona is smart.[(triple3)] @1: Fiona is round.[(((triple1 triple2) -> rule7))]