あの海上部は堪え難くてそれにそれは図太い
fact1: 仮になにがしかの物が愛するとすれば図太い fact2: あの分類整理は蓄積され易くてコーヒーテーブルだ fact3: その階梯は堪え難い fact4: その一万四千一環境マネジメントシステム規格は映せる fact5: もしもその階梯が予測するとするとそれは映せる fact6: あの海上部は予測する fact7: その一万四千一環境マネジメントシステム規格は図太い fact8: 「もしもその階梯が予測しなくておまけに合わせ易くないとしたらあの海上部は堪え難い」ということは間違いでない fact9: あの自己表現はコーヒーテーブルでない fact10: その階梯は予測しない fact11: もしもその一万四千一環境マネジメントシステム規格が映せるとすればそれは愛する fact12: その階梯は合わせ易いということはない fact13: その階梯は図太い fact14: もしあの海上部がコーヒーテーブルでないならそれは映せるかあるいは愛する fact15: もしその階梯はコーヒーテーブルであるとしたらそれは御寂しい fact16: その乙代理店は予測しない fact17: あの海上部はコーヒーテーブルであるということはない fact18: 仮にとあるものが映せるとすれば図太い
fact10 & fact12 -> int1: その階梯は予測するということはないしそれは合わせ易くない; int1 & fact8 -> int2: あの海上部は堪え難い; fact1 -> int3: もし仮に「あの海上部は愛する」ということは本当であるとするとそれは図太い; fact18 -> int4: もしあの海上部が映せればそれは図太い; fact14 & fact17 -> int5: あの海上部は映せるか愛するかまたはどちらもである; int3 & int4 & int5 -> int6: あの海上部は図太い; int2 & int6 -> hypothesis;
fact10 & fact12 -> int1: (¬{A}{a} & ¬{B}{a}); int1 & fact8 -> int2: {C}{b}; fact1 -> int3: {E}{b} -> {D}{b}; fact18 -> int4: {F}{b} -> {D}{b}; fact14 & fact17 -> int5: ({F}{b} v {E}{b}); int3 & int4 & int5 -> int6: {D}{b}; int2 & int6 -> hypothesis;
その階梯は青黒くて加えて人間臭い
fact19 -> int7: あるものは図太い;
$facts$ = fact1: 仮になにがしかの物が愛するとすれば図太い fact2: あの分類整理は蓄積され易くてコーヒーテーブルだ fact3: その階梯は堪え難い fact4: その一万四千一環境マネジメントシステム規格は映せる fact5: もしもその階梯が予測するとするとそれは映せる fact6: あの海上部は予測する fact7: その一万四千一環境マネジメントシステム規格は図太い fact8: 「もしもその階梯が予測しなくておまけに合わせ易くないとしたらあの海上部は堪え難い」ということは間違いでない fact9: あの自己表現はコーヒーテーブルでない fact10: その階梯は予測しない fact11: もしもその一万四千一環境マネジメントシステム規格が映せるとすればそれは愛する fact12: その階梯は合わせ易いということはない fact13: その階梯は図太い fact14: もしあの海上部がコーヒーテーブルでないならそれは映せるかあるいは愛する fact15: もしその階梯はコーヒーテーブルであるとしたらそれは御寂しい fact16: その乙代理店は予測しない fact17: あの海上部はコーヒーテーブルであるということはない fact18: 仮にとあるものが映せるとすれば図太い ; $hypothesis$ = あの海上部は堪え難くてそれにそれは図太い ; $proof$ = 
fact10 & fact12 -> int1: その階梯は予測するということはないしそれは合わせ易くない; int1 & fact8 -> int2: あの海上部は堪え難い; fact1 -> int3: もし仮に「あの海上部は愛する」ということは本当であるとするとそれは図太い; fact18 -> int4: もしあの海上部が映せればそれは図太い; fact14 & fact17 -> int5: あの海上部は映せるか愛するかまたはどちらもである; int3 & int4 & int5 -> int6: あの海上部は図太い; int2 & int6 -> hypothesis; __PROVED__
事実1: 仮になにがしかの物が愛するとすれば図太い
事実2: あの分類整理は蓄積され易くてコーヒーテーブルだ
事実3: その階梯は堪え難い
事実4: その一万四千一環境マネジメントシステム規格は映せる
事実5: もしもその階梯が予測するとするとそれは映せる
事実6: あの海上部は予測する
事実7: その一万四千一環境マネジメントシステム規格は図太い
事実8: 「もしもその階梯が予測しなくておまけに合わせ易くないとしたらあの海上部は堪え難い」ということは間違いでない
事実9: あの自己表現はコーヒーテーブルでない
事実10: その階梯は予測しない
事実11: もしもその一万四千一環境マネジメントシステム規格が映せるとすればそれは愛する
事実12: その階梯は合わせ易いということはない
事実13: その階梯は図太い
事実14: もしあの海上部がコーヒーテーブルでないならそれは映せるかあるいは愛する
事実15: もしその階梯はコーヒーテーブルであるとしたらそれは御寂しい
事実16: その乙代理店は予測しない
事実17: あの海上部はコーヒーテーブルであるということはない
事実18: 仮にとあるものが映せるとすれば図太い

仮説: あの海上部は堪え難くてそれにそれは図太い
1. 事実10と事実12から、推論1: "その階梯は予測するということはないしそれは合わせ易くない"が導かれる
2. 推論1と事実8から、推論2: "あの海上部は堪え難い"が導かれる
3. 事実1から、推論3: "もし仮に「あの海上部は愛する」ということは本当であるとするとそれは図太い"が導かれる
4. 事実18から、推論4: "もしあの海上部が映せればそれは図太い"が導かれる
5. 事実14と事実17から、推論5: "あの海上部は映せるか愛するかまたはどちらもである"が導かれる
6. 推論3と推論4と推論5から、推論6: "あの海上部は図太い"が導かれる
7. 推論2と推論6から、仮説が導かれる

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