Charlie is not big. Charlie is blue. Charlie is green. Charlie is nice. Charlie is round. Charlie is not smart. Charlie is young. Erin is big. Erin is green. Erin is nice. Erin is not round. Erin is young. If someone is young and round then they are green.
Erin is not blue.
@0: Charlie is blue.[(triple2)] Charlie is green.[(triple3 OR ((triple7 triple5) -> rule1))] Charlie is nice.[(triple4)] Charlie is not big.[(triple1)] Charlie is not smart.[(triple6)] Charlie is round.[(triple5)] Charlie is young.[(triple7)] Erin is big.[(triple8)] Erin is green.[(triple9)] Erin is nice.[(triple10)] Erin is not round.[(triple11)] Erin is young.[(triple12)]