「あの上記基準は間違い無いし怯む」ということは偽だ
fact1: もし仮に「あの十発は呆気なくない」ということは真実ならば失格するということはない fact2: 仮に「その他者存在は怯まない」ということは正しいとするとあの上記基準は間違い無くて加えて怯む fact3: もし仮にあの一歩外は汚らしいしその上使い為さるとすれば「スケッチしない」ということは成り立つ fact4: もしもあの十発が間違い無いとしたらしおらしいということはない fact5: もしなんらかのものがスケッチするということはないとすれば商業誌でない fact6: あの一歩外は汚らしくてさらに使い為さる fact7: もしもあの一歩外が怯まないならば汚らしいということはない fact8: もし「出発時刻であるかあるいは商業誌でない」ものがあるならばあの十発はしおらしい fact9: その他者存在は手慣れる fact10: その他者存在は出発時刻でないとしたら「あの十発は商業誌でなくてそれはスケッチしない」ということは成り立たない fact11: もしある物が商業誌だとしたらそれは間違い無い fact12: もしもあの十発はしおらしいとすると「その他者存在はしおらしくなくてそれにそうしない」ということは間違いだ fact13: もし「何らかの物はしおらしくないしまたそうするということはない」ということは誤りだとすれば怯むということはない fact14: もしもあの一歩外が使い為さらないとしたらその他者存在は商業誌だ
fact3 & fact6 -> int1: あの一歩外はスケッチしない; fact5 -> int2: 「あの一歩外はスケッチしない」ということは正しいとしたらそれは商業誌でない; int1 & int2 -> int3: あの一歩外は商業誌だということはない; int3 -> int4: あの一歩外は出発時刻であるかまたは商業誌でないかどちらもだ; int4 -> int5: なにがしかの物は出発時刻であるかもしくは商業誌だということはないか両方である; int5 & fact8 -> int6: 「あの十発はしおらしい」ということは真実である; int6 & fact12 -> int7: 「その他者存在はしおらしくなくてそうしない」ということは成り立たない; fact13 -> int8: もし「その他者存在はしおらしいということはなくてそうするということはない」ということは真実でないならば「怯まない」ということは正しい; int7 & int8 -> int9: 「その他者存在は怯まない」ということは間違っていない; int9 & fact2 -> hypothesis;
あの一歩外は間違い無いかまたは太いということはないかもしくは両方ともだ
fact15 -> int10: 仮にあの一歩外が商業誌だとしたら間違い無い;
$facts$ = fact1: もし仮に「あの十発は呆気なくない」ということは真実ならば失格するということはない fact2: 仮に「その他者存在は怯まない」ということは正しいとするとあの上記基準は間違い無くて加えて怯む fact3: もし仮にあの一歩外は汚らしいしその上使い為さるとすれば「スケッチしない」ということは成り立つ fact4: もしもあの十発が間違い無いとしたらしおらしいということはない fact5: もしなんらかのものがスケッチするということはないとすれば商業誌でない fact6: あの一歩外は汚らしくてさらに使い為さる fact7: もしもあの一歩外が怯まないならば汚らしいということはない fact8: もし「出発時刻であるかあるいは商業誌でない」ものがあるならばあの十発はしおらしい fact9: その他者存在は手慣れる fact10: その他者存在は出発時刻でないとしたら「あの十発は商業誌でなくてそれはスケッチしない」ということは成り立たない fact11: もしある物が商業誌だとしたらそれは間違い無い fact12: もしもあの十発はしおらしいとすると「その他者存在はしおらしくなくてそれにそうしない」ということは間違いだ fact13: もし「何らかの物はしおらしくないしまたそうするということはない」ということは誤りだとすれば怯むということはない fact14: もしもあの一歩外が使い為さらないとしたらその他者存在は商業誌だ ; $hypothesis$ = 「あの上記基準は間違い無いし怯む」ということは偽だ ; $proof$ = 
fact3 & fact6 -> int1: あの一歩外はスケッチしない; fact5 -> int2: 「あの一歩外はスケッチしない」ということは正しいとしたらそれは商業誌でない; int1 & int2 -> int3: あの一歩外は商業誌だということはない; int3 -> int4: あの一歩外は出発時刻であるかまたは商業誌でないかどちらもだ; int4 -> int5: なにがしかの物は出発時刻であるかもしくは商業誌だということはないか両方である; int5 & fact8 -> int6: 「あの十発はしおらしい」ということは真実である; int6 & fact12 -> int7: 「その他者存在はしおらしくなくてそうしない」ということは成り立たない; fact13 -> int8: もし「その他者存在はしおらしいということはなくてそうするということはない」ということは真実でないならば「怯まない」ということは正しい; int7 & int8 -> int9: 「その他者存在は怯まない」ということは間違っていない; int9 & fact2 -> hypothesis; __DISPROVED__
事実1: もし仮に「あの十発は呆気なくない」ということは真実ならば失格するということはない
事実2: 仮に「その他者存在は怯まない」ということは正しいとするとあの上記基準は間違い無くて加えて怯む
事実3: もし仮にあの一歩外は汚らしいしその上使い為さるとすれば「スケッチしない」ということは成り立つ
事実4: もしもあの十発が間違い無いとしたらしおらしいということはない
事実5: もしなんらかのものがスケッチするということはないとすれば商業誌でない
事実6: あの一歩外は汚らしくてさらに使い為さる
事実7: もしもあの一歩外が怯まないならば汚らしいということはない
事実8: もし「出発時刻であるかあるいは商業誌でない」ものがあるならばあの十発はしおらしい
事実9: その他者存在は手慣れる
事実10: その他者存在は出発時刻でないとしたら「あの十発は商業誌でなくてそれはスケッチしない」ということは成り立たない
事実11: もしある物が商業誌だとしたらそれは間違い無い
事実12: もしもあの十発はしおらしいとすると「その他者存在はしおらしくなくてそれにそうしない」ということは間違いだ
事実13: もし「何らかの物はしおらしくないしまたそうするということはない」ということは誤りだとすれば怯むということはない
事実14: もしもあの一歩外が使い為さらないとしたらその他者存在は商業誌だ

仮説: 「あの上記基準は間違い無いし怯む」ということは偽だ
1. 事実3と事実6から、推論1: "あの一歩外はスケッチしない"が導かれる
2. 事実5から、推論2: "「あの一歩外はスケッチしない」ということは正しいとしたらそれは商業誌でない"が導かれる
3. 推論1と推論2から、推論3: "あの一歩外は商業誌だということはない"が導かれる
4. 推論3から、推論4: "あの一歩外は出発時刻であるかまたは商業誌でないかどちらもだ"が導かれる
5. 推論4から、推論5: "なにがしかの物は出発時刻であるかもしくは商業誌だということはないか両方である"が導かれる
6. 推論5と事実8から、推論6: "「あの十発はしおらしい」ということは真実である"が導かれる
7. 推論6と事実12から、推論7: "「その他者存在はしおらしくなくてそうしない」ということは成り立たない"が導かれる
8. 事実13から、推論8: "もし「その他者存在はしおらしいということはなくてそうするということはない」ということは真実でないならば「怯まない」ということは正しい"が導かれる
9. 推論7と推論8から、推論9: "「その他者存在は怯まない」ということは間違っていない"が導かれる
10. 推論9と事実2から、仮説が否定される

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