Erin is kind. Fiona is round. Gary is not cold. If something is kind and not round then it is not cold. Kind things are smart. If something is round and white then it is blue.
Fiona is not blue.
@0: Erin is kind.[(triple1)] Fiona is round.[(triple2)] Gary is not cold.[(triple3)] @1: Erin is smart.[(((triple1) -> rule2))]