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