「「あの版形は記述出来るし反らす」ということは真実だ」ということは誤りである
fact1: この未整理は打っちゃるないとすると「島酒でないけど現物出資する」ということは誤りだ fact2: 「この未整理は食い止めるしかつフランス革命政府だ」ということは間違っている fact3: 仮に「この未整理は現物出資する」ということは成り立つとしたら反らすということはない fact4: 「この未整理は島酒でない一方でそれは現物出資する」ということは誤っている fact5: 仮にこの未整理は打っちゃるないなら「それは島酒でないしそれに現物出資しない」ということは嘘だ fact6: 「あの五十〜五十二年度版は打っちゃるないししかも物寂しくない」ということは誤っている fact7: 仮にあの版形は反らさないとすると「この未整理は記述出来るし加えて反らす」ということは間違いである fact8: あの版形が日影でないならば記述出来るし加えて平面上である fact9: もしこの未整理は反らさないとしたら「あの版形は記述出来るし反らす」ということは誤っている fact10: この三十年史は打っちゃるない fact11: この未整理は打っちゃるない fact12: もしこの未整理が打っちゃるなら記述出来ない fact13: その手立ては記述出来ない fact14: もしも「何らかの物は島酒でなくて現物出資するということはない」ということは確かでないとすると反らさない
fact14 -> int1: 「この未整理は島酒であるということはなくて現物出資しない」ということは嘘だとしたらそれは反らすということはない; fact11 & fact5 -> int2: 「この未整理は島酒でなくておまけにそれは現物出資するということはない」ということは間違っている; int1 & int2 -> int3: この未整理は反らさない; int3 & fact9 -> hypothesis;
あの版形は記述出来るしそれは反らす
$facts$ = fact1: この未整理は打っちゃるないとすると「島酒でないけど現物出資する」ということは誤りだ fact2: 「この未整理は食い止めるしかつフランス革命政府だ」ということは間違っている fact3: 仮に「この未整理は現物出資する」ということは成り立つとしたら反らすということはない fact4: 「この未整理は島酒でない一方でそれは現物出資する」ということは誤っている fact5: 仮にこの未整理は打っちゃるないなら「それは島酒でないしそれに現物出資しない」ということは嘘だ fact6: 「あの五十〜五十二年度版は打っちゃるないししかも物寂しくない」ということは誤っている fact7: 仮にあの版形は反らさないとすると「この未整理は記述出来るし加えて反らす」ということは間違いである fact8: あの版形が日影でないならば記述出来るし加えて平面上である fact9: もしこの未整理は反らさないとしたら「あの版形は記述出来るし反らす」ということは誤っている fact10: この三十年史は打っちゃるない fact11: この未整理は打っちゃるない fact12: もしこの未整理が打っちゃるなら記述出来ない fact13: その手立ては記述出来ない fact14: もしも「何らかの物は島酒でなくて現物出資するということはない」ということは確かでないとすると反らさない ; $hypothesis$ = 「「あの版形は記述出来るし反らす」ということは真実だ」ということは誤りである ; $proof$ = 
fact14 -> int1: 「この未整理は島酒であるということはなくて現物出資しない」ということは嘘だとしたらそれは反らすということはない; fact11 & fact5 -> int2: 「この未整理は島酒でなくておまけにそれは現物出資するということはない」ということは間違っている; int1 & int2 -> int3: この未整理は反らさない; int3 & fact9 -> hypothesis; __PROVED__
事実1: この未整理は打っちゃるないとすると「島酒でないけど現物出資する」ということは誤りだ
事実2: 「この未整理は食い止めるしかつフランス革命政府だ」ということは間違っている
事実3: 仮に「この未整理は現物出資する」ということは成り立つとしたら反らすということはない
事実4: 「この未整理は島酒でない一方でそれは現物出資する」ということは誤っている
事実5: 仮にこの未整理は打っちゃるないなら「それは島酒でないしそれに現物出資しない」ということは嘘だ
事実6: 「あの五十〜五十二年度版は打っちゃるないししかも物寂しくない」ということは誤っている
事実7: 仮にあの版形は反らさないとすると「この未整理は記述出来るし加えて反らす」ということは間違いである
事実8: あの版形が日影でないならば記述出来るし加えて平面上である
事実9: もしこの未整理は反らさないとしたら「あの版形は記述出来るし反らす」ということは誤っている
事実10: この三十年史は打っちゃるない
事実11: この未整理は打っちゃるない
事実12: もしこの未整理が打っちゃるなら記述出来ない
事実13: その手立ては記述出来ない
事実14: もしも「何らかの物は島酒でなくて現物出資するということはない」ということは確かでないとすると反らさない

仮説: 「「あの版形は記述出来るし反らす」ということは真実だ」ということは誤りである
1. 事実14から、推論1: "「この未整理は島酒であるということはなくて現物出資しない」ということは嘘だとしたらそれは反らすということはない"が導かれる
2. 事実11と事実5から、推論2: "「この未整理は島酒でなくておまけにそれは現物出資するということはない」ということは間違っている"が導かれる
3. 推論1と推論2から、推論3: "この未整理は反らさない"が導かれる
4. 推論3と事実9から、仮説が導かれる

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