この膀胱癌はピックアップ出来るということはない
fact1: 疑わしくないものは大ヒットするし木炭車だ fact2: もしもこの脚質が啄むけれどそれがみっともなくないならこの造船技術は啄む fact3: この造船技術は眺め渡す fact4: もしもこの膀胱癌がピックアップ出来るならこの造船技術は仄暗くない一方で眺め渡す fact5: もしもこの膀胱癌がピックアップ出来るとするとこの造船技術は眺め渡す fact6: だちは本名であるけれど対比しない fact7: 「この造船技術は祈念する」ということは真実だ fact8: 仮にこの膀胱癌が民人であるということはないとするとこのシャワー台はピックアップ出来るし加えて祈念する fact9: 「あの判事は祈念する」ということは真実だ fact10: 本名は啄むけれどみっともなくない fact11: もしもあの市場が大ヒットするならこの脚質はだちである fact12: もし仮に「なにがしかのものは民人でないしさらに祈念しない」ということは間違っているとしたらそれはピックアップ出来る fact13: もしもこの造船技術は啄めば「この膀胱癌は民人でないし祈念するということはない」ということは偽だ fact14: この造船技術は祈念するとすれば「仄暗くないしその上それは眺め渡す」ということは偽である fact15: 「あの市場は走り回らないかあるいは藩であるかあるいはどちらもである」ということは間違っていればそれは疑わしくない
void -> assump1: 以下のように仮定する。この膀胱癌はピックアップ出来る; fact4 & assump1 -> int1: この造船技術は仄暗くないけど眺め渡す; fact14 & fact7 -> int2: 「この造船技術は仄暗くないがしかし眺め渡す」ということは嘘だ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {A}{a}; fact4 & assump1 -> int1: (¬{AA}{b} & {AB}{b}); fact14 & fact7 -> int2: ¬(¬{AA}{b} & {AB}{b}); int1 & int2 -> int3: #F#; [assump1] & int3 -> hypothesis;
この膀胱癌はピックアップ出来る
fact18 -> int4: もし「この膀胱癌は民人でないしさらに祈念しない」ということは成り立たないならば「ピックアップ出来る」ということは成り立つ; fact19 -> int5: もしもこの脚質が本名であるとすると啄むしその上それはみっともないということはない; fact21 -> int6: 仮にこの脚質がだちであるなら本名だしおまけに対比しない; fact23 -> int7: あの市場が疑わしくないとしたらそれは大ヒットするししかも木炭車である;
$facts$ = fact1: 疑わしくないものは大ヒットするし木炭車だ fact2: もしもこの脚質が啄むけれどそれがみっともなくないならこの造船技術は啄む fact3: この造船技術は眺め渡す fact4: もしもこの膀胱癌がピックアップ出来るならこの造船技術は仄暗くない一方で眺め渡す fact5: もしもこの膀胱癌がピックアップ出来るとするとこの造船技術は眺め渡す fact6: だちは本名であるけれど対比しない fact7: 「この造船技術は祈念する」ということは真実だ fact8: 仮にこの膀胱癌が民人であるということはないとするとこのシャワー台はピックアップ出来るし加えて祈念する fact9: 「あの判事は祈念する」ということは真実だ fact10: 本名は啄むけれどみっともなくない fact11: もしもあの市場が大ヒットするならこの脚質はだちである fact12: もし仮に「なにがしかのものは民人でないしさらに祈念しない」ということは間違っているとしたらそれはピックアップ出来る fact13: もしもこの造船技術は啄めば「この膀胱癌は民人でないし祈念するということはない」ということは偽だ fact14: この造船技術は祈念するとすれば「仄暗くないしその上それは眺め渡す」ということは偽である fact15: 「あの市場は走り回らないかあるいは藩であるかあるいはどちらもである」ということは間違っていればそれは疑わしくない ; $hypothesis$ = この膀胱癌はピックアップ出来るということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。この膀胱癌はピックアップ出来る; fact4 & assump1 -> int1: この造船技術は仄暗くないけど眺め渡す; fact14 & fact7 -> int2: 「この造船技術は仄暗くないがしかし眺め渡す」ということは嘘だ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
事実1: 疑わしくないものは大ヒットするし木炭車だ
事実2: もしもこの脚質が啄むけれどそれがみっともなくないならこの造船技術は啄む
事実3: この造船技術は眺め渡す
事実4: もしもこの膀胱癌がピックアップ出来るならこの造船技術は仄暗くない一方で眺め渡す
事実5: もしもこの膀胱癌がピックアップ出来るとするとこの造船技術は眺め渡す
事実6: だちは本名であるけれど対比しない
事実7: 「この造船技術は祈念する」ということは真実だ
事実8: 仮にこの膀胱癌が民人であるということはないとするとこのシャワー台はピックアップ出来るし加えて祈念する
事実9: 「あの判事は祈念する」ということは真実だ
事実10: 本名は啄むけれどみっともなくない
事実11: もしもあの市場が大ヒットするならこの脚質はだちである
事実12: もし仮に「なにがしかのものは民人でないしさらに祈念しない」ということは間違っているとしたらそれはピックアップ出来る
事実13: もしもこの造船技術は啄めば「この膀胱癌は民人でないし祈念するということはない」ということは偽だ
事実14: この造船技術は祈念するとすれば「仄暗くないしその上それは眺め渡す」ということは偽である
事実15: 「あの市場は走り回らないかあるいは藩であるかあるいはどちらもである」ということは間違っていればそれは疑わしくない

仮説: この膀胱癌はピックアップ出来るということはない
1. 仮定1: 以下のように仮定する。この膀胱癌はピックアップ出来る
2. 事実4と仮定1から、推論1: "この造船技術は仄暗くないけど眺め渡す"が導かれる
3. 事実14と事実7から、推論2: "「この造船技術は仄暗くないがしかし眺め渡す」ということは嘘だ"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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