Erin is rough. Erin is round. Erin is smart. Erin is young. Gary is big. Gary is blue. Gary is nice. Gary is rough. Gary is round. Gary is smart. Gary is young. Harry is big. Harry is nice. Harry is rough. Harry is round. All smart, big things are rough.
Erin is not big.
@0: Erin is rough.[(triple1)] Erin is round.[(triple2)] Erin is smart.[(triple3)] Erin is young.[(triple4)] Gary is big.[(triple5)] Gary is blue.[(triple6)] Gary is nice.[(triple7)] Gary is rough.[(triple8 OR ((triple10 triple5) -> rule1))] Gary is round.[(triple9)] Gary is smart.[(triple10)] Gary is young.[(triple11)] Harry is big.[(triple12)] Harry is nice.[(triple13)] Harry is rough.[(triple14)] Harry is round.[(triple15)]