gistfile1.py

# coding: utf-8

# http://twitpic.com/cwg6mz
# 0 1 2 3
# 4 5 6 7

import itertools

akira, shinya, hiroshi, chiaki, saki, yuri, mika, reina = range(8)
name = ("akira", "shinya", "hiroshi", "chiaki", "saki", "yuri", "mika", "reina")

# 男
M = (akira, shinya, hiroshi, chiaki)
# 女
F = (saki, yuri, mika, reina)

n = 0

for p in itertools.permutations(range(8)):
    if (
        # 自己言及はしないと仮定
        p[1] != mika and

        p[2] != mika and
        p[2] != chiaki and

        p[3] != shinya and
        p[3] != reina and
        p[3] != hiroshi and
        p[3] != yuri and

        p[4] != saki and
        p[4] != reina and

        p[5] != saki and
        p[5] != chiaki and

        p[6] != akira and
        p[6] != saki and

        p[7] != chiaki and
        p[7] != mika and

        # 私は女子全員とセ○クスしたわ　男は嫌いなの
        p[0] != mika and
        p[0] != chiaki and
        p[0] != saki and
        p[0] != akira and

        # ミカは女性
        p[1] != mika and
        p[2] != mika and
        p[5] != mika and
        p[7] != mika and

        # 僕はア○ル専門
        p[2] != akira and
        p[2] != saki and

        # シンヤは男性
        # ユリは女性
        shinya in (p[1], p[2], p[5], p[7]) and
        yuri in (p[0], p[3], p[4], p[6]) and

        # 私とサキは誰のチ○ポもしゃぶらなかったわ
        p[3] != saki and
        p[4] != mika and

        # 肉○器という呼称から、サキは女性？
        saki in (p[0], p[3], p[4], p[6]) and

        # アキラとサキは異性
        (akira in (p[0], p[3], p[4], p[6]) and saki  in (p[1], p[2], p[5], p[7]) or
         saki  in (p[0], p[3], p[4], p[6]) and akira in (p[1], p[2], p[5], p[7])) and

        # チアキは眼鏡
        (p[1] == chiaki or p[6] == chiaki) and

        # 男女を仮定
        # p[0] in F and
        # p[1] in M and
        # p[2] in M and
        # p[3] in F and
        # p[4] in F and
        # p[5] in M and
        # p[6] in F and
        # p[7] in M and

        True
    ):
        print [name[x] for x in p]
        n += 1
print n