Fiona is quiet. Gary is furry. All kind things are young. If something is cold and furry then it is young. If something is quiet and cold then it is not young. All young things are furry. Round, kind things are quiet. If Fiona is round and Fiona is not cold then Fiona is quiet. Furry things are round. If Gary is not young then Gary is blue.
Gary is not young.
@0: Fiona is quiet.[(triple1)] Gary is furry.[(triple2)] @1: Gary is round.[(((triple2) -> rule7))]