Charlie is cold. Charlie is green. Charlie is round. If Charlie is rough then Charlie is young. All cold, round things are white. If something is white and green then it is red.
Charlie is rough.
@0: Charlie is cold.[(triple1)] Charlie is green.[(triple2)] Charlie is round.[(triple3)] @1: Charlie is white.[(((triple1 triple3) -> rule2))] @2: Charlie is red.[(((((triple1 triple3) -> rule2) triple2) -> rule3))]