Charlie is big. Charlie is not cold. Charlie is green. Charlie is not kind. Charlie is not red. Charlie is round. Charlie is smart. Erin is big. Erin is cold. Erin is green. Erin is not kind. Erin is red. Erin is round. Erin is smart. All cold, kind things are green. Round things are big. If Charlie is smart then Charlie is not red.
Erin is not green.
@0: Charlie is big.[(triple1 OR ((triple6) -> rule2))] Charlie is green.[(triple3)] Charlie is not cold.[(triple2)] Charlie is not kind.[(triple4)] Charlie is not red.[(triple5 OR ((triple7) -> rule3))] Charlie is round.[(triple6)] Charlie is smart.[(triple7)] Erin is big.[(triple8 OR ((triple13) -> rule2))] Erin is cold.[(triple9)] Erin is green.[(triple10)] Erin is not kind.[(triple11)] Erin is red.[(triple12)] Erin is round.[(triple13)] Erin is smart.[(triple14)]