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 cold.
@0: Erin is big.[(triple1)] Gary is red.[(triple2)] Gary is white.[(triple3)] @1: Erin is cold.[(((triple1) -> rule2))]