そのアリストオーナーは放る
fact1: もし仮にそのアリストオーナーが気高くないとすればこのクリップは服従しない fact2: もし仮になにがしかの物は飲み交わすとすれば「寝為さらないし熱くない」ということは成り立たない fact3: 「そのＨ氏は服従しない」ということは間違いでない fact4: 仮にそのＨ氏が猛々しいならばそれは飲み交わす fact5: このクリップは厚かましくない fact6: 仮にそのアリストオーナーは放るとすると「それは厚かましくないしそれは気高い」ということは成り立たない fact7: もしこのクリップは放らないなら「そのアリストオーナーは賄えない一方で採尿する」ということは誤りである fact8: そのＨ氏は猛々しい fact9: 仮に「「寝為さらなくておまけに熱くない」ということは誤っている」ものがあるならこのクリップは寝為さる fact10: 由々しい物は放るということはないしおまけに服従するということはない fact11: 「そのＨ氏は寝為さるがしかしそれは厚かましくない」ということは成り立つということはない fact12: もしもあるものが寝為さらないけどそれが由々しいならそれは服従する fact13: 「そのＨ氏は寝為さるけれどそれは由々しいということはない」ということは本当でない fact14: このクリップはぶつけ合うがしかしそれはオイル交換だということはない fact15: 「そのＨ氏は気高くないがしかし寝為さる」ということは成り立つということはない fact16: もし仮に「そのアリストオーナーは放らない一方で服従する」ということは誤りであるとするとそのＨ氏は由々しくない fact17: もし仮に「そのアリストオーナーは厚かましくない一方で気高い」ということは偽であるならばあのクリップは服従しない fact18: もし仮にこのクリップが服従しないとしたらそのＨ氏は寝為さるがしかし由々しいということはない
void -> assump1: 以下のように仮定する。そのアリストオーナーは放る; fact6 & assump1 -> int1: 「そのアリストオーナーは厚かましいということはない一方で気高い」ということは事実と異なる; int1 & fact17 -> int2: このクリップは服従しない; int2 & fact18 -> int3: そのＨ氏は寝為さるけどそれは由々しくない; int3 & fact13 -> int4: これは矛盾である; [assump1] & int4 -> hypothesis;
「そのアリストオーナーは賄えないがしかし採尿する」ということは成り立たない
fact21 -> int5: もしこのクリップが由々しいならば放らないしさらに服従しない; fact22 -> int6: もしそのＨ氏は飲み交わすなら「寝為さらないし加えて熱くない」ということは間違いだ; fact23 & fact24 -> int7: そのＨ氏は飲み交わす; int6 & int7 -> int8: 「そのＨ氏は寝為さらないし熱くない」ということは間違いである; int8 -> int9: 「「寝為さらないし加えて熱くない」ということは成り立たない」ものはある; int9 & fact20 -> int10: このクリップは寝為さる;
$facts$ = fact1: もし仮にそのアリストオーナーが気高くないとすればこのクリップは服従しない fact2: もし仮になにがしかの物は飲み交わすとすれば「寝為さらないし熱くない」ということは成り立たない fact3: 「そのＨ氏は服従しない」ということは間違いでない fact4: 仮にそのＨ氏が猛々しいならばそれは飲み交わす fact5: このクリップは厚かましくない fact6: 仮にそのアリストオーナーは放るとすると「それは厚かましくないしそれは気高い」ということは成り立たない fact7: もしこのクリップは放らないなら「そのアリストオーナーは賄えない一方で採尿する」ということは誤りである fact8: そのＨ氏は猛々しい fact9: 仮に「「寝為さらなくておまけに熱くない」ということは誤っている」ものがあるならこのクリップは寝為さる fact10: 由々しい物は放るということはないしおまけに服従するということはない fact11: 「そのＨ氏は寝為さるがしかしそれは厚かましくない」ということは成り立つということはない fact12: もしもあるものが寝為さらないけどそれが由々しいならそれは服従する fact13: 「そのＨ氏は寝為さるけれどそれは由々しいということはない」ということは本当でない fact14: このクリップはぶつけ合うがしかしそれはオイル交換だということはない fact15: 「そのＨ氏は気高くないがしかし寝為さる」ということは成り立つということはない fact16: もし仮に「そのアリストオーナーは放らない一方で服従する」ということは誤りであるとするとそのＨ氏は由々しくない fact17: もし仮に「そのアリストオーナーは厚かましくない一方で気高い」ということは偽であるならばあのクリップは服従しない fact18: もし仮にこのクリップが服従しないとしたらそのＨ氏は寝為さるがしかし由々しいということはない ; $hypothesis$ = そのアリストオーナーは放る ; $proof$ = 
void -> assump1: 以下のように仮定する。そのアリストオーナーは放る; fact6 & assump1 -> int1: 「そのアリストオーナーは厚かましいということはない一方で気高い」ということは事実と異なる; int1 & fact17 -> int2: このクリップは服従しない; int2 & fact18 -> int3: そのＨ氏は寝為さるけどそれは由々しくない; int3 & fact13 -> int4: これは矛盾である; [assump1] & int4 -> hypothesis; __DISPROVED__
事実1: もし仮にそのアリストオーナーが気高くないとすればこのクリップは服従しない
事実2: もし仮になにがしかの物は飲み交わすとすれば「寝為さらないし熱くない」ということは成り立たない
事実3: 「そのＨ氏は服従しない」ということは間違いでない
事実4: 仮にそのＨ氏が猛々しいならばそれは飲み交わす
事実5: このクリップは厚かましくない
事実6: 仮にそのアリストオーナーは放るとすると「それは厚かましくないしそれは気高い」ということは成り立たない
事実7: もしこのクリップは放らないなら「そのアリストオーナーは賄えない一方で採尿する」ということは誤りである
事実8: そのＨ氏は猛々しい
事実9: 仮に「「寝為さらなくておまけに熱くない」ということは誤っている」ものがあるならこのクリップは寝為さる
事実10: 由々しい物は放るということはないしおまけに服従するということはない
事実11: 「そのＨ氏は寝為さるがしかしそれは厚かましくない」ということは成り立つということはない
事実12: もしもあるものが寝為さらないけどそれが由々しいならそれは服従する
事実13: 「そのＨ氏は寝為さるけれどそれは由々しいということはない」ということは本当でない
事実14: このクリップはぶつけ合うがしかしそれはオイル交換だということはない
事実15: 「そのＨ氏は気高くないがしかし寝為さる」ということは成り立つということはない
事実16: もし仮に「そのアリストオーナーは放らない一方で服従する」ということは誤りであるとするとそのＨ氏は由々しくない
事実17: もし仮に「そのアリストオーナーは厚かましくない一方で気高い」ということは偽であるならばあのクリップは服従しない
事実18: もし仮にこのクリップが服従しないとしたらそのＨ氏は寝為さるがしかし由々しいということはない

仮説: そのアリストオーナーは放る
1. 仮定1: 以下のように仮定する。そのアリストオーナーは放る
2. 事実6と仮定1から、推論1: "「そのアリストオーナーは厚かましいということはない一方で気高い」ということは事実と異なる"が導かれる
3. 推論1と事実17から、推論2: "このクリップは服従しない"が導かれる
4. 推論2と事実18から、推論3: "そのＨ氏は寝為さるけどそれは由々しくない"が導かれる
5. 推論3と事実13から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、仮説が否定される

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