Fiona is cold. Fiona is nice. Fiona is young. All quiet, cold things are young. If something is cold then it is young. Round things are cold. If Fiona is not quiet then Fiona is round. If Fiona is cold then Fiona is young. Blue things are red. All round, red things are blue. If something is round and not cold then it is blue.
Fiona is nice.
@0: Fiona is cold.[(triple1)] Fiona is nice.[(triple2)] Fiona is young.[(triple3 OR ((triple1) -> rule2) OR ((triple1) -> rule5))]