In the snow sits Alan, crying from being cold. Bob was a complicated man. He was rough and red, yet nice and kind. He was as cold as he was blue. Big Gary is young and rough but also very nice in a green sorta way. An individual that fits the nice, red, and kind description will fit the description of big, too. Soon you will understand that big people are nice. A green person who is kind and a bit blue is young. Rough and cold and blue people are round. A young, nice person will turn out to be a green person also. Being big and blue is standard for being green. If you meet somebody who is green, big and red you'll notice they are also blue.
Bob is not young.
@0: Alan is cold.[(triple1)] Bob is blue.[(triple7)] Bob is cold.[(triple6)] Bob is kind.[(triple5)] Bob is nice.[(triple4)] Bob is red.[(triple3)] Bob is rough.[(triple2)] Gary is big.[(triple12)] Gary is green.[(triple11 OR ((triple8 triple10) -> rule5) OR ((triple8 ((triple12) -> rule2)) -> rule5))] Gary is nice.[(triple10 OR ((triple12) -> rule2))] Gary is rough.[(triple9)] Gary is young.[(triple8)] @1: Bob is big.[(((triple3 triple5 triple4) -> rule1))] Bob is round.[(((triple2 triple7 triple6) -> rule4))] @2: Bob is green.[(((((triple3 triple5 triple4) -> rule1) triple7) -> rule6))] @3: Bob is young.[(((triple7 triple5 ((((triple3 triple5 triple4) -> rule1) triple7) -> rule6)) -> rule3))]