この製薬メーカーはしいんとしない
fact1: もし仮に「この市町村民税未申告者はしいんとする」ということは本当ならばあの製薬メーカーはしいんとする fact2: もしなにがしかの物が水っぽいとすれば掛け難くない fact3: その特産はいがらっぽくなくてまた騒々しくない fact4: 「「いがらっぽくない」ということは正しい」ものはある fact5: 「クロノグラフでないしその上危惧しない」ものはある fact6: なにかは働き始めれば「この製薬メーカーは働き始めなくて加えて騒々しくない」ということは成り立たない fact7: もしあの民族誌は騒々しくないがしいんとするとすれば「その売女はしいんとする」ということは本当だ fact8: あの民族誌は働き始める fact9: もしも「この製薬メーカーは働き始めなくて加えて騒々しくない」ということは嘘ならばあの市町村民税未申告者は働き始める fact10: 「騒々しくない」ものはある fact11: 仮に「「いがらっぽいということはなくて騒々しくない」ということは本当な」ものがあるとするとこの製薬メーカーは踏襲する fact12: ある物はいがらっぽくないけど騒々しい fact13: この製薬メーカーは水っぽいということはない fact14: その特産はいがらっぽくない fact15: もしもこの製薬メーカーが踏襲するししいんとするとしたらこの市町村民税未申告者は水っぽいということはない fact16: もし仮に何らかの物が水っぽいかあるいはそれはもがないとすると「掛け難くない」ということは真実である fact17: もしその売女が水っぽいとしたら掛け難くない fact18: もしもその売女がしいんとするとすればこの市町村民税未申告者はしいんとする fact19: いがらっぽい物は騒々しくないけれどしいんとする fact20: 「いがらっぽい一方で騒々しくない」ものはある fact21: その売女は掛け難い fact22: この製薬メーカーが踏襲しないとしたらそれは水っぽくない fact23: もしもこの市町村民税未申告者は水っぽいということはないとすれば「その売女は水っぽいかまたはもがない」ということは正しい
fact3 -> int1: 何かはいがらっぽくなくて加えてそれは騒々しいということはない; int1 & fact11 -> int2: この製薬メーカーは踏襲する; void -> assump1: 以下のように仮定する。この製薬メーカーはしいんとする; int2 & assump1 -> int3: この製薬メーカーは踏襲するしさらにしいんとする; int3 & fact15 -> int4: 「この市町村民税未申告者は水っぽくない」ということは確かだ; int4 & fact23 -> int5: その売女は水っぽいかもがないかあるいはどちらもである; fact16 -> int6: もし仮にその売女が水っぽいかまたはそれはもがないかどちらもであるならばそれは掛け難くない; int5 & int6 -> int7: その売女は掛け難くない; int7 & fact21 -> int8: これは矛盾である; [assump1] & int8 -> hypothesis;
この市町村民税未申告者はもぐしそれに働き始める
fact26 -> int9: 「働き始める」ものはある; int9 & fact25 -> int10: 「この製薬メーカーは働き始めなくて騒々しくない」ということは嘘である; fact24 & int10 -> int11: この市町村民税未申告者は働き始める;
$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$ = 
fact3 -> int1: 何かはいがらっぽくなくて加えてそれは騒々しいということはない; int1 & fact11 -> int2: この製薬メーカーは踏襲する; void -> assump1: 以下のように仮定する。この製薬メーカーはしいんとする; int2 & assump1 -> int3: この製薬メーカーは踏襲するしさらにしいんとする; int3 & fact15 -> int4: 「この市町村民税未申告者は水っぽくない」ということは確かだ; int4 & fact23 -> int5: その売女は水っぽいかもがないかあるいはどちらもである; fact16 -> int6: もし仮にその売女が水っぽいかまたはそれはもがないかどちらもであるならばそれは掛け難くない; int5 & int6 -> int7: その売女は掛け難くない; int7 & fact21 -> int8: これは矛盾である; [assump1] & int8 -> 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. 事実3から、推論1: "何かはいがらっぽくなくて加えてそれは騒々しいということはない"が導かれる
2. 推論1と事実11から、推論2: "この製薬メーカーは踏襲する"が導かれる
3. 仮定1: 以下のように仮定する。この製薬メーカーはしいんとする
4. 推論2と仮定1から、推論3: "この製薬メーカーは踏襲するしさらにしいんとする"が導かれる
5. 推論3と事実15から、推論4: "「この市町村民税未申告者は水っぽくない」ということは確かだ"が導かれる
6. 推論4と事実23から、推論5: "その売女は水っぽいかもがないかあるいはどちらもである"が導かれる
7. 事実16から、推論6: "もし仮にその売女が水っぽいかまたはそれはもがないかどちらもであるならばそれは掛け難くない"が導かれる
8. 推論5と推論6から、推論7: "その売女は掛け難くない"が導かれる
9. 推論7と事実21から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、仮説が導かれる

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