あの再婚禁止期間はプチダンベルでない
fact1: この柔軟性がパターン化するとするとそれは救済出来る fact2: この柔軟性は少しする fact3: 「この右室は鳥籠でないしそれは尊敬出来ない」ということは事実と異なるとすれば「パターン化する」ということは本当だ fact4: もしある物はギプスであるということはないとするとプチダンベルでない fact5: 仮に何らかのものがパターン化すればギプスである fact6: この柔軟性が少しするとするとそれは救済出来る fact7: もし何らかの物が紳士らしいということはないとしたらそれはプチダンベルである fact8: もしもこの右室が尊敬出来るとすればそれはパターン化する fact9: もしこの右室が救済出来るしギプスだとしたらあの再婚禁止期間は紳士らしくない fact10: もしこの右室はパターン化しないとすれば「救済出来ないしそれはギプスである」ということは間違っている fact11: この右室はプチダンベルでない fact12: 「「この右室は鳥籠でなくて加えてそれは尊敬出来ない」ということは成り立つ」ということは嘘である fact13: もしもなにがしかのものが紳士らしいということはない一方でそれが少しするとすればそれはパターン化しない fact14: もしこの柔軟性が救済出来るとしたらこの右室は救済出来る fact15: このＩＰＡＱは少しする fact16: 「「この右室は鳥籠でないが尊敬出来る」ということは真実である」ということは事実と異なる
fact3 & fact12 -> int1: この右室はパターン化する; fact5 -> int2: もし仮にこの右室がパターン化するとしたらそれはギプスだ; int1 & int2 -> int3: この右室はギプスである; fact6 & fact2 -> int4: 「この柔軟性は救済出来る」ということは事実だ; int4 & fact14 -> int5: この右室は救済出来る; int3 & int5 -> int6: この右室は救済出来るしそれはギプスである; int6 & fact9 -> int7: あの再婚禁止期間は紳士らしくない; fact7 -> int8: 仮にあの再婚禁止期間が紳士らしいということはないとするとそれはプチダンベルである; int7 & int8 -> hypothesis;
「あの再婚禁止期間はプチダンベルでない」ということは成り立つ
fact18 -> int9: もしあの再婚禁止期間はギプスでないならば「それはプチダンベルでない」ということは事実だ; fact19 -> int10: もしこの右室は紳士らしくないけれど少しすればパターン化しない;
$facts$ = fact1: この柔軟性がパターン化するとするとそれは救済出来る fact2: この柔軟性は少しする fact3: 「この右室は鳥籠でないしそれは尊敬出来ない」ということは事実と異なるとすれば「パターン化する」ということは本当だ fact4: もしある物はギプスであるということはないとするとプチダンベルでない fact5: 仮に何らかのものがパターン化すればギプスである fact6: この柔軟性が少しするとするとそれは救済出来る fact7: もし何らかの物が紳士らしいということはないとしたらそれはプチダンベルである fact8: もしもこの右室が尊敬出来るとすればそれはパターン化する fact9: もしこの右室が救済出来るしギプスだとしたらあの再婚禁止期間は紳士らしくない fact10: もしこの右室はパターン化しないとすれば「救済出来ないしそれはギプスである」ということは間違っている fact11: この右室はプチダンベルでない fact12: 「「この右室は鳥籠でなくて加えてそれは尊敬出来ない」ということは成り立つ」ということは嘘である fact13: もしもなにがしかのものが紳士らしいということはない一方でそれが少しするとすればそれはパターン化しない fact14: もしこの柔軟性が救済出来るとしたらこの右室は救済出来る fact15: このＩＰＡＱは少しする fact16: 「「この右室は鳥籠でないが尊敬出来る」ということは真実である」ということは事実と異なる ; $hypothesis$ = あの再婚禁止期間はプチダンベルでない ; $proof$ = 
fact3 & fact12 -> int1: この右室はパターン化する; fact5 -> int2: もし仮にこの右室がパターン化するとしたらそれはギプスだ; int1 & int2 -> int3: この右室はギプスである; fact6 & fact2 -> int4: 「この柔軟性は救済出来る」ということは事実だ; int4 & fact14 -> int5: この右室は救済出来る; int3 & int5 -> int6: この右室は救済出来るしそれはギプスである; int6 & fact9 -> int7: あの再婚禁止期間は紳士らしくない; fact7 -> int8: 仮にあの再婚禁止期間が紳士らしいということはないとするとそれはプチダンベルである; int7 & int8 -> hypothesis; __DISPROVED__
事実1: この柔軟性がパターン化するとするとそれは救済出来る
事実2: この柔軟性は少しする
事実3: 「この右室は鳥籠でないしそれは尊敬出来ない」ということは事実と異なるとすれば「パターン化する」ということは本当だ
事実4: もしある物はギプスであるということはないとするとプチダンベルでない
事実5: 仮に何らかのものがパターン化すればギプスである
事実6: この柔軟性が少しするとするとそれは救済出来る
事実7: もし何らかの物が紳士らしいということはないとしたらそれはプチダンベルである
事実8: もしもこの右室が尊敬出来るとすればそれはパターン化する
事実9: もしこの右室が救済出来るしギプスだとしたらあの再婚禁止期間は紳士らしくない
事実10: もしこの右室はパターン化しないとすれば「救済出来ないしそれはギプスである」ということは間違っている
事実11: この右室はプチダンベルでない
事実12: 「「この右室は鳥籠でなくて加えてそれは尊敬出来ない」ということは成り立つ」ということは嘘である
事実13: もしもなにがしかのものが紳士らしいということはない一方でそれが少しするとすればそれはパターン化しない
事実14: もしこの柔軟性が救済出来るとしたらこの右室は救済出来る
事実15: このＩＰＡＱは少しする
事実16: 「「この右室は鳥籠でないが尊敬出来る」ということは真実である」ということは事実と異なる

仮説: あの再婚禁止期間はプチダンベルでない
1. 事実3と事実12から、推論1: "この右室はパターン化する"が導かれる
2. 事実5から、推論2: "もし仮にこの右室がパターン化するとしたらそれはギプスだ"が導かれる
3. 推論1と推論2から、推論3: "この右室はギプスである"が導かれる
4. 事実6と事実2から、推論4: "「この柔軟性は救済出来る」ということは事実だ"が導かれる
5. 推論4と事実14から、推論5: "この右室は救済出来る"が導かれる
6. 推論3と推論5から、推論6: "この右室は救済出来るしそれはギプスである"が導かれる
7. 推論6と事実9から、推論7: "あの再婚禁止期間は紳士らしくない"が導かれる
8. 事実7から、推論8: "仮にあの再婚禁止期間が紳士らしいということはないとするとそれはプチダンベルである"が導かれる
9. 推論7と推論8から、仮説が否定される

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