「「この水平半規管型は大量生産技術でその上信任する」ということは本当だ」ということは誤りだ
fact1: もしも鑑賞し易くないものが鈍くないとすると起こし易い fact2: もし仮にとある物が鑑賞し易いが鈍くないとしたらそれは起こし易い fact3: そのばた足金魚は信任する fact4: そのアルトはアイスクリーマーであるしその上終始する fact5: もしあのアズウェルがヘアライン仕上げすればこの主観性は鑑賞し易くない fact6: 「押領でなくて加えて遡及する」ものはある fact7: もしもこの主観性は起こし易くてアイスクリーマーであるとしたら「大量生産技術でない」ということは成り立つ fact8: もしもなにかは老躯でないとしたら「それが大量生産技術だし信任する」ということは確かでない fact9: もし仮にこの主観性が大量生産技術でないとすればあの水平半規管型は大量生産技術であるしまた信任する fact10: もしもそのアルトがアイスクリーマーだとしたらこの主観性はアイスクリーマーである fact11: 「「押領だということはなくて遡及する」ということは成り立たない」ものはある fact12: もしも「「押領である」ということは嘘であるということはない」物はあれば「そのばた足金魚は老躯だ」ということは真実である fact13: 仮にあのアズウェルがヘアライン仕上げするとしたらこの主観性は鑑賞し易くないしその上鈍くない fact14: 「「押領で遡及する」ということは成り立たない」物はある fact15: あのアズウェルは出掛からなくてまた難しいということはないなら老躯だ fact16: もしも「「押領でないけれど遡及する」ということは偽である」ものがあればそのばた足金魚は老躯だ fact17: 「この水平半規管型は大量生産技術である」ということは正しい fact18: 「この主観性は鑑賞し易くない」ということは成り立つ fact19: 仮にそのばた足金魚が老躯であるならばあのアズウェルはヘアライン仕上げする fact20: この主観性が大量生産技術でないならこの水平半規管型は大量生産技術である
fact11 & fact16 -> int1: そのばた足金魚は老躯だ; int1 & fact19 -> int2: あのアズウェルはヘアライン仕上げする; int2 & fact13 -> int3: この主観性は鑑賞し易くないしおまけにそれは鈍くない; fact1 -> int4: この主観性は鑑賞し易くないしかつ鈍くないとしたら起こし易い; int3 & int4 -> int5: この主観性は起こし易い; fact4 -> int6: そのアルトはアイスクリーマーである; fact10 & int6 -> int7: この主観性はアイスクリーマーである; int5 & int7 -> int8: この主観性は起こし易くてまたアイスクリーマーだ; int8 & fact7 -> int9: この主観性は大量生産技術だということはない; int9 & fact9 -> hypothesis;
「この水平半規管型は大量生産技術で信任する」ということは誤っている
fact21 -> int10: もしもこの水平半規管型は老躯でないなら「大量生産技術でおまけに信任する」ということは誤っている;
$facts$ = fact1: もしも鑑賞し易くないものが鈍くないとすると起こし易い fact2: もし仮にとある物が鑑賞し易いが鈍くないとしたらそれは起こし易い fact3: そのばた足金魚は信任する fact4: そのアルトはアイスクリーマーであるしその上終始する fact5: もしあのアズウェルがヘアライン仕上げすればこの主観性は鑑賞し易くない fact6: 「押領でなくて加えて遡及する」ものはある fact7: もしもこの主観性は起こし易くてアイスクリーマーであるとしたら「大量生産技術でない」ということは成り立つ fact8: もしもなにかは老躯でないとしたら「それが大量生産技術だし信任する」ということは確かでない fact9: もし仮にこの主観性が大量生産技術でないとすればあの水平半規管型は大量生産技術であるしまた信任する fact10: もしもそのアルトがアイスクリーマーだとしたらこの主観性はアイスクリーマーである fact11: 「「押領だということはなくて遡及する」ということは成り立たない」ものはある fact12: もしも「「押領である」ということは嘘であるということはない」物はあれば「そのばた足金魚は老躯だ」ということは真実である fact13: 仮にあのアズウェルがヘアライン仕上げするとしたらこの主観性は鑑賞し易くないしその上鈍くない fact14: 「「押領で遡及する」ということは成り立たない」物はある fact15: あのアズウェルは出掛からなくてまた難しいということはないなら老躯だ fact16: もしも「「押領でないけれど遡及する」ということは偽である」ものがあればそのばた足金魚は老躯だ fact17: 「この水平半規管型は大量生産技術である」ということは正しい fact18: 「この主観性は鑑賞し易くない」ということは成り立つ fact19: 仮にそのばた足金魚が老躯であるならばあのアズウェルはヘアライン仕上げする fact20: この主観性が大量生産技術でないならこの水平半規管型は大量生産技術である ; $hypothesis$ = 「「この水平半規管型は大量生産技術でその上信任する」ということは本当だ」ということは誤りだ ; $proof$ = 
fact11 & fact16 -> int1: そのばた足金魚は老躯だ; int1 & fact19 -> int2: あのアズウェルはヘアライン仕上げする; int2 & fact13 -> int3: この主観性は鑑賞し易くないしおまけにそれは鈍くない; fact1 -> int4: この主観性は鑑賞し易くないしかつ鈍くないとしたら起こし易い; int3 & int4 -> int5: この主観性は起こし易い; fact4 -> int6: そのアルトはアイスクリーマーである; fact10 & int6 -> int7: この主観性はアイスクリーマーである; int5 & int7 -> int8: この主観性は起こし易くてまたアイスクリーマーだ; int8 & fact7 -> int9: この主観性は大量生産技術だということはない; int9 & fact9 -> hypothesis; __DISPROVED__
事実1: もしも鑑賞し易くないものが鈍くないとすると起こし易い
事実2: もし仮にとある物が鑑賞し易いが鈍くないとしたらそれは起こし易い
事実3: そのばた足金魚は信任する
事実4: そのアルトはアイスクリーマーであるしその上終始する
事実5: もしあのアズウェルがヘアライン仕上げすればこの主観性は鑑賞し易くない
事実6: 「押領でなくて加えて遡及する」ものはある
事実7: もしもこの主観性は起こし易くてアイスクリーマーであるとしたら「大量生産技術でない」ということは成り立つ
事実8: もしもなにかは老躯でないとしたら「それが大量生産技術だし信任する」ということは確かでない
事実9: もし仮にこの主観性が大量生産技術でないとすればあの水平半規管型は大量生産技術であるしまた信任する
事実10: もしもそのアルトがアイスクリーマーだとしたらこの主観性はアイスクリーマーである
事実11: 「「押領だということはなくて遡及する」ということは成り立たない」ものはある
事実12: もしも「「押領である」ということは嘘であるということはない」物はあれば「そのばた足金魚は老躯だ」ということは真実である
事実13: 仮にあのアズウェルがヘアライン仕上げするとしたらこの主観性は鑑賞し易くないしその上鈍くない
事実14: 「「押領で遡及する」ということは成り立たない」物はある
事実15: あのアズウェルは出掛からなくてまた難しいということはないなら老躯だ
事実16: もしも「「押領でないけれど遡及する」ということは偽である」ものがあればそのばた足金魚は老躯だ
事実17: 「この水平半規管型は大量生産技術である」ということは正しい
事実18: 「この主観性は鑑賞し易くない」ということは成り立つ
事実19: 仮にそのばた足金魚が老躯であるならばあのアズウェルはヘアライン仕上げする
事実20: この主観性が大量生産技術でないならこの水平半規管型は大量生産技術である

仮説: 「「この水平半規管型は大量生産技術でその上信任する」ということは本当だ」ということは誤りだ
1. 事実11と事実16から、推論1: "そのばた足金魚は老躯だ"が導かれる
2. 推論1と事実19から、推論2: "あのアズウェルはヘアライン仕上げする"が導かれる
3. 推論2と事実13から、推論3: "この主観性は鑑賞し易くないしおまけにそれは鈍くない"が導かれる
4. 事実1から、推論4: "この主観性は鑑賞し易くないしかつ鈍くないとしたら起こし易い"が導かれる
5. 推論3と推論4から、推論5: "この主観性は起こし易い"が導かれる
6. 事実4から、推論6: "そのアルトはアイスクリーマーである"が導かれる
7. 事実10と推論6から、推論7: "この主観性はアイスクリーマーである"が導かれる
8. 推論5と推論7から、推論8: "この主観性は起こし易くてまたアイスクリーマーだ"が導かれる
9. 推論8と事実7から、推論9: "この主観性は大量生産技術だということはない"が導かれる
10. 推論9と事実9から、仮説が否定される

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