Erin is round. Gary is smart. If Gary is green and Gary is white then Gary is blue. White things are rough. If Erin is white and Erin is smart then Erin is round.
Gary is not smart.
@0: Erin is round.[(triple1)] Gary is smart.[(triple2)]