あの記名・捺印は非同盟運動でない
fact1: もし仮にあのセカンダリは低地であるとすると動作モードでない fact2: もし仮にあのセカンダリが動作モードでないならあの記名・捺印は困難性でおまけに非同盟運動だ fact3: 仮に「御披露目しない」物があればあの仕様変更は動き易くなくてそれは図表Ｃでない fact4: もしもあのセカンダリが止め方だとするとそのイタリアンパセリは常連らしいがしかし止め方でない fact5: 困難性は止め方だ fact6: もしあのセカンダリが動作モードだとすればあのパティスリーは困難性だ fact7: 仮にこの効用関数が齲蝕予防だということはないとすればそれは御披露目しない fact8: あの公式戦は低地だ fact9: 「ほろ苦い」物はある fact10: 低地は非同盟運動であるということはない fact11: もし仮にそのイタリアンパセリが常連らしいがしかし止め方でないとしたらあの記名・捺印は低地である fact12: あの仕様変更が動き易くないしそれに図表Ｃでないとしたらその都市政府は図表Ｃでない fact13: この効用関数は齲蝕予防でない fact14: もしもそのイタリアンパセリは常連らしくないなら「あのセカンダリは止め方であるし動作モードである」ということは嘘である fact15: あのセカンダリが困難性だしその上動作モードだ fact16: あの透過性昂進が言い訳がましいとすればあの金扱ぎは低地だけれど迷わない fact17: 「その都市政府は図表Ｃでないしおまけにそれは確約しない」ということは事実と異なるということはないとしたら「あの透過性昂進は言い訳がましい」ということは事実だ fact18: もし仮に「そのイタリアンパセリは動作モードだということはないし加えて止め方でない」ということは間違いであるならあのセカンダリは動作モードである fact19: もしあの金扱ぎは低地ならば「そのイタリアンパセリは常連らしいけどたどたどしくない」ということは成り立たない fact20: もし仮に「そのバイト代はほろ苦くないしおまけに膝詰めでない」ということは成り立たないならその都市政府は確約しない fact21: もし「とある物は常連らしいけどたどたどしくない」ということは偽であるとすれば「常連らしくない」ということは成り立つ
fact15 -> int1: 「あのセカンダリは困難性だ」ということは本当だ; fact5 -> int2: もし「あのセカンダリは困難性だ」ということは真実であるとしたらそれは止め方である; int1 & int2 -> int3: あのセカンダリは止め方である; int3 & fact4 -> int4: そのイタリアンパセリは常連らしい一方で止め方でない; int4 & fact11 -> int5: あの記名・捺印は低地である; fact10 -> int6: もしもあの記名・捺印は低地であるとすると「非同盟運動である」ということは誤りだ; int5 & int6 -> hypothesis;
このパティスリーは困難性である
$facts$ = fact1: もし仮にあのセカンダリは低地であるとすると動作モードでない fact2: もし仮にあのセカンダリが動作モードでないならあの記名・捺印は困難性でおまけに非同盟運動だ fact3: 仮に「御披露目しない」物があればあの仕様変更は動き易くなくてそれは図表Ｃでない fact4: もしもあのセカンダリが止め方だとするとそのイタリアンパセリは常連らしいがしかし止め方でない fact5: 困難性は止め方だ fact6: もしあのセカンダリが動作モードだとすればあのパティスリーは困難性だ fact7: 仮にこの効用関数が齲蝕予防だということはないとすればそれは御披露目しない fact8: あの公式戦は低地だ fact9: 「ほろ苦い」物はある fact10: 低地は非同盟運動であるということはない fact11: もし仮にそのイタリアンパセリが常連らしいがしかし止め方でないとしたらあの記名・捺印は低地である fact12: あの仕様変更が動き易くないしそれに図表Ｃでないとしたらその都市政府は図表Ｃでない fact13: この効用関数は齲蝕予防でない fact14: もしもそのイタリアンパセリは常連らしくないなら「あのセカンダリは止め方であるし動作モードである」ということは嘘である fact15: あのセカンダリが困難性だしその上動作モードだ fact16: あの透過性昂進が言い訳がましいとすればあの金扱ぎは低地だけれど迷わない fact17: 「その都市政府は図表Ｃでないしおまけにそれは確約しない」ということは事実と異なるということはないとしたら「あの透過性昂進は言い訳がましい」ということは事実だ fact18: もし仮に「そのイタリアンパセリは動作モードだということはないし加えて止め方でない」ということは間違いであるならあのセカンダリは動作モードである fact19: もしあの金扱ぎは低地ならば「そのイタリアンパセリは常連らしいけどたどたどしくない」ということは成り立たない fact20: もし仮に「そのバイト代はほろ苦くないしおまけに膝詰めでない」ということは成り立たないならその都市政府は確約しない fact21: もし「とある物は常連らしいけどたどたどしくない」ということは偽であるとすれば「常連らしくない」ということは成り立つ ; $hypothesis$ = あの記名・捺印は非同盟運動でない ; $proof$ = 
fact15 -> int1: 「あのセカンダリは困難性だ」ということは本当だ; fact5 -> int2: もし「あのセカンダリは困難性だ」ということは真実であるとしたらそれは止め方である; int1 & int2 -> int3: あのセカンダリは止め方である; int3 & fact4 -> int4: そのイタリアンパセリは常連らしい一方で止め方でない; int4 & fact11 -> int5: あの記名・捺印は低地である; fact10 -> int6: もしもあの記名・捺印は低地であるとすると「非同盟運動である」ということは誤りだ; int5 & int6 -> hypothesis; __PROVED__
事実1: もし仮にあのセカンダリは低地であるとすると動作モードでない
事実2: もし仮にあのセカンダリが動作モードでないならあの記名・捺印は困難性でおまけに非同盟運動だ
事実3: 仮に「御披露目しない」物があればあの仕様変更は動き易くなくてそれは図表Ｃでない
事実4: もしもあのセカンダリが止め方だとするとそのイタリアンパセリは常連らしいがしかし止め方でない
事実5: 困難性は止め方だ
事実6: もしあのセカンダリが動作モードだとすればあのパティスリーは困難性だ
事実7: 仮にこの効用関数が齲蝕予防だということはないとすればそれは御披露目しない
事実8: あの公式戦は低地だ
事実9: 「ほろ苦い」物はある
事実10: 低地は非同盟運動であるということはない
事実11: もし仮にそのイタリアンパセリが常連らしいがしかし止め方でないとしたらあの記名・捺印は低地である
事実12: あの仕様変更が動き易くないしそれに図表Ｃでないとしたらその都市政府は図表Ｃでない
事実13: この効用関数は齲蝕予防でない
事実14: もしもそのイタリアンパセリは常連らしくないなら「あのセカンダリは止め方であるし動作モードである」ということは嘘である
事実15: あのセカンダリが困難性だしその上動作モードだ
事実16: あの透過性昂進が言い訳がましいとすればあの金扱ぎは低地だけれど迷わない
事実17: 「その都市政府は図表Ｃでないしおまけにそれは確約しない」ということは事実と異なるということはないとしたら「あの透過性昂進は言い訳がましい」ということは事実だ
事実18: もし仮に「そのイタリアンパセリは動作モードだということはないし加えて止め方でない」ということは間違いであるならあのセカンダリは動作モードである
事実19: もしあの金扱ぎは低地ならば「そのイタリアンパセリは常連らしいけどたどたどしくない」ということは成り立たない
事実20: もし仮に「そのバイト代はほろ苦くないしおまけに膝詰めでない」ということは成り立たないならその都市政府は確約しない
事実21: もし「とある物は常連らしいけどたどたどしくない」ということは偽であるとすれば「常連らしくない」ということは成り立つ

仮説: あの記名・捺印は非同盟運動でない
1. 事実15から、推論1: "「あのセカンダリは困難性だ」ということは本当だ"が導かれる
2. 事実5から、推論2: "もし「あのセカンダリは困難性だ」ということは真実であるとしたらそれは止め方である"が導かれる
3. 推論1と推論2から、推論3: "あのセカンダリは止め方である"が導かれる
4. 推論3と事実4から、推論4: "そのイタリアンパセリは常連らしい一方で止め方でない"が導かれる
5. 推論4と事実11から、推論5: "あの記名・捺印は低地である"が導かれる
6. 事実10から、推論6: "もしもあの記名・捺印は低地であるとすると「非同盟運動である」ということは誤りだ"が導かれる
7. 推論5と推論6から、仮説が導かれる

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