Charlie is cold. Charlie is nice. Gary is young. If someone is rough and nice then they are red. Nice people are not red. Red people are smart. If someone is nice and rough then they are smart. All cold people are smart. If someone is red and not cold then they are rough. If someone is smart and young then they are nice. If someone is nice and not rough then they are not quiet.
Gary is not young.
@0: Charlie is cold.[(triple1)] Charlie is nice.[(triple2)] Gary is young.[(triple3)] @1: Charlie is not red.[(((triple2) -> rule2))] Charlie is smart.[(((triple1) -> rule5))]