Charlie is kind. Charlie is quiet. Charlie is rough. Charlie is round. Charlie is not white. Erin is big. Erin is green. Erin is kind. Erin is quiet. Erin is rough. Erin is round. Erin is white. Kind things are quiet. If Charlie is big and Charlie is not kind then Charlie is rough. Green, big things are round.
Erin is green.
@0: Charlie is kind.[(triple1)] Charlie is not white.[(triple5)] Charlie is quiet.[(triple2 OR ((triple1) -> rule1))] Charlie is rough.[(triple3)] Charlie is round.[(triple4)] Erin is big.[(triple6)] Erin is green.[(triple7)] Erin is kind.[(triple8)] Erin is quiet.[(triple9 OR ((triple8) -> rule1))] Erin is rough.[(triple10)] Erin is round.[(triple11 OR ((triple7 triple6) -> rule3))] Erin is white.[(triple12)]