あのコレステロール逆転送系は国語読本でない
fact1: もし仮に「とあるものは考え方自体であるか怪しくない」ということは誤りであるならば狂おしい fact2: 仮になんらかのものが習わせるとしたらあのコレステロール逆転送系は怪しい fact3: 仮に「とある物は満了するしさらに痒い」ということは誤っていれば満了するということはない fact4: 仮に「「遅れ易いかタイトルらしいか両方ともだ」ということは成り立たない」ものがあるとすればその作戦タイムはビザ切れだ fact5: もし仮にその領海内が社会福祉基礎構造改革だとするとその懐柔は社会福祉基礎構造改革でない fact6: その領海内は社会福祉基礎構造改革であるかまたは心苦しくない fact7: その作戦タイムがビザ切れであるとするとあのＶＯはプロらしい fact8: もしもあのＶＯは怪しくないとしたら「この迎え方は考え方自体でないが習わせる」ということは成り立たない fact9: プロらしいものは狂おしい fact10: もしあの一口メモは満了しないとすると「この小便器は遅れ易いかまたはタイトルらしいかまたはどちらもである」ということは誤っている fact11: 「何かは考え方自体であるかまたは怪しいかあるいは両方である」ということは間違っていれば狂おしい fact12: あのコレステロール逆転送系は怪しい fact13: もしもその懐柔は社会福祉基礎構造改革でないならば「あの一口メモは満了するしさらに痒い」ということは嘘である fact14: 仮に「習わせる」物はあるとすれば「あのコレステロール逆転送系は考え方自体であるかまたは怪しいということはないかあるいはどちらもである」ということは成り立たない fact15: 仮にその領海内が心苦しくないとするとその懐柔は社会福祉基礎構造改革でない fact16: 仮にあのコレステロール逆転送系がプロらしいかあるいはビザ切れであるかあるいはどちらもならばそれは遅れ易くない fact17: なにがしかの物は習わせる fact18: 狂おしいものはプロらしい fact19: 仮に「あのコレステロール逆転送系はビザ切れだ」ということは事実と異ならないとしたら遅れ易くない fact20: 仮に「なにがしかの物は遅れ易くない」ということは正しいならばそれは国語読本だということはない fact21: 「あの停止顔効果は怪しいかあるいはそれはワットでないかどちらもである」ということは偽である fact22: もしも「あのコレステロール逆転送系は考え方自体であるか怪しいか両方だ」ということは本当でないとすれば狂おしい
fact17 & fact14 -> int1: 「あのコレステロール逆転送系は考え方自体であるかあるいは怪しくない」ということは間違っている; fact1 -> int2: もしも「あのコレステロール逆転送系は考え方自体であるかもしくはそれは怪しくないかもしくはどちらもだ」ということは成り立たないとすると狂おしい; int1 & int2 -> int3: あのコレステロール逆転送系は狂おしい; fact18 -> int4: もし仮にあのコレステロール逆転送系が狂おしいとすればそれはプロらしい; int3 & int4 -> int5: あのコレステロール逆転送系はプロらしい; int5 -> int6: あのコレステロール逆転送系はプロらしいかもしくはビザ切れだ; int6 & fact16 -> int7: あのコレステロール逆転送系は遅れ易くない; fact20 -> int8: あのコレステロール逆転送系が遅れ易くないならば国語読本でない; int7 & int8 -> hypothesis;
あのコレステロール逆転送系は国語読本である
fact25 -> int9: もしあのＶＯがプロらしいとするとそれは狂おしい; fact29 -> int10: もし仮に「あの一口メモは満了するしそれは痒い」ということは嘘なら「満了するということはない」ということは事実である; fact23 & fact30 & fact28 -> int11: その懐柔は社会福祉基礎構造改革でない; fact26 & int11 -> int12: 「「あの一口メモは満了するし痒い」ということは成り立たない」ということは正しい; int10 & int12 -> int13: あの一口メモは満了しない; fact31 & int13 -> int14: 「この小便器は遅れ易いかまたはそれはタイトルらしいかまたはどちらもである」ということは間違いである; int14 -> int15: 「「遅れ易いかもしくはタイトルらしいかあるいは両方ともである」ということは成り立たない」物はある; int15 & fact24 -> int16: その作戦タイムはビザ切れだ; fact32 & int16 -> int17: 「あのＶＯはプロらしい」ということは事実だ; int9 & int17 -> int18: あのＶＯは狂おしい;
$facts$ = fact1: もし仮に「とあるものは考え方自体であるか怪しくない」ということは誤りであるならば狂おしい fact2: 仮になんらかのものが習わせるとしたらあのコレステロール逆転送系は怪しい fact3: 仮に「とある物は満了するしさらに痒い」ということは誤っていれば満了するということはない fact4: 仮に「「遅れ易いかタイトルらしいか両方ともだ」ということは成り立たない」ものがあるとすればその作戦タイムはビザ切れだ fact5: もし仮にその領海内が社会福祉基礎構造改革だとするとその懐柔は社会福祉基礎構造改革でない fact6: その領海内は社会福祉基礎構造改革であるかまたは心苦しくない fact7: その作戦タイムがビザ切れであるとするとあのＶＯはプロらしい fact8: もしもあのＶＯは怪しくないとしたら「この迎え方は考え方自体でないが習わせる」ということは成り立たない fact9: プロらしいものは狂おしい fact10: もしあの一口メモは満了しないとすると「この小便器は遅れ易いかまたはタイトルらしいかまたはどちらもである」ということは誤っている fact11: 「何かは考え方自体であるかまたは怪しいかあるいは両方である」ということは間違っていれば狂おしい fact12: あのコレステロール逆転送系は怪しい fact13: もしもその懐柔は社会福祉基礎構造改革でないならば「あの一口メモは満了するしさらに痒い」ということは嘘である fact14: 仮に「習わせる」物はあるとすれば「あのコレステロール逆転送系は考え方自体であるかまたは怪しいということはないかあるいはどちらもである」ということは成り立たない fact15: 仮にその領海内が心苦しくないとするとその懐柔は社会福祉基礎構造改革でない fact16: 仮にあのコレステロール逆転送系がプロらしいかあるいはビザ切れであるかあるいはどちらもならばそれは遅れ易くない fact17: なにがしかの物は習わせる fact18: 狂おしいものはプロらしい fact19: 仮に「あのコレステロール逆転送系はビザ切れだ」ということは事実と異ならないとしたら遅れ易くない fact20: 仮に「なにがしかの物は遅れ易くない」ということは正しいならばそれは国語読本だということはない fact21: 「あの停止顔効果は怪しいかあるいはそれはワットでないかどちらもである」ということは偽である fact22: もしも「あのコレステロール逆転送系は考え方自体であるか怪しいか両方だ」ということは本当でないとすれば狂おしい ; $hypothesis$ = あのコレステロール逆転送系は国語読本でない ; $proof$ = 
fact17 & fact14 -> int1: 「あのコレステロール逆転送系は考え方自体であるかあるいは怪しくない」ということは間違っている; fact1 -> int2: もしも「あのコレステロール逆転送系は考え方自体であるかもしくはそれは怪しくないかもしくはどちらもだ」ということは成り立たないとすると狂おしい; int1 & int2 -> int3: あのコレステロール逆転送系は狂おしい; fact18 -> int4: もし仮にあのコレステロール逆転送系が狂おしいとすればそれはプロらしい; int3 & int4 -> int5: あのコレステロール逆転送系はプロらしい; int5 -> int6: あのコレステロール逆転送系はプロらしいかもしくはビザ切れだ; int6 & fact16 -> int7: あのコレステロール逆転送系は遅れ易くない; fact20 -> int8: あのコレステロール逆転送系が遅れ易くないならば国語読本でない; int7 & int8 -> hypothesis; __PROVED__
事実1: もし仮に「とあるものは考え方自体であるか怪しくない」ということは誤りであるならば狂おしい
事実2: 仮になんらかのものが習わせるとしたらあのコレステロール逆転送系は怪しい
事実3: 仮に「とある物は満了するしさらに痒い」ということは誤っていれば満了するということはない
事実4: 仮に「「遅れ易いかタイトルらしいか両方ともだ」ということは成り立たない」ものがあるとすればその作戦タイムはビザ切れだ
事実5: もし仮にその領海内が社会福祉基礎構造改革だとするとその懐柔は社会福祉基礎構造改革でない
事実6: その領海内は社会福祉基礎構造改革であるかまたは心苦しくない
事実7: その作戦タイムがビザ切れであるとするとあのＶＯはプロらしい
事実8: もしもあのＶＯは怪しくないとしたら「この迎え方は考え方自体でないが習わせる」ということは成り立たない
事実9: プロらしいものは狂おしい
事実10: もしあの一口メモは満了しないとすると「この小便器は遅れ易いかまたはタイトルらしいかまたはどちらもである」ということは誤っている
事実11: 「何かは考え方自体であるかまたは怪しいかあるいは両方である」ということは間違っていれば狂おしい
事実12: あのコレステロール逆転送系は怪しい
事実13: もしもその懐柔は社会福祉基礎構造改革でないならば「あの一口メモは満了するしさらに痒い」ということは嘘である
事実14: 仮に「習わせる」物はあるとすれば「あのコレステロール逆転送系は考え方自体であるかまたは怪しいということはないかあるいはどちらもである」ということは成り立たない
事実15: 仮にその領海内が心苦しくないとするとその懐柔は社会福祉基礎構造改革でない
事実16: 仮にあのコレステロール逆転送系がプロらしいかあるいはビザ切れであるかあるいはどちらもならばそれは遅れ易くない
事実17: なにがしかの物は習わせる
事実18: 狂おしいものはプロらしい
事実19: 仮に「あのコレステロール逆転送系はビザ切れだ」ということは事実と異ならないとしたら遅れ易くない
事実20: 仮に「なにがしかの物は遅れ易くない」ということは正しいならばそれは国語読本だということはない
事実21: 「あの停止顔効果は怪しいかあるいはそれはワットでないかどちらもである」ということは偽である
事実22: もしも「あのコレステロール逆転送系は考え方自体であるか怪しいか両方だ」ということは本当でないとすれば狂おしい

仮説: あのコレステロール逆転送系は国語読本でない
1. 事実17と事実14から、推論1: "「あのコレステロール逆転送系は考え方自体であるかあるいは怪しくない」ということは間違っている"が導かれる
2. 事実1から、推論2: "もしも「あのコレステロール逆転送系は考え方自体であるかもしくはそれは怪しくないかもしくはどちらもだ」ということは成り立たないとすると狂おしい"が導かれる
3. 推論1と推論2から、推論3: "あのコレステロール逆転送系は狂おしい"が導かれる
4. 事実18から、推論4: "もし仮にあのコレステロール逆転送系が狂おしいとすればそれはプロらしい"が導かれる
5. 推論3と推論4から、推論5: "あのコレステロール逆転送系はプロらしい"が導かれる
6. 推論5から、推論6: "あのコレステロール逆転送系はプロらしいかもしくはビザ切れだ"が導かれる
7. 推論6と事実16から、推論7: "あのコレステロール逆転送系は遅れ易くない"が導かれる
8. 事実20から、推論8: "あのコレステロール逆転送系が遅れ易くないならば国語読本でない"が導かれる
9. 推論7と推論8から、仮説が導かれる

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