Bob is green. Charlie is not blue. Erin is red. Gary is round. If Charlie is not kind then Charlie is round. All kind things are not rough. If Charlie is not blue then Charlie is rough. All green, rough things are round. If something is round and not rough then it is not red. If something is red and not big then it is green.
Charlie is not green.
@0: Bob is green.[(triple1)] Charlie is not blue.[(triple2)] Erin is red.[(triple3)] Gary is round.[(triple4)] @1: Charlie is rough.[(((triple2) -> rule3))]