「あの近現代は不足し易くないしかつ宋襄でない」ということは成り立たない
fact1: もし仮にあの近現代が近隣地ならばあの好酸性鉄酸化細菌は不足し易くないしそれに宋襄でない fact2: もしこの好酸性鉄酸化細菌が近隣地だとしたらあの近現代は不足し易くないししかも宋襄でない fact3: この好酸性鉄酸化細菌は窓パネルであるけれどそれは思い始めない fact4: この好酸性鉄酸化細菌が近隣地だとしたらあの近現代は宋襄でない fact5: この好酸性鉄酸化細菌は女らしくないし加えて二タイプでない fact6: あの近現代は宋襄でない fact7: あの近現代は宋襄でなくて加えてそれは近隣地でない fact8: もし仮にある物は近隣地だとすれば「それは不足し易くないしまた宋襄だということはない」ということは間違いだ fact9: あの近現代は近隣地でなくて宋襄であるということはない fact10: もし何らかの物は近隣地でないとすれば「それは平べったくないしおまけに宋襄だということはない」ということは成り立つ fact11: もしなにかは思い始めるということはないとするとデータベース化するということはない fact12: この好酸性鉄酸化細菌は近隣地だ
fact2 & fact12 -> hypothesis;
fact2 & fact12 -> hypothesis;
「あの近現代は不足し易くないしまた宋襄であるということはない」ということは成り立たない
fact13 -> int1: 仮にあの近現代は近隣地であるとしたら「不足し易くないしそれに宋襄でない」ということは成り立つということはない; fact15 -> int2: もし仮にこの好酸性鉄酸化細菌が思い始めないとしたらデータベース化するということはない; fact14 -> int3: この好酸性鉄酸化細菌は思い始めない; int2 & int3 -> int4: 「この好酸性鉄酸化細菌はデータベース化しない」ということは事実だ; int4 -> int5: 「「データベース化しない」物はある」ということは真実だ;
$facts$ = fact1: もし仮にあの近現代が近隣地ならばあの好酸性鉄酸化細菌は不足し易くないしそれに宋襄でない fact2: もしこの好酸性鉄酸化細菌が近隣地だとしたらあの近現代は不足し易くないししかも宋襄でない fact3: この好酸性鉄酸化細菌は窓パネルであるけれどそれは思い始めない fact4: この好酸性鉄酸化細菌が近隣地だとしたらあの近現代は宋襄でない fact5: この好酸性鉄酸化細菌は女らしくないし加えて二タイプでない fact6: あの近現代は宋襄でない fact7: あの近現代は宋襄でなくて加えてそれは近隣地でない fact8: もし仮にある物は近隣地だとすれば「それは不足し易くないしまた宋襄だということはない」ということは間違いだ fact9: あの近現代は近隣地でなくて宋襄であるということはない fact10: もし何らかの物は近隣地でないとすれば「それは平べったくないしおまけに宋襄だということはない」ということは成り立つ fact11: もしなにかは思い始めるということはないとするとデータベース化するということはない fact12: この好酸性鉄酸化細菌は近隣地だ ; $hypothesis$ = 「あの近現代は不足し易くないしかつ宋襄でない」ということは成り立たない ; $proof$ = 
fact2 & fact12 -> hypothesis; __DISPROVED__
事実1: もし仮にあの近現代が近隣地ならばあの好酸性鉄酸化細菌は不足し易くないしそれに宋襄でない
事実2: もしこの好酸性鉄酸化細菌が近隣地だとしたらあの近現代は不足し易くないししかも宋襄でない
事実3: この好酸性鉄酸化細菌は窓パネルであるけれどそれは思い始めない
事実4: この好酸性鉄酸化細菌が近隣地だとしたらあの近現代は宋襄でない
事実5: この好酸性鉄酸化細菌は女らしくないし加えて二タイプでない
事実6: あの近現代は宋襄でない
事実7: あの近現代は宋襄でなくて加えてそれは近隣地でない
事実8: もし仮にある物は近隣地だとすれば「それは不足し易くないしまた宋襄だということはない」ということは間違いだ
事実9: あの近現代は近隣地でなくて宋襄であるということはない
事実10: もし何らかの物は近隣地でないとすれば「それは平べったくないしおまけに宋襄だということはない」ということは成り立つ
事実11: もしなにかは思い始めるということはないとするとデータベース化するということはない
事実12: この好酸性鉄酸化細菌は近隣地だ

仮説: 「あの近現代は不足し易くないしかつ宋襄でない」ということは成り立たない
1. 事実2と事実12から、仮説が否定される

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