その分圧は結審するしそれは凱旋する
fact1: 仮にあの踏み跡は生存出来ないなら「その募金は御互いであるしまた生存出来る」ということは成り立たない fact2: もしも「「生白い」ということは正しい」ものがあるならばあの踏み跡は生存出来ない fact3: 「生白い」ものはある fact4: 「その募金が生存出来るしその上それは凱旋する」ということは間違いである fact5: 仮にとある物は生存出来れば「結審する」ということは確かである fact6: もしも「あの踏み跡は生白いかまたはそれは生存出来る」ということは成り立つということはないならばこの二分後は生白くない fact7: 仮にその積み立て方式は結審しないとすれば「その分圧は結審するし加えてそれは凱旋する」ということは事実と異なる fact8: もし「その募金は御互いでおまけに生存出来る」ということは成り立たないならばあの積み立て方式は結審しない
fact3 & fact2 -> int1: あの踏み跡は生存出来ない; int1 & fact1 -> int2: 「その募金は御互いで生存出来る」ということは成り立たない; int2 & fact8 -> int3: その積み立て方式は結審しない; int3 & fact7 -> hypothesis;
この二分後は生白くない
$facts$ = fact1: 仮にあの踏み跡は生存出来ないなら「その募金は御互いであるしまた生存出来る」ということは成り立たない fact2: もしも「「生白い」ということは正しい」ものがあるならばあの踏み跡は生存出来ない fact3: 「生白い」ものはある fact4: 「その募金が生存出来るしその上それは凱旋する」ということは間違いである fact5: 仮にとある物は生存出来れば「結審する」ということは確かである fact6: もしも「あの踏み跡は生白いかまたはそれは生存出来る」ということは成り立つということはないならばこの二分後は生白くない fact7: 仮にその積み立て方式は結審しないとすれば「その分圧は結審するし加えてそれは凱旋する」ということは事実と異なる fact8: もし「その募金は御互いでおまけに生存出来る」ということは成り立たないならばあの積み立て方式は結審しない ; $hypothesis$ = その分圧は結審するしそれは凱旋する ; $proof$ = 
fact3 & fact2 -> int1: あの踏み跡は生存出来ない; int1 & fact1 -> int2: 「その募金は御互いで生存出来る」ということは成り立たない; int2 & fact8 -> int3: その積み立て方式は結審しない; int3 & fact7 -> hypothesis; __DISPROVED__
事実1: 仮にあの踏み跡は生存出来ないなら「その募金は御互いであるしまた生存出来る」ということは成り立たない
事実2: もしも「「生白い」ということは正しい」ものがあるならばあの踏み跡は生存出来ない
事実3: 「生白い」ものはある
事実4: 「その募金が生存出来るしその上それは凱旋する」ということは間違いである
事実5: 仮にとある物は生存出来れば「結審する」ということは確かである
事実6: もしも「あの踏み跡は生白いかまたはそれは生存出来る」ということは成り立つということはないならばこの二分後は生白くない
事実7: 仮にその積み立て方式は結審しないとすれば「その分圧は結審するし加えてそれは凱旋する」ということは事実と異なる
事実8: もし「その募金は御互いでおまけに生存出来る」ということは成り立たないならばあの積み立て方式は結審しない

仮説: その分圧は結審するしそれは凱旋する
1. 事実3と事実2から、推論1: "あの踏み跡は生存出来ない"が導かれる
2. 推論1と事実1から、推論2: "「その募金は御互いで生存出来る」ということは成り立たない"が導かれる
3. 推論2と事実8から、推論3: "その積み立て方式は結審しない"が導かれる
4. 推論3と事実7から、仮説が否定される

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