このフォーは矢張りだ
fact1: 仮に「第三者機関である」ものがあるならこの境界地域は実態等でないし加えて面白くない fact2: 仮に「「実態等でなくて面白いということはない」ということは偽であるということはない」物があるならこのＣＯＮＦエントリ書式は由々しい fact3: 「第三者機関である」物はある fact4: 何らかの物は実態等でないとしたら「第三者機関でないしまた矢張りでない」ということは成り立つということはない fact5: もしもこの境界地域が第三者機関だということはないか実態等でないかどちらもであるとすればその一割程度は第三者機関でない fact6: 由々しい物は面白くない fact7: 仮に「このフォーは合併し易いかあるいはそれは繋がり兼ねるか両方ともだ」ということは真実であるなら矢張りでない fact8: もしこのフォーが繋がり兼ねるとしたらそれは矢張りでない fact9: 面白くない物は第三者機関でないかもしくは実態等でないかあるいはどちらもである fact10: ある物は党勢であるということはない fact11: もしもこのフォーが渦巻き状だとすれば合併し易い fact12: もし「このＣＯＮＦエントリ書式は面白くないかそれは由々しいかもしくは両方ともだ」ということは偽であるとしたらこの境界地域は実態等だということはない fact13: もし「繋がり兼ねなくて渦巻き状だということはない」物があるとすればこのフォーは由々しい fact14: もしもこのＣＯＮＦエントリ書式が由々しいとするとこのフォーは渦巻き状である
fact3 & fact1 -> int1: この境界地域は実態等でなくておまけに面白くない; int1 -> int2: 何らかの物は実態等でなくてかつ面白くない; int2 & fact2 -> int3: このＣＯＮＦエントリ書式は由々しい; int3 & fact14 -> int4: このフォーは渦巻き状である; int4 & fact11 -> int5: 「このフォーは合併し易い」ということは成り立つ; int5 -> int6: このフォーは合併し易いかもしくはそれは繋がり兼ねるかもしくは両方ともだ; int6 & fact7 -> hypothesis;
その一割程度は第三者機関でない
fact16 -> int7: もし仮にこの境界地域は面白くないならば「それは第三者機関でないかまたはそれは実態等でない」ということは真実だ; fact17 -> int8: 仮にこの境界地域が由々しいとするとそれは面白くない;
$facts$ = fact1: 仮に「第三者機関である」ものがあるならこの境界地域は実態等でないし加えて面白くない fact2: 仮に「「実態等でなくて面白いということはない」ということは偽であるということはない」物があるならこのＣＯＮＦエントリ書式は由々しい fact3: 「第三者機関である」物はある fact4: 何らかの物は実態等でないとしたら「第三者機関でないしまた矢張りでない」ということは成り立つということはない fact5: もしもこの境界地域が第三者機関だということはないか実態等でないかどちらもであるとすればその一割程度は第三者機関でない fact6: 由々しい物は面白くない fact7: 仮に「このフォーは合併し易いかあるいはそれは繋がり兼ねるか両方ともだ」ということは真実であるなら矢張りでない fact8: もしこのフォーが繋がり兼ねるとしたらそれは矢張りでない fact9: 面白くない物は第三者機関でないかもしくは実態等でないかあるいはどちらもである fact10: ある物は党勢であるということはない fact11: もしもこのフォーが渦巻き状だとすれば合併し易い fact12: もし「このＣＯＮＦエントリ書式は面白くないかそれは由々しいかもしくは両方ともだ」ということは偽であるとしたらこの境界地域は実態等だということはない fact13: もし「繋がり兼ねなくて渦巻き状だということはない」物があるとすればこのフォーは由々しい fact14: もしもこのＣＯＮＦエントリ書式が由々しいとするとこのフォーは渦巻き状である ; $hypothesis$ = このフォーは矢張りだ ; $proof$ = 
fact3 & fact1 -> int1: この境界地域は実態等でなくておまけに面白くない; int1 -> int2: 何らかの物は実態等でなくてかつ面白くない; int2 & fact2 -> int3: このＣＯＮＦエントリ書式は由々しい; int3 & fact14 -> int4: このフォーは渦巻き状である; int4 & fact11 -> int5: 「このフォーは合併し易い」ということは成り立つ; int5 -> int6: このフォーは合併し易いかもしくはそれは繋がり兼ねるかもしくは両方ともだ; int6 & fact7 -> hypothesis; __DISPROVED__
事実1: 仮に「第三者機関である」ものがあるならこの境界地域は実態等でないし加えて面白くない
事実2: 仮に「「実態等でなくて面白いということはない」ということは偽であるということはない」物があるならこのＣＯＮＦエントリ書式は由々しい
事実3: 「第三者機関である」物はある
事実4: 何らかの物は実態等でないとしたら「第三者機関でないしまた矢張りでない」ということは成り立つということはない
事実5: もしもこの境界地域が第三者機関だということはないか実態等でないかどちらもであるとすればその一割程度は第三者機関でない
事実6: 由々しい物は面白くない
事実7: 仮に「このフォーは合併し易いかあるいはそれは繋がり兼ねるか両方ともだ」ということは真実であるなら矢張りでない
事実8: もしこのフォーが繋がり兼ねるとしたらそれは矢張りでない
事実9: 面白くない物は第三者機関でないかもしくは実態等でないかあるいはどちらもである
事実10: ある物は党勢であるということはない
事実11: もしもこのフォーが渦巻き状だとすれば合併し易い
事実12: もし「このＣＯＮＦエントリ書式は面白くないかそれは由々しいかもしくは両方ともだ」ということは偽であるとしたらこの境界地域は実態等だということはない
事実13: もし「繋がり兼ねなくて渦巻き状だということはない」物があるとすればこのフォーは由々しい
事実14: もしもこのＣＯＮＦエントリ書式が由々しいとするとこのフォーは渦巻き状である

仮説: このフォーは矢張りだ
1. 事実3と事実1から、推論1: "この境界地域は実態等でなくておまけに面白くない"が導かれる
2. 推論1から、推論2: "何らかの物は実態等でなくてかつ面白くない"が導かれる
3. 推論2と事実2から、推論3: "このＣＯＮＦエントリ書式は由々しい"が導かれる
4. 推論3と事実14から、推論4: "このフォーは渦巻き状である"が導かれる
5. 推論4と事実11から、推論5: "「このフォーは合併し易い」ということは成り立つ"が導かれる
6. 推論5から、推論6: "このフォーは合併し易いかもしくはそれは繋がり兼ねるかもしくは両方ともだ"が導かれる
7. 推論6と事実7から、仮説が否定される

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