Charlie is big. Charlie is blue. Charlie is cold. Charlie is green. Charlie is nice. Charlie is round. Charlie is young. Erin is big. Erin is blue. Erin is cold. Erin is green. Erin is nice. Erin is round. Erin is young. All blue people are young.
Charlie is round.
@0: Charlie is big.[(triple1)] Charlie is blue.[(triple2)] Charlie is cold.[(triple3)] Charlie is green.[(triple4)] Charlie is nice.[(triple5)] Charlie is round.[(triple6)] Charlie is young.[(triple7 OR ((triple2) -> rule1))] Erin is big.[(triple8)] Erin is blue.[(triple9)] Erin is cold.[(triple10)] Erin is green.[(triple11)] Erin is nice.[(triple12)] Erin is round.[(triple13)] Erin is young.[(triple14 OR ((triple9) -> rule1))]