Erin is not big. Erin is cold. Erin is nice. Erin is red. Erin is not rough. Gary is red. Gary is rough. If someone is smart then they are cold. All smart people are not nice. All rough people are red. All smart, big people are red. If someone is kind and big then they are rough. If Gary is cold and Gary is not rough then Gary is not nice.
Erin is not cold.
@0: Erin is cold.[(triple2)] Erin is nice.[(triple3)] Erin is not big.[(triple1)] Erin is not rough.[(triple5)] Erin is red.[(triple4)] Gary is red.[(triple6 OR ((triple7) -> rule3))] Gary is rough.[(triple7)]