Dave is cold. Erin is smart. Fiona is cold. Gary is kind. Quiet, white people are round. Cold people are kind. All smart, kind people are cold.
Fiona is quiet.
@0: Dave is cold.[(triple1)] Erin is smart.[(triple2)] Fiona is cold.[(triple3)] Gary is kind.[(triple4)] @1: Dave is kind.[(((triple1) -> rule2))] Fiona is kind.[(((triple3) -> rule2))]