Charlie is cold. Charlie is nice. Charlie is red. Charlie is rough. Charlie is smart. Erin is big. Erin is kind. Erin is nice. Erin is red. Erin is rough. Erin is smart. Gary is big. Gary is cold. Gary is nice. Gary is red. If Gary is cold then Gary is smart. All nice, kind things are rough.
Gary is kind.
@0: Charlie is cold.[(triple1)] Charlie is nice.[(triple2)] Charlie is red.[(triple3)] Charlie is rough.[(triple4)] Charlie is smart.[(triple5)] Erin is big.[(triple6)] Erin is kind.[(triple7)] Erin is nice.[(triple8)] Erin is red.[(triple9)] Erin is rough.[(triple10 OR ((triple8 triple7) -> rule2))] Erin is smart.[(triple11)] Gary is big.[(triple12)] Gary is cold.[(triple13)] Gary is nice.[(triple14)] Gary is red.[(triple15)] @1: Gary is smart.[(((triple13) -> rule1))]