Charlie is cold. Charlie is red. Charlie is round. Gary is blue. Gary is cold. Gary is quiet. Gary is red. If someone is big and cold then they are red. All round people are kind. All kind, quiet people are round.
Charlie is not red.
@0: Charlie is cold.[(triple1)] Charlie is red.[(triple2)] Charlie is round.[(triple3)] Gary is blue.[(triple4)] Gary is cold.[(triple5)] Gary is quiet.[(triple6)] Gary is red.[(triple7)] @1: Charlie is kind.[(((triple3) -> rule2))]