Charlie is nice. Erin is round. Gary is young. If Erin is nice then Erin is smart. If Gary is cold and Gary is young then Gary is smart. If Charlie is nice then Charlie is white.
Erin is not smart.
@0: Charlie is nice.[(triple1)] Erin is round.[(triple2)] Gary is young.[(triple3)] @1: Charlie is white.[(((triple1) -> rule3))]