「あの拠出資本は末梢白血球数である」ということは事実である
fact1: もし仮にあの拠出資本が末梢白血球数だし赤しとすればあの基幹は丸っこくない fact2: あの拠出資本は厳めしい fact3: そのレコードソースは赤し fact4: この隠密回りは活動し難くてそれは丸っこい fact5: あの基幹はおっそろしないかあるいは間借りしないかどちらもである fact6: もしあの基幹が丸っこくないし末梢白血球数であるということはないならあの道徳原理は末梢白血球数である fact7: 「あの基幹は丸っこい」ということは成り立つ fact8: もしあの基幹が間借りするとすればそれは丸っこくない fact9: もし「なにがしかのものは宜しけどＦＳＢクロック周波数でない」ということは誤っているとしたら「それは宜しない」ということは事実だ fact10: 「あの基幹は赤し」ということは成り立つ fact11: 赤しものは末梢白血球数だ fact12: もしあの基幹が赤ししかつ丸っこいならあの拠出資本は末梢白血球数でない fact13: もし仮になにがしかのものは間借りするなら「宜しけれどＦＳＢクロック周波数でない」ということは成り立たない fact14: もしもとある物が宜しないとするとそれは赤ししおまけにそれは丸っこい
fact10 & fact7 -> int1: あの基幹は赤しし更に丸っこい; int1 & fact12 -> hypothesis;
あの道徳原理は末梢白血球数だ
$facts$ = fact1: もし仮にあの拠出資本が末梢白血球数だし赤しとすればあの基幹は丸っこくない fact2: あの拠出資本は厳めしい fact3: そのレコードソースは赤し fact4: この隠密回りは活動し難くてそれは丸っこい fact5: あの基幹はおっそろしないかあるいは間借りしないかどちらもである fact6: もしあの基幹が丸っこくないし末梢白血球数であるということはないならあの道徳原理は末梢白血球数である fact7: 「あの基幹は丸っこい」ということは成り立つ fact8: もしあの基幹が間借りするとすればそれは丸っこくない fact9: もし「なにがしかのものは宜しけどＦＳＢクロック周波数でない」ということは誤っているとしたら「それは宜しない」ということは事実だ fact10: 「あの基幹は赤し」ということは成り立つ fact11: 赤しものは末梢白血球数だ fact12: もしあの基幹が赤ししかつ丸っこいならあの拠出資本は末梢白血球数でない fact13: もし仮になにがしかのものは間借りするなら「宜しけれどＦＳＢクロック周波数でない」ということは成り立たない fact14: もしもとある物が宜しないとするとそれは赤ししおまけにそれは丸っこい ; $hypothesis$ = 「あの拠出資本は末梢白血球数である」ということは事実である ; $proof$ = 
fact10 & fact7 -> int1: あの基幹は赤しし更に丸っこい; int1 & fact12 -> hypothesis; __DISPROVED__
事実1: もし仮にあの拠出資本が末梢白血球数だし赤しとすればあの基幹は丸っこくない
事実2: あの拠出資本は厳めしい
事実3: そのレコードソースは赤し
事実4: この隠密回りは活動し難くてそれは丸っこい
事実5: あの基幹はおっそろしないかあるいは間借りしないかどちらもである
事実6: もしあの基幹が丸っこくないし末梢白血球数であるということはないならあの道徳原理は末梢白血球数である
事実7: 「あの基幹は丸っこい」ということは成り立つ
事実8: もしあの基幹が間借りするとすればそれは丸っこくない
事実9: もし「なにがしかのものは宜しけどＦＳＢクロック周波数でない」ということは誤っているとしたら「それは宜しない」ということは事実だ
事実10: 「あの基幹は赤し」ということは成り立つ
事実11: 赤しものは末梢白血球数だ
事実12: もしあの基幹が赤ししかつ丸っこいならあの拠出資本は末梢白血球数でない
事実13: もし仮になにがしかのものは間借りするなら「宜しけれどＦＳＢクロック周波数でない」ということは成り立たない
事実14: もしもとある物が宜しないとするとそれは赤ししおまけにそれは丸っこい

仮説: 「あの拠出資本は末梢白血球数である」ということは事実である
1. 事実10と事実7から、推論1: "あの基幹は赤しし更に丸っこい"が導かれる
2. 推論1と事実12から、仮説が否定される

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