Charlie is big. Charlie is green. Charlie is not nice. Charlie is red. Charlie is round. Charlie is not smart. Charlie is not white. Erin is big. Erin is round. Erin is white. If something is nice then it is red. If something is white and not green then it is smart. If something is white and not nice then it is not smart. Smart, white things are not big. Red things are round. If something is nice and not smart then it is round.
Erin is not smart.
@0: Charlie is big.[(triple1)] Charlie is green.[(triple2)] Charlie is not nice.[(triple3)] Charlie is not smart.[(triple6)] Charlie is not white.[(triple7)] Charlie is red.[(triple4)] Charlie is round.[(triple5 OR ((triple4) -> rule5))] Erin is big.[(triple8)] Erin is round.[(triple9)] Erin is white.[(triple10)]