Charlie is cold. Charlie is kind. Charlie is nice. Charlie is quiet. Charlie is red. Charlie is rough. Charlie is round. Erin is cold. Erin is kind. Erin is nice. Erin is quiet. Erin is red. Erin is rough. Erin is round. If someone is nice then they are cold.
Charlie is not cold.
@0: Charlie is cold.[(triple1 OR ((triple3) -> rule1))] Charlie is kind.[(triple2)] Charlie is nice.[(triple3)] Charlie is quiet.[(triple4)] Charlie is red.[(triple5)] Charlie is rough.[(triple6)] Charlie is round.[(triple7)] Erin is cold.[(triple8 OR ((triple10) -> rule1))] Erin is kind.[(triple9)] Erin is nice.[(triple10)] Erin is quiet.[(triple11)] Erin is red.[(triple12)] Erin is rough.[(triple13)] Erin is round.[(triple14)]