「その農協共済はでっかいかあるいはそれはしょぼくないかもしくは両方ともだ」ということは成り立たない
fact1: もし仮に「登録ページである」物はあるとしたら「この渡船施設は相当しないし更にＲドライブでない」ということは正しくない fact2: もしもあるものが未練はましくらないとすれば「薄汚れなくてそれは鍛えない」ということは事実と異なる fact3: もしこの渡船施設が薄汚れないけれど鍛えるとしたら未練がましい fact4: もし仮に「その農協共済は日本音楽であるけれど射掛けない」ということは成り立たないとすればそれは日本音楽だということはない fact5: この渡船施設は組み敷くしそれは登録ページである fact6: その農協共済はでっかいかまたはしょぼいか両方だ fact7: 仮にこの渡船施設が登録ページであるとしたらその農協共済は相当する fact8: もし仮にこの地理的分布が邪魔立てしないなら厳し過ぎなくて日本音楽でない fact9: その諸段階が組み敷くならこの地理的分布は組み敷く fact10: この渡船施設は鍛える fact11: もしも何かは組み敷くけれど厳し過ぎないならば「それは登録ページである」ということは成り立つ fact12: 未練がましくらない物が薄汚れないとしたらしょぼくない fact13: もし仮になにかは鍛えないとすれば「未練はましくらなくて薄汚れない」ということは成り立つ fact14: もしなんらかの物は犯行声明でないとすると鍛えない fact15: もしも「その農協共済は薄汚れなくて鍛えない」ということは成り立たないとするとその写真提供は薄汚れる fact16: この渡船施設は薄汚れないけどそれは鍛える fact17: その農協共済はしょぼい fact18: その諸段階は組み敷く fact19: 仮にその農協共済が日本音楽でないとすればそれは厳し過ぎるということはないけれど犯行声明だ fact20: なにがしかの物がＲドライブだし犯行声明だとすればそれは未練がましいということはない fact21: 「この地理的分布は邪魔立てしない」ということは偽でない fact22: 「その農協共済は日本音楽だがそれは射掛けない」ということは成り立たない fact23: 仮にその農協共済がでっかいかもしくはしょぼくないかもしくはどちらもであるとするとこの渡船施設は未練がましかない
void -> assump1: 以下のように仮定する。その農協共済はでっかいかあるいはしょぼくないか両方ともである; fact23 & assump1 -> int1: この渡船施設は未練がましかない; fact16 & fact3 -> int2: この渡船施設は未練がましい; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
その農協共済はでっかいかもしくはしょぼくない
fact27 -> int4: もしその農協共済が未練がましくらないしさらに薄汚れるということはないとすればそれはしょぼくない; fact31 -> int5: もしその農協共済が鍛えないなら未練はましくらないししかもそれは薄汚れない; fact26 -> int6: もしその農協共済は犯行声明でないとしたらそれは鍛えるということはない; fact30 -> int7: この地理的分布は組み敷くけど厳し過ぎないとしたらそれは登録ページだ; fact29 & fact32 -> int8: この地理的分布は組み敷く; fact25 & fact24 -> int9: この地理的分布は厳し過ぎないしかつそれは日本音楽でない; int9 -> int10: この地理的分布は厳し過ぎない; int8 & int10 -> int11: この地理的分布は組み敷くが厳し過ぎない; int7 & int11 -> int12: この地理的分布は登録ページだ; int12 -> int13: 「登録ページな」物はある; int13 & fact28 -> int14: 「この渡船施設は相当しなくてそれはＲドライブでない」ということは成り立たない; int14 -> int15: 「「相当しなくて更にＲドライブでない」ということは成り立たない」ものはある;
$facts$ = fact1: もし仮に「登録ページである」物はあるとしたら「この渡船施設は相当しないし更にＲドライブでない」ということは正しくない fact2: もしもあるものが未練はましくらないとすれば「薄汚れなくてそれは鍛えない」ということは事実と異なる fact3: もしこの渡船施設が薄汚れないけれど鍛えるとしたら未練がましい fact4: もし仮に「その農協共済は日本音楽であるけれど射掛けない」ということは成り立たないとすればそれは日本音楽だということはない fact5: この渡船施設は組み敷くしそれは登録ページである fact6: その農協共済はでっかいかまたはしょぼいか両方だ fact7: 仮にこの渡船施設が登録ページであるとしたらその農協共済は相当する fact8: もし仮にこの地理的分布が邪魔立てしないなら厳し過ぎなくて日本音楽でない fact9: その諸段階が組み敷くならこの地理的分布は組み敷く fact10: この渡船施設は鍛える fact11: もしも何かは組み敷くけれど厳し過ぎないならば「それは登録ページである」ということは成り立つ fact12: 未練がましくらない物が薄汚れないとしたらしょぼくない fact13: もし仮になにかは鍛えないとすれば「未練はましくらなくて薄汚れない」ということは成り立つ fact14: もしなんらかの物は犯行声明でないとすると鍛えない fact15: もしも「その農協共済は薄汚れなくて鍛えない」ということは成り立たないとするとその写真提供は薄汚れる fact16: この渡船施設は薄汚れないけどそれは鍛える fact17: その農協共済はしょぼい fact18: その諸段階は組み敷く fact19: 仮にその農協共済が日本音楽でないとすればそれは厳し過ぎるということはないけれど犯行声明だ fact20: なにがしかの物がＲドライブだし犯行声明だとすればそれは未練がましいということはない fact21: 「この地理的分布は邪魔立てしない」ということは偽でない fact22: 「その農協共済は日本音楽だがそれは射掛けない」ということは成り立たない fact23: 仮にその農協共済がでっかいかもしくはしょぼくないかもしくはどちらもであるとするとこの渡船施設は未練がましかない ; $hypothesis$ = 「その農協共済はでっかいかあるいはそれはしょぼくないかもしくは両方ともだ」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。その農協共済はでっかいかあるいはしょぼくないか両方ともである; fact23 & assump1 -> int1: この渡船施設は未練がましかない; fact16 & fact3 -> int2: この渡船施設は未練がましい; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
事実1: もし仮に「登録ページである」物はあるとしたら「この渡船施設は相当しないし更にＲドライブでない」ということは正しくない
事実2: もしもあるものが未練はましくらないとすれば「薄汚れなくてそれは鍛えない」ということは事実と異なる
事実3: もしこの渡船施設が薄汚れないけれど鍛えるとしたら未練がましい
事実4: もし仮に「その農協共済は日本音楽であるけれど射掛けない」ということは成り立たないとすればそれは日本音楽だということはない
事実5: この渡船施設は組み敷くしそれは登録ページである
事実6: その農協共済はでっかいかまたはしょぼいか両方だ
事実7: 仮にこの渡船施設が登録ページであるとしたらその農協共済は相当する
事実8: もし仮にこの地理的分布が邪魔立てしないなら厳し過ぎなくて日本音楽でない
事実9: その諸段階が組み敷くならこの地理的分布は組み敷く
事実10: この渡船施設は鍛える
事実11: もしも何かは組み敷くけれど厳し過ぎないならば「それは登録ページである」ということは成り立つ
事実12: 未練がましくらない物が薄汚れないとしたらしょぼくない
事実13: もし仮になにかは鍛えないとすれば「未練はましくらなくて薄汚れない」ということは成り立つ
事実14: もしなんらかの物は犯行声明でないとすると鍛えない
事実15: もしも「その農協共済は薄汚れなくて鍛えない」ということは成り立たないとするとその写真提供は薄汚れる
事実16: この渡船施設は薄汚れないけどそれは鍛える
事実17: その農協共済はしょぼい
事実18: その諸段階は組み敷く
事実19: 仮にその農協共済が日本音楽でないとすればそれは厳し過ぎるということはないけれど犯行声明だ
事実20: なにがしかの物がＲドライブだし犯行声明だとすればそれは未練がましいということはない
事実21: 「この地理的分布は邪魔立てしない」ということは偽でない
事実22: 「その農協共済は日本音楽だがそれは射掛けない」ということは成り立たない
事実23: 仮にその農協共済がでっかいかもしくはしょぼくないかもしくはどちらもであるとするとこの渡船施設は未練がましかない

仮説: 「その農協共済はでっかいかあるいはそれはしょぼくないかもしくは両方ともだ」ということは成り立たない
1. 仮定1: 以下のように仮定する。その農協共済はでっかいかあるいはしょぼくないか両方ともである
2. 事実23と仮定1から、推論1: "この渡船施設は未練がましかない"が導かれる
3. 事実16と事実3から、推論2: "この渡船施設は未練がましい"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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