Anne is kind. Bob is quiet. Erin is cold. Fiona is red. If Erin is rough then Erin is kind.
Fiona is not red.
@0: Anne is kind.[(triple1)] Bob is quiet.[(triple2)] Erin is cold.[(triple3)] Fiona is red.[(triple4)]