「その重点施策は物権化しないかもしくはひらひらするかもしくは両方だ」ということは本当でない
fact1: その重点施策は物権化するかひらひらする fact2: もし仮にこの一センチ以上がささくれ立てばこの真秀ろば鉄道は長期保存だ fact3: あのベルトコンベアーはホテル並みだ fact4: もしもなにがしかのものが長期保存であるとしたらその確率変数θＩＪは限度額管理でない fact5: もしもあのベルトコンベアーが物権化しないとすればあの重点施策は物権化するかあるいはひらひらするかまたは両方である fact6: その確率変数θＩＪが長期保存ならこの真秀ろば鉄道は限度額管理だ fact7: 「ささくれ立つ」物はある fact8: あのベルトコンベアーはホテル並みであるし加えて手早いならそれは物権化しない fact9: 「もしも「「未履行双務契約であるかまたは限度額管理だ」ということは成り立たない」物があるならあのベルトコンベアーは手早い」ということは成り立つ fact10: もし仮になにかはささくれ立たないなら「それは物権化しないかもしくはひらひらするかもしくは両方である」ということは偽だ fact11: もしあのベルトコンベアーが物権化するということはないならその重点施策は物権化しないかあるいはひらひらするかあるいはどちらもだ fact12: もし仮に「長期保存である」ものはあるなら「その確率変数θＩＪは未履行双務契約であるかまたはそれは限度額管理であるかあるいは両方ともだ」ということは事実と異なる fact13: その確率変数θＩＪは限度額管理でない fact14: この一センチ以上はささくれ立つ
fact2 & fact14 -> int1: この真秀ろば鉄道は長期保存である; int1 -> int2: 「長期保存な」ものはある; int2 & fact12 -> int3: 「「その確率変数θＩＪは未履行双務契約であるかあるいはそれは限度額管理である」ということは成り立つということはない」ということは成り立つ; int3 -> int4: 「「未履行双務契約であるか限度額管理である」ということは成り立たない」物はある; int4 & fact9 -> int5: あのベルトコンベアーは手早い; int5 & fact3 -> int6: あのベルトコンベアーはホテル並みであるし手早い; int6 & fact8 -> int7: あのベルトコンベアーは物権化するということはない; int7 & fact11 -> hypothesis;
「その重点施策は物権化しないかひらひらするかあるいはどちらもだ」ということは本当でない
fact15 -> int8: もしもその重点施策はささくれ立たないなら「物権化するということはないかまたはそれはひらひらするかまたは両方ともである」ということは成り立たない;
$facts$ = fact1: その重点施策は物権化するかひらひらする fact2: もし仮にこの一センチ以上がささくれ立てばこの真秀ろば鉄道は長期保存だ fact3: あのベルトコンベアーはホテル並みだ fact4: もしもなにがしかのものが長期保存であるとしたらその確率変数θＩＪは限度額管理でない fact5: もしもあのベルトコンベアーが物権化しないとすればあの重点施策は物権化するかあるいはひらひらするかまたは両方である fact6: その確率変数θＩＪが長期保存ならこの真秀ろば鉄道は限度額管理だ fact7: 「ささくれ立つ」物はある fact8: あのベルトコンベアーはホテル並みであるし加えて手早いならそれは物権化しない fact9: 「もしも「「未履行双務契約であるかまたは限度額管理だ」ということは成り立たない」物があるならあのベルトコンベアーは手早い」ということは成り立つ fact10: もし仮になにかはささくれ立たないなら「それは物権化しないかもしくはひらひらするかもしくは両方である」ということは偽だ fact11: もしあのベルトコンベアーが物権化するということはないならその重点施策は物権化しないかあるいはひらひらするかあるいはどちらもだ fact12: もし仮に「長期保存である」ものはあるなら「その確率変数θＩＪは未履行双務契約であるかまたはそれは限度額管理であるかあるいは両方ともだ」ということは事実と異なる fact13: その確率変数θＩＪは限度額管理でない fact14: この一センチ以上はささくれ立つ ; $hypothesis$ = 「その重点施策は物権化しないかもしくはひらひらするかもしくは両方だ」ということは本当でない ; $proof$ = 
fact2 & fact14 -> int1: この真秀ろば鉄道は長期保存である; int1 -> int2: 「長期保存な」ものはある; int2 & fact12 -> int3: 「「その確率変数θＩＪは未履行双務契約であるかあるいはそれは限度額管理である」ということは成り立つということはない」ということは成り立つ; int3 -> int4: 「「未履行双務契約であるか限度額管理である」ということは成り立たない」物はある; int4 & fact9 -> int5: あのベルトコンベアーは手早い; int5 & fact3 -> int6: あのベルトコンベアーはホテル並みであるし手早い; int6 & fact8 -> int7: あのベルトコンベアーは物権化するということはない; int7 & fact11 -> hypothesis; __DISPROVED__
事実1: その重点施策は物権化するかひらひらする
事実2: もし仮にこの一センチ以上がささくれ立てばこの真秀ろば鉄道は長期保存だ
事実3: あのベルトコンベアーはホテル並みだ
事実4: もしもなにがしかのものが長期保存であるとしたらその確率変数θＩＪは限度額管理でない
事実5: もしもあのベルトコンベアーが物権化しないとすればあの重点施策は物権化するかあるいはひらひらするかまたは両方である
事実6: その確率変数θＩＪが長期保存ならこの真秀ろば鉄道は限度額管理だ
事実7: 「ささくれ立つ」物はある
事実8: あのベルトコンベアーはホテル並みであるし加えて手早いならそれは物権化しない
事実9: 「もしも「「未履行双務契約であるかまたは限度額管理だ」ということは成り立たない」物があるならあのベルトコンベアーは手早い」ということは成り立つ
事実10: もし仮になにかはささくれ立たないなら「それは物権化しないかもしくはひらひらするかもしくは両方である」ということは偽だ
事実11: もしあのベルトコンベアーが物権化するということはないならその重点施策は物権化しないかあるいはひらひらするかあるいはどちらもだ
事実12: もし仮に「長期保存である」ものはあるなら「その確率変数θＩＪは未履行双務契約であるかまたはそれは限度額管理であるかあるいは両方ともだ」ということは事実と異なる
事実13: その確率変数θＩＪは限度額管理でない
事実14: この一センチ以上はささくれ立つ

仮説: 「その重点施策は物権化しないかもしくはひらひらするかもしくは両方だ」ということは本当でない
1. 事実2と事実14から、推論1: "この真秀ろば鉄道は長期保存である"が導かれる
2. 推論1から、推論2: "「長期保存な」ものはある"が導かれる
3. 推論2と事実12から、推論3: "「「その確率変数θＩＪは未履行双務契約であるかあるいはそれは限度額管理である」ということは成り立つということはない」ということは成り立つ"が導かれる
4. 推論3から、推論4: "「「未履行双務契約であるか限度額管理である」ということは成り立たない」物はある"が導かれる
5. 推論4と事実9から、推論5: "あのベルトコンベアーは手早い"が導かれる
6. 推論5と事実3から、推論6: "あのベルトコンベアーはホテル並みであるし手早い"が導かれる
7. 推論6と事実8から、推論7: "あのベルトコンベアーは物権化するということはない"が導かれる
8. 推論7と事実11から、仮説が否定される

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