Alan has a round face and is very nice. As much as Bob is nice, he is also cold and often feels blue. The diving trip left Eric red and green all over, yet he remains the nice (though rather rough) guy he always has been. That guy Gary is big, but he's always kind to little ones. Someone who is both red and blue will also be a nice person. A red, round male or female will also be a nice male or female. If a nice person is round shaped, they feel blue about it. A blue and round human being will also be a green human being. A person that is round, green, and blue is usually considered cold.
Alan is not cold.
@0: Alan is nice.[(triple2)] Alan is round.[(triple1)] Bob is blue.[(triple5)] Bob is cold.[(triple4)] Bob is nice.[(triple3)] Eric is green.[(triple9)] Eric is nice.[(triple8)] Eric is red.[(triple7)] Eric is rough.[(triple6)] Gary is big.[(triple11)] Gary is kind.[(triple10)] @1: Alan is blue.[(((triple2 triple1) -> rule3))] @2: Alan is green.[(((((triple2 triple1) -> rule3) triple1) -> rule4))] @3: Alan is cold.[(((triple1 ((((triple2 triple1) -> rule3) triple1) -> rule4) ((triple2 triple1) -> rule3)) -> rule5))]