Charlie is blue. Charlie is cold. Charlie is green. Charlie is kind. Charlie is red. Charlie is round. Charlie is young. Erin is blue. Erin is cold. Erin is green. Erin is kind. Erin is red. Erin is round. Erin is young. If something is young then it is round. If something is blue and young then it is kind. If Charlie is young and Charlie is cold then Charlie is red.
Erin is not kind.
@0: Charlie is blue.[(triple1)] Charlie is cold.[(triple2)] Charlie is green.[(triple3)] Charlie is kind.[(triple4 OR ((triple1 triple7) -> rule2))] Charlie is red.[(triple5 OR ((triple7 triple2) -> rule3))] Charlie is round.[(triple6 OR ((triple7) -> rule1))] Charlie is young.[(triple7)] Erin is blue.[(triple8)] Erin is cold.[(triple9)] Erin is green.[(triple10)] Erin is kind.[(triple11 OR ((triple8 triple14) -> rule2))] Erin is red.[(triple12)] Erin is round.[(triple13 OR ((triple14) -> rule1))] Erin is young.[(triple14)]