Alan wears all blue. Bob is young and round, he is also green. Gary is colored blue and red. He is also kind and cold to the touch. People who are blue, cold, and round are often kind. A human that's cold also means they are a human that is young. Young, kind people have a habit of being nice. Ifa blue and green colored person is rough then they must be big shaped. People who are nice and cold are also green.
Fred is nice.
@0: Alan is blue.[(triple1)] Bob is green.[(triple4)] Bob is round.[(triple3)] Bob is young.[(triple2)] Gary is blue.[(triple8)] Gary is cold.[(triple7)] Gary is kind.[(triple6)] Gary is red.[(triple5)] @1: Gary is young.[(((triple7) -> rule2))] @2: Gary is nice.[(((triple6 ((triple7) -> rule2)) -> rule3))] @3: Gary is green.[(((((triple6 ((triple7) -> rule2)) -> rule3) triple7) -> rule5))]