Bob is a rather nice, big and round fellow, who is also red from a sunburn and feeling blue. Eric wears all blue. Fred is big and tends to wear red shirts. Gary grew up in a family with six other boys and that make him a rough guy.  Right now he's feeling blue because his dog is sick. A green and red colored person who is rather nice will definitely be kind. His cheeks were red from the cold, and his big blue eye were watering. I've noticed that someone who is big and acts cold towards others is green as well. A big person who is kind and nice is usually red because their prone to blushing. Red and round people will be cold even in the summer.
Eric is not green.
@0: Bob is big.[(triple5)] Bob is blue.[(triple4 OR ((triple2 triple5 ((triple2 triple1) -> rule5)) -> rule2))] Bob is nice.[(triple3)] Bob is red.[(triple2)] Bob is round.[(triple1)] Eric is blue.[(triple6)] Fred is big.[(triple8)] Fred is red.[(triple7)] Gary is blue.[(triple10)] Gary is rough.[(triple9)] @1: Bob is cold.[(((triple2 triple1) -> rule5))] @2: Bob is green.[(((((triple2 triple1) -> rule5) triple5) -> rule3))] @3: Bob is kind.[(((((((triple2 triple1) -> rule5) triple5) -> rule3) triple3 triple2) -> rule1))]