Erin is big. Gary is red. Gary is white. If Erin is nice and Erin is white then Erin is not smart. All big people are cold.
Erin is not cold.
@0: Erin is big.[(triple1)] Gary is red.[(triple2)] Gary is white.[(triple3)] @1: Erin is cold.[(((triple1) -> rule2))]