その複式夢幻能は気密だということはない
fact1: 「その複式夢幻能は二日付けでない」ということは正しい fact2: もしもこの良相が常連らしくないしかつ嫌味ったらしくないとしたらその複式夢幻能はおっかしい fact3: もしも「なにかは本決定でないし食べ合わせでない」ということは偽であるとすれば食べ合わせだ fact4: この良相は食べ合わせでない fact5: もしも「何らかのものは気密でないがしかしおっかしい」ということは嘘であるとすると気密だ fact6: その複式夢幻能は芳しい fact7: 仮にこの良相が気密であるしそれに芳しいならば食べ合わせでない fact8: あの口説き評価は芳しくない fact9: もしもこの良相が常連らしくないし更に芳しくないとすればその複式夢幻能は嫌味ったらしい fact10: 「その複式夢幻能はおっかしくなくて更にそれは食べ合わせであるということはない」ということは事実と異なる fact11: 「この良相は気密だがしかし殴り合わない」ということは偽である fact12: その複式夢幻能はおっかしいしおまけに芳しいとしたらそれは気密でない fact13: その複式夢幻能が嫌味ったらしいしその上それが常連らしいならおっかしくない fact14: もしなにかは食べ合わせであるとしたら「それは気密でなくてしかもおっかしい」ということは真実でない fact15: もし仮に「とあるものは芳しいということはないしかつ御成らない」ということは成り立たないとすればそれは容れる fact16: もし「この良相は常連らしくないしその上嫌味ったらしくない」ということは誤りであるならばそれは食べ合わせだ fact17: もし仮にこの良相は嫌味ったらしいが食べ合わせであるということはないとしたら「その複式夢幻能は常連らしい」ということは確かだ
void -> assump1: 以下のように仮定する。「「この良相は常連らしくないしその上嫌味ったらしいない」ということは事実だ」ということは間違っている; fact16 & assump1 -> int1: この良相は食べ合わせである; int1 & fact4 -> int2: これは矛盾である; [assump1] & int2 -> int3: この良相は常連らしいということはなくてそれは嫌味ったらしくない; int3 & fact2 -> int4: 「その複式夢幻能はおっかしい」ということは確かだ; int4 & fact6 -> int5: その複式夢幻能はおっかしいし加えて芳しい; int5 & fact12 -> hypothesis;
その複式夢幻能は気密だ
fact19 -> int6: もしも「その複式夢幻能は気密でないけれどそれはおっかしい」ということは成り立つということはないならば「気密である」ということは間違っていない; fact20 -> int7: もしもその複式夢幻能は食べ合わせであるとすれば「それは気密でないしさらにおっかしい」ということは正しくない; fact18 -> int8: 「その複式夢幻能は本決定でなくて食べ合わせでない」ということは誤っているとしたら食べ合わせである;
$facts$ = fact1: 「その複式夢幻能は二日付けでない」ということは正しい fact2: もしもこの良相が常連らしくないしかつ嫌味ったらしくないとしたらその複式夢幻能はおっかしい fact3: もしも「なにかは本決定でないし食べ合わせでない」ということは偽であるとすれば食べ合わせだ fact4: この良相は食べ合わせでない fact5: もしも「何らかのものは気密でないがしかしおっかしい」ということは嘘であるとすると気密だ fact6: その複式夢幻能は芳しい fact7: 仮にこの良相が気密であるしそれに芳しいならば食べ合わせでない fact8: あの口説き評価は芳しくない fact9: もしもこの良相が常連らしくないし更に芳しくないとすればその複式夢幻能は嫌味ったらしい fact10: 「その複式夢幻能はおっかしくなくて更にそれは食べ合わせであるということはない」ということは事実と異なる fact11: 「この良相は気密だがしかし殴り合わない」ということは偽である fact12: その複式夢幻能はおっかしいしおまけに芳しいとしたらそれは気密でない fact13: その複式夢幻能が嫌味ったらしいしその上それが常連らしいならおっかしくない fact14: もしなにかは食べ合わせであるとしたら「それは気密でなくてしかもおっかしい」ということは真実でない fact15: もし仮に「とあるものは芳しいということはないしかつ御成らない」ということは成り立たないとすればそれは容れる fact16: もし「この良相は常連らしくないしその上嫌味ったらしくない」ということは誤りであるならばそれは食べ合わせだ fact17: もし仮にこの良相は嫌味ったらしいが食べ合わせであるということはないとしたら「その複式夢幻能は常連らしい」ということは確かだ ; $hypothesis$ = その複式夢幻能は気密だということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。「「この良相は常連らしくないしその上嫌味ったらしいない」ということは事実だ」ということは間違っている; fact16 & assump1 -> int1: この良相は食べ合わせである; int1 & fact4 -> int2: これは矛盾である; [assump1] & int2 -> int3: この良相は常連らしいということはなくてそれは嫌味ったらしくない; int3 & fact2 -> int4: 「その複式夢幻能はおっかしい」ということは確かだ; int4 & fact6 -> int5: その複式夢幻能はおっかしいし加えて芳しい; int5 & fact12 -> hypothesis; __PROVED__
事実1: 「その複式夢幻能は二日付けでない」ということは正しい
事実2: もしもこの良相が常連らしくないしかつ嫌味ったらしくないとしたらその複式夢幻能はおっかしい
事実3: もしも「なにかは本決定でないし食べ合わせでない」ということは偽であるとすれば食べ合わせだ
事実4: この良相は食べ合わせでない
事実5: もしも「何らかのものは気密でないがしかしおっかしい」ということは嘘であるとすると気密だ
事実6: その複式夢幻能は芳しい
事実7: 仮にこの良相が気密であるしそれに芳しいならば食べ合わせでない
事実8: あの口説き評価は芳しくない
事実9: もしもこの良相が常連らしくないし更に芳しくないとすればその複式夢幻能は嫌味ったらしい
事実10: 「その複式夢幻能はおっかしくなくて更にそれは食べ合わせであるということはない」ということは事実と異なる
事実11: 「この良相は気密だがしかし殴り合わない」ということは偽である
事実12: その複式夢幻能はおっかしいしおまけに芳しいとしたらそれは気密でない
事実13: その複式夢幻能が嫌味ったらしいしその上それが常連らしいならおっかしくない
事実14: もしなにかは食べ合わせであるとしたら「それは気密でなくてしかもおっかしい」ということは真実でない
事実15: もし仮に「とあるものは芳しいということはないしかつ御成らない」ということは成り立たないとすればそれは容れる
事実16: もし「この良相は常連らしくないしその上嫌味ったらしくない」ということは誤りであるならばそれは食べ合わせだ
事実17: もし仮にこの良相は嫌味ったらしいが食べ合わせであるということはないとしたら「その複式夢幻能は常連らしい」ということは確かだ

仮説: その複式夢幻能は気密だということはない
1. 仮定1: 以下のように仮定する。「「この良相は常連らしくないしその上嫌味ったらしいない」ということは事実だ」ということは間違っている
2. 事実16と仮定1から、推論1: "この良相は食べ合わせである"が導かれる
3. 推論1と事実4から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "この良相は常連らしいということはなくてそれは嫌味ったらしくない"が導かれる
5. 推論3と事実2から、推論4: "「その複式夢幻能はおっかしい」ということは確かだ"が導かれる
6. 推論4と事実6から、推論5: "その複式夢幻能はおっかしいし加えて芳しい"が導かれる
7. 推論5と事実12から、仮説が導かれる

よって、仮説が証明されました。