Charlie is big. Charlie is not cold. Charlie is rough. Charlie is smart. Charlie is white. Erin is nice. Erin is round. Erin is smart. Erin is white. Gary is cold. Gary is nice. Gary is round. Gary is not smart. Harry is nice. Harry is not rough. Harry is round. If Gary is cold then Gary is not rough.
Gary is not rough.
@0: Charlie is big.[(triple1)] Charlie is not cold.[(triple2)] Charlie is rough.[(triple3)] Charlie is smart.[(triple4)] Charlie is white.[(triple5)] Erin is nice.[(triple6)] Erin is round.[(triple7)] Erin is smart.[(triple8)] Erin is white.[(triple9)] Gary is cold.[(triple10)] Gary is nice.[(triple11)] Gary is not smart.[(triple13)] Gary is round.[(triple12)] Harry is nice.[(triple14)] Harry is not rough.[(triple15)] Harry is round.[(triple16)] @1: Gary is not rough.[(((triple10) -> rule1))]