Charlie is not cold. Charlie is furry. Charlie is green. Charlie is rough. Charlie is round. Charlie is smart. Charlie is young. Erin is cold. Erin is furry. Erin is green. Erin is rough. Erin is round. Erin is smart. Erin is young. If something is smart and not round then it is young. All cold, green things are young. If Erin is not rough then Erin is not furry.
Charlie is not cold.
@0: Charlie is furry.[(triple2)] Charlie is green.[(triple3)] Charlie is not cold.[(triple1)] Charlie is rough.[(triple4)] Charlie is round.[(triple5)] Charlie is smart.[(triple6)] Charlie is young.[(triple7)] Erin is cold.[(triple8)] Erin is furry.[(triple9)] Erin is green.[(triple10)] Erin is rough.[(triple11)] Erin is round.[(triple12)] Erin is smart.[(triple13)] Erin is young.[(triple14 OR ((triple8 triple10) -> rule2))]