あの後円はポップアップリストでない
fact1: 夏らしい物は擡げる fact2: もし仮にこのトラットリアは生まれ易くない一方で夏らしいとすれば「この弁護士法改正は夏らしい」ということは成り立つ fact3: もし「この弁護士法改正は夏らしい」ということは事実だとすればあの後円はポップアップリストである fact4: もし仮に「この弁護士法改正はポップアップリストでないかそれは御勧め致さないかもしくはどちらもだ」ということは事実と異なるとしたらあの後円はポップアップリストだ fact5: もし仮に「なにがしかのものは御勧め致すけれど擡げない」ということは成り立たないとしたらそれは御勧め致さない fact6: もしもあの後円が御勧め致すということはないとしたら憎らしいということはないかあるいは手厳しくないかどちらもである fact7: 仮に「この遡求義務は歩み掛けるかもしくは専門家チームであるかあるいは両方だ」ということは間違いだとすればこのトラットリアはドパミンでない fact8: なんらかの物は擡げれば「ポップアップリストでないかもしくは御勧め致さないかあるいはどちらもである」ということは成り立つということはない fact9: あの後円は憎らしいということはないかあるいは手厳しいかまたはどちらもである fact10: 仮にあの後円が手厳しくないならばポップアップリストであるということはない fact11: もし仮になにがしかのものがドパミンでないならばそれは生まれ易くなくてまたそれは夏らしい fact12: あの後円は御勧め致さない fact13: 憎らしくないか手厳しいということはないものはポップアップリストでない fact14: 手厳しくないものはポップアップリストだということはない
fact6 & fact12 -> int1: あの後円は憎らしくないかまたはそれは手厳しくないかまたは両方だ; fact13 -> int2: 仮にあの後円が憎らしくないかあるいはそれは手厳しいということはないかまたはどちらもであるとしたらそれはポップアップリストでない; int1 & int2 -> hypothesis;
あの後円はポップアップリストである
fact18 -> int3: もし仮にこの弁護士法改正は擡げれば「ポップアップリストでないかもしくは御勧め致さないかもしくは両方ともだ」ということは誤りである; fact17 -> int4: もしもこの弁護士法改正が夏らしいならば擡げる; fact19 -> int5: もしもこのトラットリアはドパミンでないなら生まれ易いということはないがしかし夏らしい;
$facts$ = fact1: 夏らしい物は擡げる fact2: もし仮にこのトラットリアは生まれ易くない一方で夏らしいとすれば「この弁護士法改正は夏らしい」ということは成り立つ fact3: もし「この弁護士法改正は夏らしい」ということは事実だとすればあの後円はポップアップリストである fact4: もし仮に「この弁護士法改正はポップアップリストでないかそれは御勧め致さないかもしくはどちらもだ」ということは事実と異なるとしたらあの後円はポップアップリストだ fact5: もし仮に「なにがしかのものは御勧め致すけれど擡げない」ということは成り立たないとしたらそれは御勧め致さない fact6: もしもあの後円が御勧め致すということはないとしたら憎らしいということはないかあるいは手厳しくないかどちらもである fact7: 仮に「この遡求義務は歩み掛けるかもしくは専門家チームであるかあるいは両方だ」ということは間違いだとすればこのトラットリアはドパミンでない fact8: なんらかの物は擡げれば「ポップアップリストでないかもしくは御勧め致さないかあるいはどちらもである」ということは成り立つということはない fact9: あの後円は憎らしいということはないかあるいは手厳しいかまたはどちらもである fact10: 仮にあの後円が手厳しくないならばポップアップリストであるということはない fact11: もし仮になにがしかのものがドパミンでないならばそれは生まれ易くなくてまたそれは夏らしい fact12: あの後円は御勧め致さない fact13: 憎らしくないか手厳しいということはないものはポップアップリストでない fact14: 手厳しくないものはポップアップリストだということはない ; $hypothesis$ = あの後円はポップアップリストでない ; $proof$ = 
fact6 & fact12 -> int1: あの後円は憎らしくないかまたはそれは手厳しくないかまたは両方だ; fact13 -> int2: 仮にあの後円が憎らしくないかあるいはそれは手厳しいということはないかまたはどちらもであるとしたらそれはポップアップリストでない; int1 & int2 -> hypothesis; __PROVED__
事実1: 夏らしい物は擡げる
事実2: もし仮にこのトラットリアは生まれ易くない一方で夏らしいとすれば「この弁護士法改正は夏らしい」ということは成り立つ
事実3: もし「この弁護士法改正は夏らしい」ということは事実だとすればあの後円はポップアップリストである
事実4: もし仮に「この弁護士法改正はポップアップリストでないかそれは御勧め致さないかもしくはどちらもだ」ということは事実と異なるとしたらあの後円はポップアップリストだ
事実5: もし仮に「なにがしかのものは御勧め致すけれど擡げない」ということは成り立たないとしたらそれは御勧め致さない
事実6: もしもあの後円が御勧め致すということはないとしたら憎らしいということはないかあるいは手厳しくないかどちらもである
事実7: 仮に「この遡求義務は歩み掛けるかもしくは専門家チームであるかあるいは両方だ」ということは間違いだとすればこのトラットリアはドパミンでない
事実8: なんらかの物は擡げれば「ポップアップリストでないかもしくは御勧め致さないかあるいはどちらもである」ということは成り立つということはない
事実9: あの後円は憎らしいということはないかあるいは手厳しいかまたはどちらもである
事実10: 仮にあの後円が手厳しくないならばポップアップリストであるということはない
事実11: もし仮になにがしかのものがドパミンでないならばそれは生まれ易くなくてまたそれは夏らしい
事実12: あの後円は御勧め致さない
事実13: 憎らしくないか手厳しいということはないものはポップアップリストでない
事実14: 手厳しくないものはポップアップリストだということはない

仮説: あの後円はポップアップリストでない
1. 事実6と事実12から、推論1: "あの後円は憎らしくないかまたはそれは手厳しくないかまたは両方だ"が導かれる
2. 事実13から、推論2: "仮にあの後円が憎らしくないかあるいはそれは手厳しいということはないかまたはどちらもであるとしたらそれはポップアップリストでない"が導かれる
3. 推論1と推論2から、仮説が導かれる

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