あの観察結果は枕辺である
fact1: もしその広域化は嫉妬深いということはないかもしくは二着馬だということはないかまたは両方であるとすると取っ付き易くない fact2: 「仮に「その広域化は綾なさないかそれは取っ付き易くないかどちらもだ」ということは成り立たないとしたらこの年取り魚は消化吸収され易くない」ということは確かである fact3: あの観察結果は二着馬だということはないとすると「それは枕辺だということはない」ということは成り立つ fact4: 二着馬は立ち会いでないし加えてイメージ・スケッチでない fact5: 三〜四箇月頃は二着馬だ fact6: もし仮にその広域化は嫉妬深くないとすれば「「この諜者はイメージ・スケッチでないかもしくは作図オプションメニューでないかまたは両方である」ということは成り立つ」ということは誤りだ fact7: この諜者は誕生パーティでないかまたは取り組み易いかまたは両方ともだ fact8: もし仮に「何かは地方局であるかそれは心苦しくないかあるいはどちらもだ」ということは確かならば三〜四箇月頃である fact9: もしこの諜者が立ち会いでないとしたらあの観察結果は二着馬だということはない fact10: 嫉妬深くないものは枕辺である fact11: この年取り魚が三〜四箇月頃だしそれは消化吸収され易い fact12: 仮にその広域化は立ち会いでないし更にイメージ・スケッチでないならばそれは消化吸収され易いということはない fact13: 「なにかは嫉妬深いしその上それは作図オプションメニューである」ということは間違いであるならば嫉妬深くない fact14: 仮にその広域化は消化吸収され易くないなら「「あの観察結果は嫉妬深くてまた作図オプションメニューである」ということは誤っている」ということは確かだ fact15: 仮にその広域化は綾なさないかもしくは取っ付き易くないかまたはどちらもならば嫉妬深くない fact16: 仮に「とあるものはイメージ・スケッチでないかもしくは作図オプションメニューでないか両方である」ということは成り立たないならばそれは立ち会いでない
void -> assump1: 以下のように仮定する。「その広域化は綾なさないか取っ付き易くないかあるいはどちらもである」ということは事実でない; fact2 & assump1 -> int1: この年取り魚は消化吸収され易くない; fact11 -> int2: 「この年取り魚は消化吸収され易い」ということは成り立つ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: その広域化は綾なさないか取っ付き易くないかまたはどちらもだ; int4 & fact15 -> int5: その広域化は嫉妬深くない; int5 & fact6 -> int6: 「この諜者はイメージ・スケッチであるということはないかまたは作図オプションメニューでないかもしくは両方ともだ」ということは成り立たない; fact16 -> int7: もしも「この諜者はイメージ・スケッチでないか作図オプションメニューであるということはないか両方ともだ」ということは事実だということはないならばそれは立ち会いでない; int6 & int7 -> int8: この諜者は立ち会いでない; int8 & fact9 -> int9: あの観察結果は二着馬でない; int9 & fact3 -> hypothesis;
あの観察結果は枕辺である
fact20 -> int10: あの観察結果が嫉妬深くないとすればそれは枕辺だ; fact17 -> int11: 「あの観察結果は嫉妬深くてまた作図オプションメニューだ」ということは誤りならばそれは嫉妬深くない; fact23 -> int12: もしその広域化は二着馬であるとしたらそれは立ち会いでないし加えてイメージ・スケッチでない; fact19 -> int13: その広域化が三〜四箇月頃ならば二着馬だ; fact22 -> int14: 「その広域化が地方局であるかもしくはそれが心苦しくないかまたはどちらもであるとするとその広域化は三〜四箇月頃だ」ということは成り立つ;
$facts$ = fact1: もしその広域化は嫉妬深いということはないかもしくは二着馬だということはないかまたは両方であるとすると取っ付き易くない fact2: 「仮に「その広域化は綾なさないかそれは取っ付き易くないかどちらもだ」ということは成り立たないとしたらこの年取り魚は消化吸収され易くない」ということは確かである fact3: あの観察結果は二着馬だということはないとすると「それは枕辺だということはない」ということは成り立つ fact4: 二着馬は立ち会いでないし加えてイメージ・スケッチでない fact5: 三〜四箇月頃は二着馬だ fact6: もし仮にその広域化は嫉妬深くないとすれば「「この諜者はイメージ・スケッチでないかもしくは作図オプションメニューでないかまたは両方である」ということは成り立つ」ということは誤りだ fact7: この諜者は誕生パーティでないかまたは取り組み易いかまたは両方ともだ fact8: もし仮に「何かは地方局であるかそれは心苦しくないかあるいはどちらもだ」ということは確かならば三〜四箇月頃である fact9: もしこの諜者が立ち会いでないとしたらあの観察結果は二着馬だということはない fact10: 嫉妬深くないものは枕辺である fact11: この年取り魚が三〜四箇月頃だしそれは消化吸収され易い fact12: 仮にその広域化は立ち会いでないし更にイメージ・スケッチでないならばそれは消化吸収され易いということはない fact13: 「なにかは嫉妬深いしその上それは作図オプションメニューである」ということは間違いであるならば嫉妬深くない fact14: 仮にその広域化は消化吸収され易くないなら「「あの観察結果は嫉妬深くてまた作図オプションメニューである」ということは誤っている」ということは確かだ fact15: 仮にその広域化は綾なさないかもしくは取っ付き易くないかまたはどちらもならば嫉妬深くない fact16: 仮に「とあるものはイメージ・スケッチでないかもしくは作図オプションメニューでないか両方である」ということは成り立たないならばそれは立ち会いでない ; $hypothesis$ = あの観察結果は枕辺である ; $proof$ = 
void -> assump1: 以下のように仮定する。「その広域化は綾なさないか取っ付き易くないかあるいはどちらもである」ということは事実でない; fact2 & assump1 -> int1: この年取り魚は消化吸収され易くない; fact11 -> int2: 「この年取り魚は消化吸収され易い」ということは成り立つ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: その広域化は綾なさないか取っ付き易くないかまたはどちらもだ; int4 & fact15 -> int5: その広域化は嫉妬深くない; int5 & fact6 -> int6: 「この諜者はイメージ・スケッチであるということはないかまたは作図オプションメニューでないかもしくは両方ともだ」ということは成り立たない; fact16 -> int7: もしも「この諜者はイメージ・スケッチでないか作図オプションメニューであるということはないか両方ともだ」ということは事実だということはないならばそれは立ち会いでない; int6 & int7 -> int8: この諜者は立ち会いでない; int8 & fact9 -> int9: あの観察結果は二着馬でない; int9 & fact3 -> hypothesis; __DISPROVED__
事実1: もしその広域化は嫉妬深いということはないかもしくは二着馬だということはないかまたは両方であるとすると取っ付き易くない
事実2: 「仮に「その広域化は綾なさないかそれは取っ付き易くないかどちらもだ」ということは成り立たないとしたらこの年取り魚は消化吸収され易くない」ということは確かである
事実3: あの観察結果は二着馬だということはないとすると「それは枕辺だということはない」ということは成り立つ
事実4: 二着馬は立ち会いでないし加えてイメージ・スケッチでない
事実5: 三〜四箇月頃は二着馬だ
事実6: もし仮にその広域化は嫉妬深くないとすれば「「この諜者はイメージ・スケッチでないかもしくは作図オプションメニューでないかまたは両方である」ということは成り立つ」ということは誤りだ
事実7: この諜者は誕生パーティでないかまたは取り組み易いかまたは両方ともだ
事実8: もし仮に「何かは地方局であるかそれは心苦しくないかあるいはどちらもだ」ということは確かならば三〜四箇月頃である
事実9: もしこの諜者が立ち会いでないとしたらあの観察結果は二着馬だということはない
事実10: 嫉妬深くないものは枕辺である
事実11: この年取り魚が三〜四箇月頃だしそれは消化吸収され易い
事実12: 仮にその広域化は立ち会いでないし更にイメージ・スケッチでないならばそれは消化吸収され易いということはない
事実13: 「なにかは嫉妬深いしその上それは作図オプションメニューである」ということは間違いであるならば嫉妬深くない
事実14: 仮にその広域化は消化吸収され易くないなら「「あの観察結果は嫉妬深くてまた作図オプションメニューである」ということは誤っている」ということは確かだ
事実15: 仮にその広域化は綾なさないかもしくは取っ付き易くないかまたはどちらもならば嫉妬深くない
事実16: 仮に「とあるものはイメージ・スケッチでないかもしくは作図オプションメニューでないか両方である」ということは成り立たないならばそれは立ち会いでない

仮説: あの観察結果は枕辺である
1. 仮定1: 以下のように仮定する。「その広域化は綾なさないか取っ付き易くないかあるいはどちらもである」ということは事実でない
2. 事実2と仮定1から、推論1: "この年取り魚は消化吸収され易くない"が導かれる
3. 事実11から、推論2: "「この年取り魚は消化吸収され易い」ということは成り立つ"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "その広域化は綾なさないか取っ付き易くないかまたはどちらもだ"が導かれる
6. 推論4と事実15から、推論5: "その広域化は嫉妬深くない"が導かれる
7. 推論5と事実6から、推論6: "「この諜者はイメージ・スケッチであるということはないかまたは作図オプションメニューでないかもしくは両方ともだ」ということは成り立たない"が導かれる
8. 事実16から、推論7: "もしも「この諜者はイメージ・スケッチでないか作図オプションメニューであるということはないか両方ともだ」ということは事実だということはないならばそれは立ち会いでない"が導かれる
9. 推論6と推論7から、推論8: "この諜者は立ち会いでない"が導かれる
10. 推論8と事実9から、推論9: "あの観察結果は二着馬でない"が導かれる
11. 推論9と事実3から、仮説が否定される

よって、仮説が否定されました。