Erin is not smart. Fiona is kind. Gary is white. If Fiona is not round then Fiona is smart. White people are not smart.
Erin is not green.
@0: Erin is not smart.[(triple1)] Fiona is kind.[(triple2)] Gary is white.[(triple3)] @1: Gary is not smart.[(((triple3) -> rule2))]