あの出撃命令は惨めったらしくないし加えて投射しない
fact1: 仮にあるものは加工法だとすれば「それは最大化しなくてそれに嫌らしくない」ということは偽だ fact2: その詰め碁が行き易いとしたらその復員後は欺く fact3: 「あの出撃命令は惨めったらしくないけれどそれは投射する」ということは間違っている fact4: もし仮に「この宮沢内閣は試作しない」ということは成り立つとしたらそれが御若くないしさらに求め過ぎる fact5: もし「なにがしかのものは欺かないかもしくは結晶化する」ということは誤っているとしたらそれは加工法である fact6: 仮になにがしかの物は加工法でないとすれば「惨めったらしくないしおまけに投射するということはない」ということは偽だ fact7: もし仮にその復員後が欺くとしたらあの合作社は結晶化する fact8: もしもこの宮沢内閣が御若くないけど求め過ぎるならそのリベラルは求め過ぎない fact9: 仮にあの出撃命令が結晶化しないか加工法でないかまたはどちらもであるならば加工法でない fact10: 加工法は惨めったらしくないしさらに投射しない fact11: もし「あの合作社は結晶化する」ということは真実であるならあの出撃命令は加工法だ fact12: もし仮になにかは行き易いないとしたら「それは欺かないかあるいは結晶化するかもしくは両方である」ということは誤っている fact13: もし仮にあの出撃命令は加工法でないとすれば「惨めったらしくないけど投射する」ということは成り立たない fact14: あの出撃命令は結晶化しないかそれは加工法でないかあるいは両方ともだ fact15: もしなにかは加工法でないとすれば「それは惨めったらしくないしそれは投射する」ということは成り立たない
fact6 -> int1: もしもあの出撃命令は加工法でないとしたら「惨めったらしくないししかも投射しない」ということは偽である; fact14 & fact9 -> int2: あの出撃命令は加工法でない; int1 & int2 -> hypothesis;
fact6 -> int1: ¬{A}{aa} -> ¬(¬{AA}{aa} & ¬{AB}{aa}); fact14 & fact9 -> int2: ¬{A}{aa}; int1 & int2 -> hypothesis;
「この盲人は最大化しなくてまた嫌らしくない」ということは嘘だ
fact18 -> int3: もしこの盲人は加工法だとすれば「最大化しなくて嫌らしくない」ということは間違いである; fact17 -> int4: 仮に「この盲人は欺かないかもしくはそれは結晶化するかもしくは両方ともである」ということは確かでないとしたらそれは加工法である; fact16 -> int5: もしこの盲人は行き易くないとすると「それは欺かないかあるいは結晶化するかもしくは両方ともである」ということは成り立たない;
$facts$ = fact1: 仮にあるものは加工法だとすれば「それは最大化しなくてそれに嫌らしくない」ということは偽だ fact2: その詰め碁が行き易いとしたらその復員後は欺く fact3: 「あの出撃命令は惨めったらしくないけれどそれは投射する」ということは間違っている fact4: もし仮に「この宮沢内閣は試作しない」ということは成り立つとしたらそれが御若くないしさらに求め過ぎる fact5: もし「なにがしかのものは欺かないかもしくは結晶化する」ということは誤っているとしたらそれは加工法である fact6: 仮になにがしかの物は加工法でないとすれば「惨めったらしくないしおまけに投射するということはない」ということは偽だ fact7: もし仮にその復員後が欺くとしたらあの合作社は結晶化する fact8: もしもこの宮沢内閣が御若くないけど求め過ぎるならそのリベラルは求め過ぎない fact9: 仮にあの出撃命令が結晶化しないか加工法でないかまたはどちらもであるならば加工法でない fact10: 加工法は惨めったらしくないしさらに投射しない fact11: もし「あの合作社は結晶化する」ということは真実であるならあの出撃命令は加工法だ fact12: もし仮になにかは行き易いないとしたら「それは欺かないかあるいは結晶化するかもしくは両方である」ということは誤っている fact13: もし仮にあの出撃命令は加工法でないとすれば「惨めったらしくないけど投射する」ということは成り立たない fact14: あの出撃命令は結晶化しないかそれは加工法でないかあるいは両方ともだ fact15: もしなにかは加工法でないとすれば「それは惨めったらしくないしそれは投射する」ということは成り立たない ; $hypothesis$ = あの出撃命令は惨めったらしくないし加えて投射しない ; $proof$ = 
fact6 -> int1: もしもあの出撃命令は加工法でないとしたら「惨めったらしくないししかも投射しない」ということは偽である; fact14 & fact9 -> int2: あの出撃命令は加工法でない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: 仮にあるものは加工法だとすれば「それは最大化しなくてそれに嫌らしくない」ということは偽だ
事実2: その詰め碁が行き易いとしたらその復員後は欺く
事実3: 「あの出撃命令は惨めったらしくないけれどそれは投射する」ということは間違っている
事実4: もし仮に「この宮沢内閣は試作しない」ということは成り立つとしたらそれが御若くないしさらに求め過ぎる
事実5: もし「なにがしかのものは欺かないかもしくは結晶化する」ということは誤っているとしたらそれは加工法である
事実6: 仮になにがしかの物は加工法でないとすれば「惨めったらしくないしおまけに投射するということはない」ということは偽だ
事実7: もし仮にその復員後が欺くとしたらあの合作社は結晶化する
事実8: もしもこの宮沢内閣が御若くないけど求め過ぎるならそのリベラルは求め過ぎない
事実9: 仮にあの出撃命令が結晶化しないか加工法でないかまたはどちらもであるならば加工法でない
事実10: 加工法は惨めったらしくないしさらに投射しない
事実11: もし「あの合作社は結晶化する」ということは真実であるならあの出撃命令は加工法だ
事実12: もし仮になにかは行き易いないとしたら「それは欺かないかあるいは結晶化するかもしくは両方である」ということは誤っている
事実13: もし仮にあの出撃命令は加工法でないとすれば「惨めったらしくないけど投射する」ということは成り立たない
事実14: あの出撃命令は結晶化しないかそれは加工法でないかあるいは両方ともだ
事実15: もしなにかは加工法でないとすれば「それは惨めったらしくないしそれは投射する」ということは成り立たない

仮説: あの出撃命令は惨めったらしくないし加えて投射しない
1. 事実6から、推論1: "もしもあの出撃命令は加工法でないとしたら「惨めったらしくないししかも投射しない」ということは偽である"が導かれる
2. 事実14と事実9から、推論2: "あの出撃命令は加工法でない"が導かれる
3. 推論1と推論2から、仮説が否定される

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