そのみにゅみねLv.85は飲み難くない
fact1: とあるモンスターは胸苦しいということはない fact2: あのまやまわLv.4が胸苦しいしかつそれが頼もしいとしたらそのもちゅもくLv.41は頼もしくない fact3: 仮にあのまやまわLv.4が実行し易いとするとそのみにゅみねLv.85は飲み難い fact4: もしも「胸苦しくない」モンスターがいるとするとそのもちゅもくLv.41は姦しい fact5: もしそのぽにょぽわLv.64が飲み難いとするとそのみにゅみねLv.85は姦しい fact6: 仮にそのみにゅみねLv.85が姦しいとすればあのまやまわLv.4は姦しくない
fact1 & fact4 -> int1: そのもちゅもくLv.41は姦しい;
fact1 & fact4 -> int1: {B}{a};
「頼もしくない」モンスターはいる
$facts$ = fact1: とあるモンスターは胸苦しいということはない fact2: あのまやまわLv.4が胸苦しいしかつそれが頼もしいとしたらそのもちゅもくLv.41は頼もしくない fact3: 仮にあのまやまわLv.4が実行し易いとするとそのみにゅみねLv.85は飲み難い fact4: もしも「胸苦しくない」モンスターがいるとするとそのもちゅもくLv.41は姦しい fact5: もしそのぽにょぽわLv.64が飲み難いとするとそのみにゅみねLv.85は姦しい fact6: 仮にそのみにゅみねLv.85が姦しいとすればあのまやまわLv.4は姦しくない ; $hypothesis$ = そのみにゅみねLv.85は飲み難くない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__