Charlie is a rough man with a big heart who has red hair and a nice smile. Eric always goes out of his way to show that he is kind to people. Gary looks red to most people, with blue features. A round and nice person will certainly have a red tint to them. Nice people who are big are always feeling blue. Incredible as it may seem, young people who are red and have kind attitudes are always round. If someone is blue, young, and rough, they qualify as being round. A person who exhibits nice, kind and cold characteristics will also be a rough person. People with rough red and blue skin are young. Young and nice people are ultimately cold.
Charlie is not blue.
@0: Charlie is big.[(triple4)] Charlie is nice.[(triple3)] Charlie is red.[(triple2)] Charlie is rough.[(triple1)] Eric is kind.[(triple5)] Gary is blue.[(triple7)] Gary is red.[(triple6)] @1: Charlie is blue.[(((triple3 triple4) -> rule2))] @2: Charlie is young.[(((triple1 triple2 ((triple3 triple4) -> rule2)) -> rule6))] @3: Charlie is cold.[(((((triple1 triple2 ((triple3 triple4) -> rule2)) -> rule6) triple3) -> rule7))] Charlie is round.[(((triple1 ((triple1 triple2 ((triple3 triple4) -> rule2)) -> rule6) ((triple3 triple4) -> rule2)) -> rule4))]