Erin is big. Erin is not blue. Erin is cold. Erin is nice. Erin is quiet. Erin is not rough. Erin is white. Gary is big. Gary is blue. Gary is cold. Gary is nice. Gary is quiet. Gary is rough. Gary is white. If Gary is blue and Gary is rough then Gary is big.
Erin is not big.
@0: Erin is big.[(triple1)] Erin is cold.[(triple3)] Erin is nice.[(triple4)] Erin is not blue.[(triple2)] Erin is not rough.[(triple6)] Erin is quiet.[(triple5)] Erin is white.[(triple7)] Gary is big.[(triple8 OR ((triple9 triple13) -> rule1))] Gary is blue.[(triple9)] Gary is cold.[(triple10)] Gary is nice.[(triple11)] Gary is quiet.[(triple12)] Gary is rough.[(triple13)] Gary is white.[(triple14)]