Bob is not only red but green and blue as well. Big Charlie is a young, round man. Fred tends to be blue because he is big and this makes him a little rough around the edges. Harry tends to be blue because he is big and this makes him a little rough around the edges. If you come across a cold, red person with a round shape you'll find they are nice people. When a man or woman is kind, that man or woman is red as well. A rough person who is green will be round. A blue person in color will be a cold temperature, big in shape and will definitely be green. A human being that's blue, rough and big is also going to be a cold human being. Someone who is nice and kind and big is round.
Charlie is not red.
@0: Bob is blue.[(triple3)] Bob is green.[(triple2)] Bob is red.[(triple1)] Charlie is big.[(triple6)] Charlie is round.[(triple5)] Charlie is young.[(triple4)] Fred is big.[(triple9)] Fred is blue.[(triple8)] Fred is rough.[(triple7)] Harry is big.[(triple12)] Harry is blue.[(triple11)] Harry is rough.[(triple10)] @1: Fred is cold.[(((triple9 triple8 triple7) -> rule5))] Harry is cold.[(((triple12 triple11 triple10) -> rule5))] @2: Fred is green.[(((triple8 triple9 ((triple9 triple8 triple7) -> rule5)) -> rule4))] Harry is green.[(((triple11 triple12 ((triple12 triple11 triple10) -> rule5)) -> rule4))] @3: Fred is round.[(((((triple8 triple9 ((triple9 triple8 triple7) -> rule5)) -> rule4) triple7) -> rule3))] Harry is round.[(((((triple11 triple12 ((triple12 triple11 triple10) -> rule5)) -> rule4) triple10) -> rule3))]