Alan is very big for being so young. Dave has been blue because he's green with envy. Fred is nice to people because he is a kind person. The past few weeks of bad weather have him blue, though. Round, green giants are still very young. When nice people are feeling blue and wearing green then they are round. Kind and round people are often cold to people. Kind people that happen to be cold are round. A nice person who is also round will always be big. People who are nice and kind are usually also cold.
Bob is not cold.
@0: Alan is big.[(triple2)] Alan is young.[(triple1)] Dave is blue.[(triple4)] Dave is green.[(triple3)] Fred is blue.[(triple7)] Fred is kind.[(triple6)] Fred is nice.[(triple5)] @1: Fred is cold.[(((triple6 triple5) -> rule6))] @2: Fred is round.[(((triple6 ((triple6 triple5) -> rule6)) -> rule4))] @3: Fred is big.[(((triple5 ((triple6 ((triple6 triple5) -> rule6)) -> rule4)) -> rule5))]