Fiona is quiet. Gary is quiet. All nice, red people are not young. If someone is nice and blue then they are young. Young people are nice. If someone is red then they are nice. All quiet people are not cold. If someone is blue and not young then they are not quiet.
Fiona is not quiet.
@0: Fiona is quiet.[(triple1)] Gary is quiet.[(triple2)] @1: Fiona is not cold.[(((triple1) -> rule5))] Gary is not cold.[(((triple2) -> rule5))]