この急性白血病は変換しない
fact1: この急性白血病は甚だし fact2: もし何らかのものは見通さないならば「シングルカムであるし障害持ちだ」ということは間違いである fact3: その四百十二Ｔツーが甚だしとしたらこの急性白血病は変換する fact4: この四Ｐ橋脚はすこい fact5: この急性白血病が生まれ難いかあるいはそれは航空部隊であるか両方ともであるとすると「変換しない」ということは成り立つ fact6: 生まれ難くないものは欧米先進諸国であるということはないけれど乗り込める fact7: 仮に「「シングルカムだしかつ障害持ちである」ということは成り立たない」ものがあるとするとそのデバイスドライバは発症し易くない fact8: もし仮にこのブリトラは副流煙でないとすれば「この在宅生活者はマーケティング戦略であるし太り難い」ということは成り立たない fact9: 仮にとある物が購入費用であるか遅れ易いか両方ともだとすればそれは見通さない fact10: もし仮に何かは航空部隊であるが救済しないとすると生まれ難くない fact11: もしもこの四Ｐ橋脚がすこいならばそれは購入費用である fact12: あの免職がマーケティング戦略でないとするとその四百十二Ｔツーは航空部隊であるけどそれは救済しない fact13: 「この急性白血病は戯けでないがしかし乗り込める」ということは偽だとすると甚だしということはない fact14: 仮になんらかの物が戯けだということはない一方で乗り込めるとするとそれは生まれ難い fact15: 「この在宅生活者はマーケティング戦略でおまけに太り難い」ということは成り立たないとしたらあの免職はマーケティング戦略でない fact16: もし何らかのものは発症し易くないとすれば「書くし加えて副流煙である」ということは成り立たない fact17: もしも「「書くし更に副流煙である」ということは成り立たない」ものがあるならばあのブリトラは副流煙でない fact18: 生まれ難くない物は甚だしか変換する fact19: あの満開は変換しない
void -> assump1: 以下のように仮定する。「この急性白血病は戯けであるということはないけど乗り込める」ということは成り立たない; fact13 & assump1 -> int1: この急性白血病は甚だしない; int1 & fact1 -> int2: これは矛盾である; [assump1] & int2 -> int3: この急性白血病は戯けでないがしかし乗り込める; fact14 -> int4: 仮にこの急性白血病は戯けでないけど乗り込めるとすれば生まれ難い; int3 & int4 -> int5: この急性白血病は生まれ難い; int5 -> int6: この急性白血病は生まれ難いか航空部隊であるかもしくは両方ともだ; int6 & fact5 -> hypothesis;
この急性白血病は欧米先進諸国でない一方で乗り込める
fact20 -> int7: もし仮にこの急性白血病は生まれ難くないとすると「欧米先進諸国でないしそれは乗り込める」ということは正しい;
$facts$ = fact1: この急性白血病は甚だし fact2: もし何らかのものは見通さないならば「シングルカムであるし障害持ちだ」ということは間違いである fact3: その四百十二Ｔツーが甚だしとしたらこの急性白血病は変換する fact4: この四Ｐ橋脚はすこい fact5: この急性白血病が生まれ難いかあるいはそれは航空部隊であるか両方ともであるとすると「変換しない」ということは成り立つ fact6: 生まれ難くないものは欧米先進諸国であるということはないけれど乗り込める fact7: 仮に「「シングルカムだしかつ障害持ちである」ということは成り立たない」ものがあるとするとそのデバイスドライバは発症し易くない fact8: もし仮にこのブリトラは副流煙でないとすれば「この在宅生活者はマーケティング戦略であるし太り難い」ということは成り立たない fact9: 仮にとある物が購入費用であるか遅れ易いか両方ともだとすればそれは見通さない fact10: もし仮に何かは航空部隊であるが救済しないとすると生まれ難くない fact11: もしもこの四Ｐ橋脚がすこいならばそれは購入費用である fact12: あの免職がマーケティング戦略でないとするとその四百十二Ｔツーは航空部隊であるけどそれは救済しない fact13: 「この急性白血病は戯けでないがしかし乗り込める」ということは偽だとすると甚だしということはない fact14: 仮になんらかの物が戯けだということはない一方で乗り込めるとするとそれは生まれ難い fact15: 「この在宅生活者はマーケティング戦略でおまけに太り難い」ということは成り立たないとしたらあの免職はマーケティング戦略でない fact16: もし何らかのものは発症し易くないとすれば「書くし加えて副流煙である」ということは成り立たない fact17: もしも「「書くし更に副流煙である」ということは成り立たない」ものがあるならばあのブリトラは副流煙でない fact18: 生まれ難くない物は甚だしか変換する fact19: あの満開は変換しない ; $hypothesis$ = この急性白血病は変換しない ; $proof$ = 
void -> assump1: 以下のように仮定する。「この急性白血病は戯けであるということはないけど乗り込める」ということは成り立たない; fact13 & assump1 -> int1: この急性白血病は甚だしない; int1 & fact1 -> int2: これは矛盾である; [assump1] & int2 -> int3: この急性白血病は戯けでないがしかし乗り込める; fact14 -> int4: 仮にこの急性白血病は戯けでないけど乗り込めるとすれば生まれ難い; int3 & int4 -> int5: この急性白血病は生まれ難い; int5 -> int6: この急性白血病は生まれ難いか航空部隊であるかもしくは両方ともだ; int6 & fact5 -> hypothesis; __PROVED__
事実1: この急性白血病は甚だし
事実2: もし何らかのものは見通さないならば「シングルカムであるし障害持ちだ」ということは間違いである
事実3: その四百十二Ｔツーが甚だしとしたらこの急性白血病は変換する
事実4: この四Ｐ橋脚はすこい
事実5: この急性白血病が生まれ難いかあるいはそれは航空部隊であるか両方ともであるとすると「変換しない」ということは成り立つ
事実6: 生まれ難くないものは欧米先進諸国であるということはないけれど乗り込める
事実7: 仮に「「シングルカムだしかつ障害持ちである」ということは成り立たない」ものがあるとするとそのデバイスドライバは発症し易くない
事実8: もし仮にこのブリトラは副流煙でないとすれば「この在宅生活者はマーケティング戦略であるし太り難い」ということは成り立たない
事実9: 仮にとある物が購入費用であるか遅れ易いか両方ともだとすればそれは見通さない
事実10: もし仮に何かは航空部隊であるが救済しないとすると生まれ難くない
事実11: もしもこの四Ｐ橋脚がすこいならばそれは購入費用である
事実12: あの免職がマーケティング戦略でないとするとその四百十二Ｔツーは航空部隊であるけどそれは救済しない
事実13: 「この急性白血病は戯けでないがしかし乗り込める」ということは偽だとすると甚だしということはない
事実14: 仮になんらかの物が戯けだということはない一方で乗り込めるとするとそれは生まれ難い
事実15: 「この在宅生活者はマーケティング戦略でおまけに太り難い」ということは成り立たないとしたらあの免職はマーケティング戦略でない
事実16: もし何らかのものは発症し易くないとすれば「書くし加えて副流煙である」ということは成り立たない
事実17: もしも「「書くし更に副流煙である」ということは成り立たない」ものがあるならばあのブリトラは副流煙でない
事実18: 生まれ難くない物は甚だしか変換する
事実19: あの満開は変換しない

仮説: この急性白血病は変換しない
1. 仮定1: 以下のように仮定する。「この急性白血病は戯けであるということはないけど乗り込める」ということは成り立たない
2. 事実13と仮定1から、推論1: "この急性白血病は甚だしない"が導かれる
3. 推論1と事実1から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "この急性白血病は戯けでないがしかし乗り込める"が導かれる
5. 事実14から、推論4: "仮にこの急性白血病は戯けでないけど乗り込めるとすれば生まれ難い"が導かれる
6. 推論3と推論4から、推論5: "この急性白血病は生まれ難い"が導かれる
7. 推論5から、推論6: "この急性白血病は生まれ難いか航空部隊であるかもしくは両方ともだ"が導かれる
8. 推論6と事実5から、仮説が導かれる

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