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