Even though Alan is round and big, he is very kind. Bob is green and cold too. That guy Fred sure is nice. Gary, a kind young person is always feeling blue. People,though kind and rough are also really nice. A blue colored person who is nice is a red person. Anybody young person covered in blue and green will be kind. Watch out for young people that are kind for they are rough. Big people with rough, green skin are cold because of it. A person who is green, blue, and red in color will be round shaped. If a person is both cold and round, that person is also someone who is red.
Gary is not red.
@0: Alan is big.[(triple3)] Alan is kind.[(triple2)] Alan is round.[(triple1)] Bob is cold.[(triple5)] Bob is green.[(triple4)] Fred is nice.[(triple6)] Gary is blue.[(triple9)] Gary is kind.[(triple8)] Gary is young.[(triple7)] @1: Gary is rough.[(((triple8 triple7) -> rule4))] @2: Gary is nice.[(((triple8 ((triple8 triple7) -> rule4)) -> rule1))] @3: Gary is red.[(((((triple8 ((triple8 triple7) -> rule4)) -> rule1) triple9) -> rule2))]