Charlie is feeling cold -- he is also feeling quite rough, red, nice and round. Fred seems to be round. A bit overweight, Gary is big and round. He's a nice guy who is often cold. Folks who are rough and tumble yet gentle and kind are blue. A rather big person is a red person. A kind person will certainly be rough as well. Anyone having rough, cold and green qualities will also have a big quality. People who are young and blue are also red. People who are said to be big and nice are round. Cold and red people are always kind to others.
Gary is kind.
@0: Charlie is cold.[(triple5)] Charlie is nice.[(triple4)] Charlie is red.[(triple3)] Charlie is rough.[(triple2 OR ((((triple5 triple3) -> rule7)) -> rule3))] Charlie is round.[(triple1)] Fred is round.[(triple6)] Gary is big.[(triple10)] Gary is cold.[(triple9)] Gary is nice.[(triple8)] Gary is round.[(triple7 OR ((triple10 triple8) -> rule6))] @1: Charlie is kind.[(((triple5 triple3) -> rule7))] Gary is red.[(((triple10) -> rule2))] @2: Charlie is blue.[(((triple2 ((triple5 triple3) -> rule7)) -> rule1) OR ((((((triple5 triple3) -> rule7)) -> rule3) ((triple5 triple3) -> rule7)) -> rule1))] Gary is kind.[(((triple9 ((triple10) -> rule2)) -> rule7))] @3: Gary is rough.[(((((triple9 ((triple10) -> rule2)) -> rule7)) -> rule3))] @4: Gary is blue.[(((((((triple9 ((triple10) -> rule2)) -> rule7)) -> rule3) ((triple9 ((triple10) -> rule2)) -> rule7)) -> rule1))]