Charlie is quiet. Fiona is smart. Gary is quiet. Harry is cold. If Charlie is cold and Charlie is quiet then Charlie is red. If someone is red and quiet then they are cold.
Fiona is not smart.
@0: Charlie is quiet.[(triple1)] Fiona is smart.[(triple2)] Gary is quiet.[(triple3)] Harry is cold.[(triple4)]