あの九年前は駆逐隊である
fact1: もし仮にこの高所得者は済ますとすると「この体力要素は真相であるかあるいはそれは立て回さないかあるいは両方である」ということは確かだ fact2: 「真相な」ものはある fact3: とあるものは真相であるとすれば「この体力要素は立て回すかまたは済ますかどちらもである」ということは誤っている fact4: 「この宿自慢がＡ株式会社でないとすればあの九年前は駆逐隊だ」ということは確かだ fact5: もしもこの高所得者がバーチ無垢材・ポリウレタン樹脂塗装でないとするとこの呼吸困難は考え難くなくてかつそれはバーチ無垢材・ポリウレタン樹脂塗装でない fact6: もしも「この体力要素は立て回すかもしくはそれは済ますか両方ともである」ということは偽であるならば「この高所得者はバーチ無垢材・ポリウレタン樹脂塗装でない」ということは事実だ fact7: とあるものが立て回さないとすれば駆逐隊でないし更に真相だ fact8: この呼吸困難が採決であるかそれがめぼしいとすればこの宿自慢はＡ株式会社でない fact9: もしも考え難いということはないものはバーチ無垢材・ポリウレタン樹脂塗装でないとするとめぼしい fact10: この体力要素が駆逐隊でなくて加えてそれがめぼしくないならば立て回す
fact2 & fact3 -> int1: 「この体力要素は立て回すかあるいは済ます」ということは真実でない; int1 & fact6 -> int2: この高所得者はバーチ無垢材・ポリウレタン樹脂塗装であるということはない; int2 & fact5 -> int3: この呼吸困難が考え難いということはないしさらにそれはバーチ無垢材・ポリウレタン樹脂塗装だということはない; fact9 -> int4: もしこの呼吸困難が考え難くないしバーチ無垢材・ポリウレタン樹脂塗装でないとしたらそれはめぼしい; int3 & int4 -> int5: この呼吸困難はめぼしい; int5 -> int6: この呼吸困難は採決であるかめぼしいかもしくはどちらもである; int6 & fact8 -> int7: この宿自慢はＡ株式会社でない; int7 & fact4 -> hypothesis;
あの九年前は駆逐隊でない
$facts$ = fact1: もし仮にこの高所得者は済ますとすると「この体力要素は真相であるかあるいはそれは立て回さないかあるいは両方である」ということは確かだ fact2: 「真相な」ものはある fact3: とあるものは真相であるとすれば「この体力要素は立て回すかまたは済ますかどちらもである」ということは誤っている fact4: 「この宿自慢がＡ株式会社でないとすればあの九年前は駆逐隊だ」ということは確かだ fact5: もしもこの高所得者がバーチ無垢材・ポリウレタン樹脂塗装でないとするとこの呼吸困難は考え難くなくてかつそれはバーチ無垢材・ポリウレタン樹脂塗装でない fact6: もしも「この体力要素は立て回すかもしくはそれは済ますか両方ともである」ということは偽であるならば「この高所得者はバーチ無垢材・ポリウレタン樹脂塗装でない」ということは事実だ fact7: とあるものが立て回さないとすれば駆逐隊でないし更に真相だ fact8: この呼吸困難が採決であるかそれがめぼしいとすればこの宿自慢はＡ株式会社でない fact9: もしも考え難いということはないものはバーチ無垢材・ポリウレタン樹脂塗装でないとするとめぼしい fact10: この体力要素が駆逐隊でなくて加えてそれがめぼしくないならば立て回す ; $hypothesis$ = あの九年前は駆逐隊である ; $proof$ = 
fact2 & fact3 -> int1: 「この体力要素は立て回すかあるいは済ます」ということは真実でない; int1 & fact6 -> int2: この高所得者はバーチ無垢材・ポリウレタン樹脂塗装であるということはない; int2 & fact5 -> int3: この呼吸困難が考え難いということはないしさらにそれはバーチ無垢材・ポリウレタン樹脂塗装だということはない; fact9 -> int4: もしこの呼吸困難が考え難くないしバーチ無垢材・ポリウレタン樹脂塗装でないとしたらそれはめぼしい; int3 & int4 -> int5: この呼吸困難はめぼしい; int5 -> int6: この呼吸困難は採決であるかめぼしいかもしくはどちらもである; int6 & fact8 -> int7: この宿自慢はＡ株式会社でない; int7 & fact4 -> hypothesis; __PROVED__
事実1: もし仮にこの高所得者は済ますとすると「この体力要素は真相であるかあるいはそれは立て回さないかあるいは両方である」ということは確かだ
事実2: 「真相な」ものはある
事実3: とあるものは真相であるとすれば「この体力要素は立て回すかまたは済ますかどちらもである」ということは誤っている
事実4: 「この宿自慢がＡ株式会社でないとすればあの九年前は駆逐隊だ」ということは確かだ
事実5: もしもこの高所得者がバーチ無垢材・ポリウレタン樹脂塗装でないとするとこの呼吸困難は考え難くなくてかつそれはバーチ無垢材・ポリウレタン樹脂塗装でない
事実6: もしも「この体力要素は立て回すかもしくはそれは済ますか両方ともである」ということは偽であるならば「この高所得者はバーチ無垢材・ポリウレタン樹脂塗装でない」ということは事実だ
事実7: とあるものが立て回さないとすれば駆逐隊でないし更に真相だ
事実8: この呼吸困難が採決であるかそれがめぼしいとすればこの宿自慢はＡ株式会社でない
事実9: もしも考え難いということはないものはバーチ無垢材・ポリウレタン樹脂塗装でないとするとめぼしい
事実10: この体力要素が駆逐隊でなくて加えてそれがめぼしくないならば立て回す

仮説: あの九年前は駆逐隊である
1. 事実2と事実3から、推論1: "「この体力要素は立て回すかあるいは済ます」ということは真実でない"が導かれる
2. 推論1と事実6から、推論2: "この高所得者はバーチ無垢材・ポリウレタン樹脂塗装であるということはない"が導かれる
3. 推論2と事実5から、推論3: "この呼吸困難が考え難いということはないしさらにそれはバーチ無垢材・ポリウレタン樹脂塗装だということはない"が導かれる
4. 事実9から、推論4: "もしこの呼吸困難が考え難くないしバーチ無垢材・ポリウレタン樹脂塗装でないとしたらそれはめぼしい"が導かれる
5. 推論3と推論4から、推論5: "この呼吸困難はめぼしい"が導かれる
6. 推論5から、推論6: "この呼吸困難は採決であるかめぼしいかもしくはどちらもである"が導かれる
7. 推論6と事実8から、推論7: "この宿自慢はＡ株式会社でない"が導かれる
8. 推論7と事実4から、仮説が導かれる

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