Fiona is smart. Fiona is young. Gary is kind. All kind people are smart. Young, kind people are smart. All red, kind people are cold.
Gary is not smart.
@0: Fiona is smart.[(triple1)] Fiona is young.[(triple2)] Gary is kind.[(triple3)] @1: Gary is smart.[(((triple3) -> rule1))]