Charlie ate some rotten meat and now feels green. Gary is a young man is who big and round. He is very kind and never someone who is cold and blue. Young people with red skin who are a bit downhearted and blue are kind. Pick someone blue, kind and big, and they are certain to be green as well. If a red and blue person is also kind to people that means they are rough as well. Young and rough green people, have no choice but to be red. Any person who is blue and round, if they are kind at the same time, will be young. A green person that is cold is often considered to be red.
Gary is not rough.
@0: Charlie is green.[(triple1)] Gary is big.[(triple7)] Gary is blue.[(triple6)] Gary is cold.[(triple5)] Gary is kind.[(triple4)] Gary is round.[(triple3)] Gary is young.[(triple2 OR ((triple6 triple3 triple4) -> rule5))] @1: Gary is green.[(((triple6 triple4 triple7) -> rule2))] @2: Gary is red.[(((((triple6 triple4 triple7) -> rule2) triple5) -> rule6))] @3: Gary is rough.[(((((((triple6 triple4 triple7) -> rule2) triple5) -> rule6) triple6 triple4) -> rule3))]