この昭和三十年代は停電するかそれは副鼻腔炎であるか両方ともだ
fact1: もしもなんらかのものはとろ臭くないなら「それは排撃するし副鼻腔炎である」ということは成り立たない fact2: もし仮に何かは排撃しないならばそれはエロくないし加えてストライプであるということはない fact3: あのスモーカーはストライプだ fact4: 喜ばしいかあるいは面白い物があるならこの留年はとろ臭くない fact5: あのスモーカーは停電する fact6: もしこの留年が副鼻腔炎でないとすればこの充足率は停電するしエロい fact7: もし「なんらかのものは排撃するしかつそれは副鼻腔炎である」ということは間違っていれば「副鼻腔炎でない」ということは成り立つ fact8: あのスモーカーがエロいとすればこの昭和三十年代は停電する fact9: 仮に「あのスモーカーはストライプだ」ということは成り立つとしたらエロい fact10: 「なんらかの物は喜ばしいかそれは面白いかもしくは両方だ」ということは成り立つ
fact9 & fact3 -> int1: あのスモーカーはエロい; int1 & fact8 -> int2: この昭和三十年代は停電する; int2 -> hypothesis;
「この昭和三十年代は停電するかあるいは副鼻腔炎であるかまたは両方ともである」ということは間違っている
fact11 -> int3: 仮にあのスモーカーが排撃しないならばそれはエロいということはないしおまけにストライプでない;
$facts$ = fact1: もしもなんらかのものはとろ臭くないなら「それは排撃するし副鼻腔炎である」ということは成り立たない fact2: もし仮に何かは排撃しないならばそれはエロくないし加えてストライプであるということはない fact3: あのスモーカーはストライプだ fact4: 喜ばしいかあるいは面白い物があるならこの留年はとろ臭くない fact5: あのスモーカーは停電する fact6: もしこの留年が副鼻腔炎でないとすればこの充足率は停電するしエロい fact7: もし「なんらかのものは排撃するしかつそれは副鼻腔炎である」ということは間違っていれば「副鼻腔炎でない」ということは成り立つ fact8: あのスモーカーがエロいとすればこの昭和三十年代は停電する fact9: 仮に「あのスモーカーはストライプだ」ということは成り立つとしたらエロい fact10: 「なんらかの物は喜ばしいかそれは面白いかもしくは両方だ」ということは成り立つ ; $hypothesis$ = この昭和三十年代は停電するかそれは副鼻腔炎であるか両方ともだ ; $proof$ = 
fact9 & fact3 -> int1: あのスモーカーはエロい; int1 & fact8 -> int2: この昭和三十年代は停電する; int2 -> hypothesis; __PROVED__
事実1: もしもなんらかのものはとろ臭くないなら「それは排撃するし副鼻腔炎である」ということは成り立たない
事実2: もし仮に何かは排撃しないならばそれはエロくないし加えてストライプであるということはない
事実3: あのスモーカーはストライプだ
事実4: 喜ばしいかあるいは面白い物があるならこの留年はとろ臭くない
事実5: あのスモーカーは停電する
事実6: もしこの留年が副鼻腔炎でないとすればこの充足率は停電するしエロい
事実7: もし「なんらかのものは排撃するしかつそれは副鼻腔炎である」ということは間違っていれば「副鼻腔炎でない」ということは成り立つ
事実8: あのスモーカーがエロいとすればこの昭和三十年代は停電する
事実9: 仮に「あのスモーカーはストライプだ」ということは成り立つとしたらエロい
事実10: 「なんらかの物は喜ばしいかそれは面白いかもしくは両方だ」ということは成り立つ

仮説: この昭和三十年代は停電するかそれは副鼻腔炎であるか両方ともだ
1. 事実9と事実3から、推論1: "あのスモーカーはエロい"が導かれる
2. 推論1と事実8から、推論2: "この昭和三十年代は停電する"が導かれる
3. 推論2から、仮説が導かれる

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