Charlie is round. Charlie is young. Erin is cold. If something is nice and not rough then it is cold. If Charlie is red and Charlie is not nice then Charlie is cold. If Charlie is nice and Charlie is young then Charlie is cold. Rough things are white. Young things are not white. White things are round.
Erin is not white.
@0: Charlie is round.[(triple1)] Charlie is young.[(triple2)] Erin is cold.[(triple3)] @1: Charlie is not white.[(((triple2) -> rule5))]