「もしその不安・不穏・興奮が想像し易くないとすればこのコテッジは恙無くないかもしくはそれは中支でない」ということは間違いである
fact1: もし仮にあのセレネースが輪郭付けるならそれは内装する fact2: 仮にその不安・不穏・興奮は想像し易いということはないなら「あのネット架は思わしくてかつ取捨選択出来る」ということは成り立たない fact3: もしその不安・不穏・興奮は想像し易いなら「あのネット架は思わしくてそれにそれは取捨選択出来る」ということは嘘だ fact4: 「もし仮にあのネット架が中支だということはないならこのコテッジは思わしくない」ということは本当である fact5: その不安・不穏・興奮は思わしくないかまたはそれは想像し易くない fact6: あのセレネースは厭わしくない fact7: もし「「何らかの物は狙い易いけど中支でない」ということは確かだ」ということは嘘であるなら「中支だ」ということは事実だ fact8: あのセレネースは読み辛くない fact9: もしなにかは配分出来るなら内装する fact10: 「あの世代は中支でない」ということは真実だ fact11: 「このコテッジは五原則だしその上取捨選択出来る」ということは成り立たない fact12: もしもあのネット架が中支であるならばあの不安・不穏・興奮は恙無い一方で想像し易くない fact13: もし仮にあのセレネースが読み辛いということはないならそれは輪郭付けるか配分出来るかもしくはどちらもである fact14: もし仮に何らかのものはフレンチトーストであるとしたら「狙い易いけど中支でない」ということは誤りである fact15: 仮に「あのネット架は思わしくて取捨選択出来る」ということは成り立たないならばこのコテッジは恙無くない fact16: あのネット架は恙無いかあるいはそれは思わしくないかもしくは両方ともだ fact17: 恙無い物は想像し易くないとしたらそれは思わしくない fact18: もしもあのペンチが二週間以内であるとすればこのコテッジはカミングアウトでないかもしくはそれは冠しないかどちらもだ
void -> assump1: 以下のように仮定する。その不安・不穏・興奮は想像し易くない; fact2 & assump1 -> int1: 「あのネット架は思わしくてさらにそれは取捨選択出来る」ということは偽である; int1 & fact15 -> int2: このコテッジは恙無くない; int2 -> int3: このコテッジは恙無くないか中支でないかまたはどちらもだ; [assump1] & int3 -> hypothesis;
その不安・不穏・興奮は思わしくない
fact21 -> int4: もし仮にその不安・不穏・興奮が恙無い一方で想像し易くないならばそれは思わしいということはない; fact28 -> int5: もし仮に「あのネット架は狙い易い一方でそれは中支でない」ということは成り立たないなら「中支でない」ということは誤っている; fact22 -> int6: 仮にあのネット架はフレンチトーストだとすれば「それは狙い易いがしかし中支だということはない」ということは成り立たない; fact19 & fact26 -> int7: あのセレネースは輪郭付けるかまたはそれは配分出来るか両方ともだ; fact23 -> int8: 「もしあのセレネースが配分出来るならばあのセレネースは内装する」ということは成り立つ; int7 & fact20 & int8 -> int9: あのセレネースは内装する; fact27 & int9 -> int10: あのセレネースは厭わしくない一方でそれは内装する; int10 -> int11: なんらかのものは厭わしくないがそれは内装する;
$facts$ = fact1: もし仮にあのセレネースが輪郭付けるならそれは内装する fact2: 仮にその不安・不穏・興奮は想像し易いということはないなら「あのネット架は思わしくてかつ取捨選択出来る」ということは成り立たない fact3: もしその不安・不穏・興奮は想像し易いなら「あのネット架は思わしくてそれにそれは取捨選択出来る」ということは嘘だ fact4: 「もし仮にあのネット架が中支だということはないならこのコテッジは思わしくない」ということは本当である fact5: その不安・不穏・興奮は思わしくないかまたはそれは想像し易くない fact6: あのセレネースは厭わしくない fact7: もし「「何らかの物は狙い易いけど中支でない」ということは確かだ」ということは嘘であるなら「中支だ」ということは事実だ fact8: あのセレネースは読み辛くない fact9: もしなにかは配分出来るなら内装する fact10: 「あの世代は中支でない」ということは真実だ fact11: 「このコテッジは五原則だしその上取捨選択出来る」ということは成り立たない fact12: もしもあのネット架が中支であるならばあの不安・不穏・興奮は恙無い一方で想像し易くない fact13: もし仮にあのセレネースが読み辛いということはないならそれは輪郭付けるか配分出来るかもしくはどちらもである fact14: もし仮に何らかのものはフレンチトーストであるとしたら「狙い易いけど中支でない」ということは誤りである fact15: 仮に「あのネット架は思わしくて取捨選択出来る」ということは成り立たないならばこのコテッジは恙無くない fact16: あのネット架は恙無いかあるいはそれは思わしくないかもしくは両方ともだ fact17: 恙無い物は想像し易くないとしたらそれは思わしくない fact18: もしもあのペンチが二週間以内であるとすればこのコテッジはカミングアウトでないかもしくはそれは冠しないかどちらもだ ; $hypothesis$ = 「もしその不安・不穏・興奮が想像し易くないとすればこのコテッジは恙無くないかもしくはそれは中支でない」ということは間違いである ; $proof$ = 
void -> assump1: 以下のように仮定する。その不安・不穏・興奮は想像し易くない; fact2 & assump1 -> int1: 「あのネット架は思わしくてさらにそれは取捨選択出来る」ということは偽である; int1 & fact15 -> int2: このコテッジは恙無くない; int2 -> int3: このコテッジは恙無くないか中支でないかまたはどちらもだ; [assump1] & int3 -> hypothesis; __DISPROVED__
事実1: もし仮にあのセレネースが輪郭付けるならそれは内装する
事実2: 仮にその不安・不穏・興奮は想像し易いということはないなら「あのネット架は思わしくてかつ取捨選択出来る」ということは成り立たない
事実3: もしその不安・不穏・興奮は想像し易いなら「あのネット架は思わしくてそれにそれは取捨選択出来る」ということは嘘だ
事実4: 「もし仮にあのネット架が中支だということはないならこのコテッジは思わしくない」ということは本当である
事実5: その不安・不穏・興奮は思わしくないかまたはそれは想像し易くない
事実6: あのセレネースは厭わしくない
事実7: もし「「何らかの物は狙い易いけど中支でない」ということは確かだ」ということは嘘であるなら「中支だ」ということは事実だ
事実8: あのセレネースは読み辛くない
事実9: もしなにかは配分出来るなら内装する
事実10: 「あの世代は中支でない」ということは真実だ
事実11: 「このコテッジは五原則だしその上取捨選択出来る」ということは成り立たない
事実12: もしもあのネット架が中支であるならばあの不安・不穏・興奮は恙無い一方で想像し易くない
事実13: もし仮にあのセレネースが読み辛いということはないならそれは輪郭付けるか配分出来るかもしくはどちらもである
事実14: もし仮に何らかのものはフレンチトーストであるとしたら「狙い易いけど中支でない」ということは誤りである
事実15: 仮に「あのネット架は思わしくて取捨選択出来る」ということは成り立たないならばこのコテッジは恙無くない
事実16: あのネット架は恙無いかあるいはそれは思わしくないかもしくは両方ともだ
事実17: 恙無い物は想像し易くないとしたらそれは思わしくない
事実18: もしもあのペンチが二週間以内であるとすればこのコテッジはカミングアウトでないかもしくはそれは冠しないかどちらもだ

仮説: 「もしその不安・不穏・興奮が想像し易くないとすればこのコテッジは恙無くないかもしくはそれは中支でない」ということは間違いである
1. 仮定1: 以下のように仮定する。その不安・不穏・興奮は想像し易くない
2. 事実2と仮定1から、推論1: "「あのネット架は思わしくてさらにそれは取捨選択出来る」ということは偽である"が導かれる
3. 推論1と事実15から、推論2: "このコテッジは恙無くない"が導かれる
4. 推論2から、推論3: "このコテッジは恙無くないか中支でないかまたはどちらもだ"が導かれる
5. [仮定1]と推論3から、仮説が否定される

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