「その組織培養は上がり難い」ということは真実である
fact1: もしもあるものが開発出来ないとするとそれは抗い難くないし更にそれは這わす fact2: もしその横須賀支店が上がり難いならばその組織培養は這わす一方で抗い難くない fact3: その横須賀支店は這わす fact4: その組織培養は転じる fact5: その横須賀支店が這わすならその組織培養は抗い難いがしかし上がり難くない fact6: もしその横須賀支店が抗い難いとするとその組織培養は上がり難いけれどそれは這わさない fact7: その組織培養は抗い難い fact8: あるものが約束出来るということはないとすればそれは嘆かわしくておまけにそれは開発出来ない fact9: 仮にその横須賀支店が抗い難くないが這わすならこのワードファイルは抗い難くない fact10: もし仮にその横須賀支店が這わすならばあの組織培養は抗い難い fact11: 「「その横須賀支店は上がり難い」ということは成り立つ」ということは成り立たない fact12: その組織培養が這わすとするとその横須賀支店は抗い難い
fact5 & fact3 -> int1: その組織培養は抗い難いけど上がり難くない; int1 -> hypothesis;
このワードファイルは抗い難くない
fact14 -> int2: もしその横須賀支店が開発出来ないとしたらそれは抗い難くないけれど這わす; fact15 -> int3: もしもその横須賀支店が約束出来ないとしたらそれは嘆かわしいけど開発出来ない;
$facts$ = fact1: もしもあるものが開発出来ないとするとそれは抗い難くないし更にそれは這わす fact2: もしその横須賀支店が上がり難いならばその組織培養は這わす一方で抗い難くない fact3: その横須賀支店は這わす fact4: その組織培養は転じる fact5: その横須賀支店が這わすならその組織培養は抗い難いがしかし上がり難くない fact6: もしその横須賀支店が抗い難いとするとその組織培養は上がり難いけれどそれは這わさない fact7: その組織培養は抗い難い fact8: あるものが約束出来るということはないとすればそれは嘆かわしくておまけにそれは開発出来ない fact9: 仮にその横須賀支店が抗い難くないが這わすならこのワードファイルは抗い難くない fact10: もし仮にその横須賀支店が這わすならばあの組織培養は抗い難い fact11: 「「その横須賀支店は上がり難い」ということは成り立つ」ということは成り立たない fact12: その組織培養が這わすとするとその横須賀支店は抗い難い ; $hypothesis$ = 「その組織培養は上がり難い」ということは真実である ; $proof$ = 
fact5 & fact3 -> int1: その組織培養は抗い難いけど上がり難くない; int1 -> hypothesis; __DISPROVED__
事実1: もしもあるものが開発出来ないとするとそれは抗い難くないし更にそれは這わす
事実2: もしその横須賀支店が上がり難いならばその組織培養は這わす一方で抗い難くない
事実3: その横須賀支店は這わす
事実4: その組織培養は転じる
事実5: その横須賀支店が這わすならその組織培養は抗い難いがしかし上がり難くない
事実6: もしその横須賀支店が抗い難いとするとその組織培養は上がり難いけれどそれは這わさない
事実7: その組織培養は抗い難い
事実8: あるものが約束出来るということはないとすればそれは嘆かわしくておまけにそれは開発出来ない
事実9: 仮にその横須賀支店が抗い難くないが這わすならこのワードファイルは抗い難くない
事実10: もし仮にその横須賀支店が這わすならばあの組織培養は抗い難い
事実11: 「「その横須賀支店は上がり難い」ということは成り立つ」ということは成り立たない
事実12: その組織培養が這わすとするとその横須賀支店は抗い難い

仮説: 「その組織培養は上がり難い」ということは真実である
1. 事実5と事実3から、推論1: "その組織培養は抗い難いけど上がり難くない"が導かれる
2. 推論1から、仮説が否定される

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