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