Charlie is big. Charlie is green. Charlie is kind. Charlie is quiet. Charlie is red. Charlie is round. Charlie is white. Erin is big. Erin is green. Erin is kind. Erin is quiet. Erin is red. Erin is round. Erin is white. All big people are round.
Charlie is not round.
@0: Charlie is big.[(triple1)] Charlie is green.[(triple2)] Charlie is kind.[(triple3)] Charlie is quiet.[(triple4)] Charlie is red.[(triple5)] Charlie is round.[(triple6 OR ((triple1) -> rule1))] Charlie is white.[(triple7)] Erin is big.[(triple8)] Erin is green.[(triple9)] Erin is kind.[(triple10)] Erin is quiet.[(triple11)] Erin is red.[(triple12)] Erin is round.[(triple13 OR ((triple8) -> rule1))] Erin is white.[(triple14)]