Charlie is big. Charlie is green. Charlie is quiet. Charlie is rough. Charlie is not round. Charlie is white. Charlie is not young. Erin is big. Erin is green. Erin is quiet. Erin is rough. Erin is round. Erin is white. Erin is not young. If Charlie is green then Charlie is white.
Erin is big.
@0: Charlie is big.[(triple1)] Charlie is green.[(triple2)] Charlie is not round.[(triple5)] Charlie is not young.[(triple7)] Charlie is quiet.[(triple3)] Charlie is rough.[(triple4)] Charlie is white.[(triple6 OR ((triple2) -> rule1))] Erin is big.[(triple8)] Erin is green.[(triple9)] Erin is not young.[(triple14)] Erin is quiet.[(triple10)] Erin is rough.[(triple11)] Erin is round.[(triple12)] Erin is white.[(triple13)]