Red Alan is what folks call him, because he is quite red. Blue and green Bob is so kind he snowplows the neighbors driveways and everyone thanks him with beer. Gary, a kind and nice man, is wearing a green sweatshirt. He is also a fairly round sized man in shape. A red colored and round person who is also young will be rather kind. Blue Christmas ornaments are also red. A person who is nice and green with envy is round. People who are nice and big and red are green. A round person will also be red. A green and red colored person who has a nice temperament will be cold. Whenever someone is kind as well as round and cold, they will definitely be blue.
Alan is not rough.
@0: Alan is red.[(triple1)] Bob is blue.[(triple4)] Bob is green.[(triple3)] Bob is kind.[(triple2)] Gary is green.[(triple8)] Gary is kind.[(triple7)] Gary is nice.[(triple6)] Gary is round.[(triple5 OR ((triple6 triple8) -> rule3))] @1: Bob is red.[(((triple4) -> rule2))] Gary is red.[(((triple5) -> rule5) OR ((((triple6 triple8) -> rule3)) -> rule5))] @2: Gary is cold.[(((triple8 triple6 ((triple5) -> rule5)) -> rule6) OR ((triple8 triple6 ((((triple6 triple8) -> rule3)) -> rule5)) -> rule6))] @3: Gary is blue.[(((triple7 triple5 ((triple8 triple6 ((triple5) -> rule5)) -> rule6)) -> rule7) OR ((triple7 ((triple6 triple8) -> rule3) ((triple8 triple6 ((triple5) -> rule5)) -> rule6)) -> rule7) OR ((triple7 triple5 ((triple8 triple6 ((((triple6 triple8) -> rule3)) -> rule5)) -> rule6)) -> rule7) OR ((triple7 ((triple6 triple8) -> rule3) ((triple8 triple6 ((((triple6 triple8) -> rule3)) -> rule5)) -> rule6)) -> rule7))]