Charlie is not green. Charlie is nice. Charlie is not smart. If something is nice and not blue then it is rough. If Charlie is nice then Charlie is not big. If Charlie is big and Charlie is not smart then Charlie is nice.
Charlie is nice.
@0: Charlie is nice.[(triple2)] Charlie is not green.[(triple1)] Charlie is not smart.[(triple3)] @1: Charlie is not big.[(((triple2) -> rule2))]