Although Alan is seen as nice and round, his days of playing football have made him quite rough. Red Bob is what folks call him, because he is quite red. Eric wears all blue. Gary is a very kind, green but sometimes cold person. Whenever you are around kind and green people, you will notice they are very red. Blue and red people are often rough. Someone who is not kind, will see red and be cold, which leads them to always feel blue. A kind, cold, round person will be nice in addition. When you meet someone that's rough, kind and nice you'll see they are green as well. A blue and round human being will also be a green human being. A big, blue and cold person will also be a round person.
Gary is not cold.
@0: Alan is nice.[(triple3)] Alan is rough.[(triple2)] Alan is round.[(triple1)] Bob is red.[(triple4)] Eric is blue.[(triple5)] Gary is cold.[(triple8)] Gary is green.[(triple7)] Gary is kind.[(triple6)] @1: Gary is red.[(((triple6 triple7) -> rule1))] @2: Gary is blue.[(((triple6 ((triple6 triple7) -> rule1) triple8) -> rule3))] @3: Gary is rough.[(((((triple6 ((triple6 triple7) -> rule1) triple8) -> rule3) ((triple6 triple7) -> rule1)) -> rule2))]