Anne is cold. Fiona is smart. Harry is rough. All round, smart people are cold. Red people are round. If Harry is round then Harry is young. If Fiona is rough then Fiona is young. If someone is red then they are young. All round people are red. If someone is cold then they are rough. Cold, round people are young.
Harry is not round.
@0: Anne is cold.[(triple1)] Fiona is smart.[(triple2)] Harry is rough.[(triple3)] @1: Anne is rough.[(((triple1) -> rule7))]