この長期金利は測り難くない
fact1: この脾は公的規制でない fact2: 仮にこの脾が寂しいとしたらこのカメラ付き携帯電話は尽くし難い fact3: もしもこの脾は公的規制でないとすると寂しいししかも溶け難い fact4: 「このカメラ付き携帯電話は尽くし難い」ということは正しいとするとそれは易しい fact5: この長期金利は親指である fact6: この太鼓がしつこいならばあの長期金利は測り難い fact7: しつこくないものは塗り替えるししかも黒っぽい fact8: そのＸＰは易しいなら「あのＬＯはしつこいが矯正法でない」ということは成り立たない fact9: もしもこの太鼓は親指であるとしたらそれはしつこい fact10: もし仮にこのカメラ付き携帯電話が易しいとするとそのＸＰは易しい fact11: もしもそのラブヒが塗り替えるしまた黒っぽいならこの太鼓は黒っぽくない fact12: この私立学校が親指だし農協女性部である fact13: この太鼓は黒っぽい fact14: この太鼓が親指だし更にそれは黒っぽい fact15: 「測り難いものはしつこいということはないかあるいは塗り替えないかまたは両方ともである」ということは成り立つ
fact14 -> int1: 「この太鼓は親指である」ということは正しい; int1 & fact9 -> int2: この太鼓はしつこい; int2 & fact6 -> hypothesis;
fact14 -> int1: {A}{a}; int1 & fact9 -> int2: {C}{a}; int2 & fact6 -> hypothesis;
この私立学校は親指だ
fact16 -> int3: 仮にこの太鼓が測り難いとすればしつこくないか塗り替えないか両方ともである;
$facts$ = fact1: この脾は公的規制でない fact2: 仮にこの脾が寂しいとしたらこのカメラ付き携帯電話は尽くし難い fact3: もしもこの脾は公的規制でないとすると寂しいししかも溶け難い fact4: 「このカメラ付き携帯電話は尽くし難い」ということは正しいとするとそれは易しい fact5: この長期金利は親指である fact6: この太鼓がしつこいならばあの長期金利は測り難い fact7: しつこくないものは塗り替えるししかも黒っぽい fact8: そのＸＰは易しいなら「あのＬＯはしつこいが矯正法でない」ということは成り立たない fact9: もしもこの太鼓は親指であるとしたらそれはしつこい fact10: もし仮にこのカメラ付き携帯電話が易しいとするとそのＸＰは易しい fact11: もしもそのラブヒが塗り替えるしまた黒っぽいならこの太鼓は黒っぽくない fact12: この私立学校が親指だし農協女性部である fact13: この太鼓は黒っぽい fact14: この太鼓が親指だし更にそれは黒っぽい fact15: 「測り難いものはしつこいということはないかあるいは塗り替えないかまたは両方ともである」ということは成り立つ ; $hypothesis$ = この長期金利は測り難くない ; $proof$ = 
fact14 -> int1: 「この太鼓は親指である」ということは正しい; int1 & fact9 -> int2: この太鼓はしつこい; int2 & fact6 -> hypothesis; __DISPROVED__
事実1: この脾は公的規制でない
事実2: 仮にこの脾が寂しいとしたらこのカメラ付き携帯電話は尽くし難い
事実3: もしもこの脾は公的規制でないとすると寂しいししかも溶け難い
事実4: 「このカメラ付き携帯電話は尽くし難い」ということは正しいとするとそれは易しい
事実5: この長期金利は親指である
事実6: この太鼓がしつこいならばあの長期金利は測り難い
事実7: しつこくないものは塗り替えるししかも黒っぽい
事実8: そのＸＰは易しいなら「あのＬＯはしつこいが矯正法でない」ということは成り立たない
事実9: もしもこの太鼓は親指であるとしたらそれはしつこい
事実10: もし仮にこのカメラ付き携帯電話が易しいとするとそのＸＰは易しい
事実11: もしもそのラブヒが塗り替えるしまた黒っぽいならこの太鼓は黒っぽくない
事実12: この私立学校が親指だし農協女性部である
事実13: この太鼓は黒っぽい
事実14: この太鼓が親指だし更にそれは黒っぽい
事実15: 「測り難いものはしつこいということはないかあるいは塗り替えないかまたは両方ともである」ということは成り立つ

仮説: この長期金利は測り難くない
1. 事実14から、推論1: "「この太鼓は親指である」ということは正しい"が導かれる
2. 推論1と事実9から、推論2: "この太鼓はしつこい"が導かれる
3. 推論2と事実6から、仮説が否定される

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