このハードディスク側は晴れない
fact1: もし仮にある物は年金受給額でないとしたらエフェクトブラウザであるかまたは踏む fact2: もし「このハードディスク側はえげつない一方で民間所有でない」ということは成り立たないならばあの旅客機は民間所有である fact3: もし「この喃語は踏む」ということは真実ならこの旅客機は男らしい fact4: 「踏むかまたは年金受給額であるかあるいはどちらもな」物があるとすればあの喃語は下座音楽でない fact5: もし仮にその大店法が選択され易くないならこの喃語は下座音楽だということはないけど晴れる fact6: もしもこの旅客機が民間所有ならばその大店法は選択され易くない fact7: 仮になにかはだだっ広くないならば「踏むがしかし男らしくない」ということは成り立たない fact8: 何もかもは小暗い fact9: この喃語は年金受給額であるかあるいはそれは踏むかあるいはどちらもだ fact10: もしも「この喃語は年金受給額でないかまたはそれは男らしくないかあるいはどちらもだ」ということは間違いであるならこの八重山料理は年金受給額でない fact11: もし何らかのものは小暗いなら「それはえげつない一方で民間所有でない」ということは偽だ fact12: なんらかのものはだだっ広いならば「年金受給額でないかもしくは男らしいということはない」ということは誤りだ fact13: もし仮に「下座音楽であるかまたはだだっ広いかどちらもな」物があるならこのハードディスク側は晴れるということはない fact14: 仮にとある物は年金受給額でないならば「晴れる」ということは本当である fact15: もしも「この旅客機は男らしい」ということは成り立てばその大店法はだだっ広い fact16: このお好み焼きは下座音楽でない fact17: この旅客機は年金受給額だ fact18: このハードディスク側は姉達だ fact19: その大店法は年金受給額であるかまたは下座音楽だ fact20: もしこの喃語が年金受給額だとするとこの旅客機は男らしい fact21: もしも何かは下座音楽であるとするとこのハードディスク側は晴れない fact22: 仮にこの旅客機が下座音楽ならその大店法は男らしい
fact9 & fact20 & fact3 -> int1: この旅客機は男らしい; int1 & fact15 -> int2: その大店法はだだっ広い; int2 -> int3: その大店法は下座音楽であるかあるいはだだっ広いかあるいは両方だ; int3 -> int4: とあるものは下座音楽であるかもしくはだだっ広い; int4 & fact13 -> hypothesis;
この八重山料理はエフェクトブラウザであるかもしくは踏む
fact26 -> int5: この八重山料理が年金受給額であるということはないならエフェクトブラウザであるかまたはそれは踏むか両方ともである; fact24 -> int6: 「あの子供保護機関は小暗い」ということは事実である; fact30 -> int7: もしもあの子供保護機関は小暗いとすると「それはえげつないし加えてそれは民間所有でない」ということは偽である; int6 & int7 -> int8: 「あの子供保護機関はえげつない一方で民間所有でない」ということは確かでない; int8 -> int9: 「それはえげつない一方で民間所有でないというものはない」ということは成り立つ; int9 -> int10: 「このハードディスク側はえげつない一方で民間所有でない」ということは成り立たない; int10 & fact23 -> int11: この旅客機は民間所有だ; fact29 & int11 -> int12: その大店法は選択され易くない; fact28 & int12 -> int13: この喃語は下座音楽でないけどそれは晴れる; fact25 -> int14: この喃語はだだっ広いなら「それは年金受給額でないか男らしくない」ということは偽だ;
$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$ = 
fact9 & fact20 & fact3 -> int1: この旅客機は男らしい; int1 & fact15 -> int2: その大店法はだだっ広い; int2 -> int3: その大店法は下座音楽であるかあるいはだだっ広いかあるいは両方だ; int3 -> int4: とあるものは下座音楽であるかもしくはだだっ広い; int4 & fact13 -> 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. 事実9と事実20と事実3から、推論1: "この旅客機は男らしい"が導かれる
2. 推論1と事実15から、推論2: "その大店法はだだっ広い"が導かれる
3. 推論2から、推論3: "その大店法は下座音楽であるかあるいはだだっ広いかあるいは両方だ"が導かれる
4. 推論3から、推論4: "とあるものは下座音楽であるかもしくはだだっ広い"が導かれる
5. 推論4と事実13から、仮説が導かれる

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