そのトランスデューサは除圧だ
fact1: もし仮に間違い易くないものは不法就労であるとしたら着せがましい fact2: もし仮にこのグラム単位が透視するが猛反発しないならそのトランスデューサは除圧でない fact3: このウォールストリートジャーナルは電子制御であるということはない fact4: なにがしかのものは電子制御でないなら「長々しいということはないがしかしシャンデリアだ」ということは本当でない fact5: もしなにかは猛反発しないならば「透視するし町村内だ」ということは成り立つということはない fact6: 生白くないものは間違い易くないけど不法就労である fact7: このウォールストリートジャーナルは陥凹しない fact8: 「このウォールストリートジャーナルは長々しかないがしかしそれはシャンデリアだ」ということは成り立たないなら生白くない fact9: もしこのウォールストリートジャーナルは陥凹しないとすれば「慈悲深いし更にアクセスし易い」ということは嘘だ fact10: もし何らかのものが着せがましかないとしたらそれが透視するしその上それは猛反発する fact11: 「あるものは除圧でない一方で猛反発する」ということは成り立たないとすると猛反発するということはない fact12: 「「慈悲深くてさらにアクセスし易い」ということは誤っている」ものがあるとするとあの大衆社会は町村内だ fact13: もしあの大衆社会が町村内ならばこのグラム単位は透視する一方で猛反発するということはない fact14: もしも「このウォールストリートジャーナルは着せがましい」ということは本当であるとすると「このグラム単位は除圧でないけれど猛反発する」ということは誤りだ fact15: 仮に「「猛反発するししかもアクセスし易い」ということは誤りな」ものはあれば「このグラム単位は除圧でない」ということは間違っている fact16: もし仮に「何らかのものは透視するし更に町村内である」ということは嘘だとすればそれは陥凹しない fact17: このデルフト焼きは陥凹しない
fact9 & fact7 -> int1: 「このウォールストリートジャーナルは慈悲深いしさらにアクセスし易い」ということは偽である; int1 -> int2: 「「慈悲深くてアクセスし易い」ということは偽である」ものはある; int2 & fact12 -> int3: 「あの大衆社会は町村内だ」ということは真実だ; int3 & fact13 -> int4: このグラム単位は透視するがそれは猛反発しない; int4 & fact2 -> hypothesis;
そのトランスデューサは除圧だ
fact18 -> int5: このグラム単位が着せがましいということはないとしたら透視するしまた猛反発する;
$facts$ = fact1: もし仮に間違い易くないものは不法就労であるとしたら着せがましい fact2: もし仮にこのグラム単位が透視するが猛反発しないならそのトランスデューサは除圧でない fact3: このウォールストリートジャーナルは電子制御であるということはない fact4: なにがしかのものは電子制御でないなら「長々しいということはないがしかしシャンデリアだ」ということは本当でない fact5: もしなにかは猛反発しないならば「透視するし町村内だ」ということは成り立つということはない fact6: 生白くないものは間違い易くないけど不法就労である fact7: このウォールストリートジャーナルは陥凹しない fact8: 「このウォールストリートジャーナルは長々しかないがしかしそれはシャンデリアだ」ということは成り立たないなら生白くない fact9: もしこのウォールストリートジャーナルは陥凹しないとすれば「慈悲深いし更にアクセスし易い」ということは嘘だ fact10: もし何らかのものが着せがましかないとしたらそれが透視するしその上それは猛反発する fact11: 「あるものは除圧でない一方で猛反発する」ということは成り立たないとすると猛反発するということはない fact12: 「「慈悲深くてさらにアクセスし易い」ということは誤っている」ものがあるとするとあの大衆社会は町村内だ fact13: もしあの大衆社会が町村内ならばこのグラム単位は透視する一方で猛反発するということはない fact14: もしも「このウォールストリートジャーナルは着せがましい」ということは本当であるとすると「このグラム単位は除圧でないけれど猛反発する」ということは誤りだ fact15: 仮に「「猛反発するししかもアクセスし易い」ということは誤りな」ものはあれば「このグラム単位は除圧でない」ということは間違っている fact16: もし仮に「何らかのものは透視するし更に町村内である」ということは嘘だとすればそれは陥凹しない fact17: このデルフト焼きは陥凹しない ; $hypothesis$ = そのトランスデューサは除圧だ ; $proof$ = 
fact9 & fact7 -> int1: 「このウォールストリートジャーナルは慈悲深いしさらにアクセスし易い」ということは偽である; int1 -> int2: 「「慈悲深くてアクセスし易い」ということは偽である」ものはある; int2 & fact12 -> int3: 「あの大衆社会は町村内だ」ということは真実だ; int3 & fact13 -> int4: このグラム単位は透視するがそれは猛反発しない; int4 & fact2 -> hypothesis; __DISPROVED__
事実1: もし仮に間違い易くないものは不法就労であるとしたら着せがましい
事実2: もし仮にこのグラム単位が透視するが猛反発しないならそのトランスデューサは除圧でない
事実3: このウォールストリートジャーナルは電子制御であるということはない
事実4: なにがしかのものは電子制御でないなら「長々しいということはないがしかしシャンデリアだ」ということは本当でない
事実5: もしなにかは猛反発しないならば「透視するし町村内だ」ということは成り立つということはない
事実6: 生白くないものは間違い易くないけど不法就労である
事実7: このウォールストリートジャーナルは陥凹しない
事実8: 「このウォールストリートジャーナルは長々しかないがしかしそれはシャンデリアだ」ということは成り立たないなら生白くない
事実9: もしこのウォールストリートジャーナルは陥凹しないとすれば「慈悲深いし更にアクセスし易い」ということは嘘だ
事実10: もし何らかのものが着せがましかないとしたらそれが透視するしその上それは猛反発する
事実11: 「あるものは除圧でない一方で猛反発する」ということは成り立たないとすると猛反発するということはない
事実12: 「「慈悲深くてさらにアクセスし易い」ということは誤っている」ものがあるとするとあの大衆社会は町村内だ
事実13: もしあの大衆社会が町村内ならばこのグラム単位は透視する一方で猛反発するということはない
事実14: もしも「このウォールストリートジャーナルは着せがましい」ということは本当であるとすると「このグラム単位は除圧でないけれど猛反発する」ということは誤りだ
事実15: 仮に「「猛反発するししかもアクセスし易い」ということは誤りな」ものはあれば「このグラム単位は除圧でない」ということは間違っている
事実16: もし仮に「何らかのものは透視するし更に町村内である」ということは嘘だとすればそれは陥凹しない
事実17: このデルフト焼きは陥凹しない

仮説: そのトランスデューサは除圧だ
1. 事実9と事実7から、推論1: "「このウォールストリートジャーナルは慈悲深いしさらにアクセスし易い」ということは偽である"が導かれる
2. 推論1から、推論2: "「「慈悲深くてアクセスし易い」ということは偽である」ものはある"が導かれる
3. 推論2と事実12から、推論3: "「あの大衆社会は町村内だ」ということは真実だ"が導かれる
4. 推論3と事実13から、推論4: "このグラム単位は透視するがそれは猛反発しない"が導かれる
5. 推論4と事実2から、仮説が否定される

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