Charlie is kind. Gary is nice. Gary is red. All kind, quiet people are young. If Gary is smart then Gary is red. Nice people are quiet. All nice, young people are smart. Cold, nice people are red. If someone is quiet and cold then they are red.
Gary is kind.
@0: Charlie is kind.[(triple1)] Gary is nice.[(triple2)] Gary is red.[(triple3)] @1: Gary is quiet.[(((triple2) -> rule3))]