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.
Gary is not kind.
@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))]