あの旗艦は気触れる
fact1: あの旗艦は防ぐということはない fact2: あのサポートは表わし為さる fact3: もし仮になにかは気触れるとすれば「それは引き立て役でないけれど危なっかしい」ということは誤っている fact4: そのセダンは表わし為さるとすると「あの旗艦は防がないがしかしそれは排撃する」ということは間違いだ fact5: あの旗艦が気触れるとしたらそれは防がない fact6: 仮になんらかのものがちょろいとすればあのバットは気触れるし更に表わし為さる fact7: そのセダンは表わし為さるとしたら「あの旗艦は防ぐし排撃する」ということは誤っている fact8: 「あの旗艦は防ぐし排撃する」ということは成り立たない fact9: もし仮に「表わし為さる」物はあるとすれば「そのセダンは気触れないがしかしそれはちょろい」ということは成り立たない fact10: もし仮に「あの旗艦は気触れる」ということは本当であるとすればそれは防がないしまた排撃する fact11: もしもなんらかの物が表わし為さるとしたら気触れる fact12: そのセダンは表わし為さる fact13: あの旗艦は細かくないがしかし息苦しい fact14: ちょろいものは表わし為さる fact15: もし仮に「あの旗艦は表わし為さる」ということは確かならば「そのセダンは気触れないけれど排撃する」ということは成り立たない fact16: もしも「とあるものは財務・会計管理でない」ということは正しいとすると「表わし為さるしその上ＴＨワンだ」ということは確かである fact17: もし「あの旗艦は財務・会計管理でそれは物狂おしい」ということは偽であるとすれば「それは財務・会計管理でない」ということは嘘でない fact18: もしもなにかは財務・会計管理でないとしたらちょろくてそれにそれはＴＨワンだ fact19: 仮にあの旗艦が表わし為されば排撃する fact20: その管弦は防がない fact21: 仮にそのセダンは防ぐなら「「あの旗艦は排撃するということはないけれど表わし為さる」ということは成り立つということはない」ということは正しい
void -> assump1: 以下のように仮定する。あの旗艦は気触れる; fact10 & assump1 -> int1: あの旗艦は防がない一方で排撃する; fact12 & fact4 -> int2: 「あの旗艦は防がない一方で排撃する」ということは成り立たない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
あの旗艦は気触れる
fact23 -> int4: あの制癌剤が財務・会計管理でないとすればそれは表わし為さるしそれはＴＨワンだ;
$facts$ = fact1: あの旗艦は防ぐということはない fact2: あのサポートは表わし為さる fact3: もし仮になにかは気触れるとすれば「それは引き立て役でないけれど危なっかしい」ということは誤っている fact4: そのセダンは表わし為さるとすると「あの旗艦は防がないがしかしそれは排撃する」ということは間違いだ fact5: あの旗艦が気触れるとしたらそれは防がない fact6: 仮になんらかのものがちょろいとすればあのバットは気触れるし更に表わし為さる fact7: そのセダンは表わし為さるとしたら「あの旗艦は防ぐし排撃する」ということは誤っている fact8: 「あの旗艦は防ぐし排撃する」ということは成り立たない fact9: もし仮に「表わし為さる」物はあるとすれば「そのセダンは気触れないがしかしそれはちょろい」ということは成り立たない fact10: もし仮に「あの旗艦は気触れる」ということは本当であるとすればそれは防がないしまた排撃する fact11: もしもなんらかの物が表わし為さるとしたら気触れる fact12: そのセダンは表わし為さる fact13: あの旗艦は細かくないがしかし息苦しい fact14: ちょろいものは表わし為さる fact15: もし仮に「あの旗艦は表わし為さる」ということは確かならば「そのセダンは気触れないけれど排撃する」ということは成り立たない fact16: もしも「とあるものは財務・会計管理でない」ということは正しいとすると「表わし為さるしその上ＴＨワンだ」ということは確かである fact17: もし「あの旗艦は財務・会計管理でそれは物狂おしい」ということは偽であるとすれば「それは財務・会計管理でない」ということは嘘でない fact18: もしもなにかは財務・会計管理でないとしたらちょろくてそれにそれはＴＨワンだ fact19: 仮にあの旗艦が表わし為されば排撃する fact20: その管弦は防がない fact21: 仮にそのセダンは防ぐなら「「あの旗艦は排撃するということはないけれど表わし為さる」ということは成り立つということはない」ということは正しい ; $hypothesis$ = あの旗艦は気触れる ; $proof$ = 
void -> assump1: 以下のように仮定する。あの旗艦は気触れる; fact10 & assump1 -> int1: あの旗艦は防がない一方で排撃する; fact12 & fact4 -> int2: 「あの旗艦は防がない一方で排撃する」ということは成り立たない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
事実1: あの旗艦は防ぐということはない
事実2: あのサポートは表わし為さる
事実3: もし仮になにかは気触れるとすれば「それは引き立て役でないけれど危なっかしい」ということは誤っている
事実4: そのセダンは表わし為さるとすると「あの旗艦は防がないがしかしそれは排撃する」ということは間違いだ
事実5: あの旗艦が気触れるとしたらそれは防がない
事実6: 仮になんらかのものがちょろいとすればあのバットは気触れるし更に表わし為さる
事実7: そのセダンは表わし為さるとしたら「あの旗艦は防ぐし排撃する」ということは誤っている
事実8: 「あの旗艦は防ぐし排撃する」ということは成り立たない
事実9: もし仮に「表わし為さる」物はあるとすれば「そのセダンは気触れないがしかしそれはちょろい」ということは成り立たない
事実10: もし仮に「あの旗艦は気触れる」ということは本当であるとすればそれは防がないしまた排撃する
事実11: もしもなんらかの物が表わし為さるとしたら気触れる
事実12: そのセダンは表わし為さる
事実13: あの旗艦は細かくないがしかし息苦しい
事実14: ちょろいものは表わし為さる
事実15: もし仮に「あの旗艦は表わし為さる」ということは確かならば「そのセダンは気触れないけれど排撃する」ということは成り立たない
事実16: もしも「とあるものは財務・会計管理でない」ということは正しいとすると「表わし為さるしその上ＴＨワンだ」ということは確かである
事実17: もし「あの旗艦は財務・会計管理でそれは物狂おしい」ということは偽であるとすれば「それは財務・会計管理でない」ということは嘘でない
事実18: もしもなにかは財務・会計管理でないとしたらちょろくてそれにそれはＴＨワンだ
事実19: 仮にあの旗艦が表わし為されば排撃する
事実20: その管弦は防がない
事実21: 仮にそのセダンは防ぐなら「「あの旗艦は排撃するということはないけれど表わし為さる」ということは成り立つということはない」ということは正しい

仮説: あの旗艦は気触れる
1. 仮定1: 以下のように仮定する。あの旗艦は気触れる
2. 事実10と仮定1から、推論1: "あの旗艦は防がない一方で排撃する"が導かれる
3. 事実12と事実4から、推論2: "「あの旗艦は防がない一方で排撃する」ということは成り立たない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が否定される

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