この登録等は思さない
fact1: あの在宅患者は適応症である fact2: 「もしもそのリンク馬券術が日本語普及でないならこの登録等が伽羅だしさらにそれは落とし立てだ」ということは確かである fact3: 落とし立ては思す fact4: 「もしあの在宅患者が適応症であるならそのリンク馬券術は感受しないしそれは咬合病・Ｔ．Ｍ．Ｊ．機能障害でない」ということは正しい fact5: 仮に「なにがしかのものは感受するということはないしおまけにそれは咬合病・Ｔ．Ｍ．Ｊ．機能障害でない」ということは真実であるとすれば日本語普及でない fact6: もしもそのリンク馬券術は日本語普及でないなら「この登録等は伽羅でない」ということは偽だ
fact4 & fact1 -> int1: そのリンク馬券術は感受しなくてその上それは咬合病・Ｔ．Ｍ．Ｊ．機能障害だということはない; fact5 -> int2: もしもそのリンク馬券術が感受しないしさらにそれは咬合病・Ｔ．Ｍ．Ｊ．機能障害でないならそれは日本語普及でない; int1 & int2 -> int3: そのリンク馬券術は日本語普及だということはない; int3 & fact2 -> int4: この登録等は伽羅であるししかも落とし立てである; int4 -> int5: 「この登録等は落とし立てである」ということは正しい; fact3 -> int6: もし仮にこの登録等は落とし立てであるならば「思す」ということは事実だ; int5 & int6 -> hypothesis;
$facts$ = fact1: あの在宅患者は適応症である fact2: 「もしもそのリンク馬券術が日本語普及でないならこの登録等が伽羅だしさらにそれは落とし立てだ」ということは確かである fact3: 落とし立ては思す fact4: 「もしあの在宅患者が適応症であるならそのリンク馬券術は感受しないしそれは咬合病・Ｔ．Ｍ．Ｊ．機能障害でない」ということは正しい fact5: 仮に「なにがしかのものは感受するということはないしおまけにそれは咬合病・Ｔ．Ｍ．Ｊ．機能障害でない」ということは真実であるとすれば日本語普及でない fact6: もしもそのリンク馬券術は日本語普及でないなら「この登録等は伽羅でない」ということは偽だ ; $hypothesis$ = この登録等は思さない ; $proof$ = 
fact4 & fact1 -> int1: そのリンク馬券術は感受しなくてその上それは咬合病・Ｔ．Ｍ．Ｊ．機能障害だということはない; fact5 -> int2: もしもそのリンク馬券術が感受しないしさらにそれは咬合病・Ｔ．Ｍ．Ｊ．機能障害でないならそれは日本語普及でない; int1 & int2 -> int3: そのリンク馬券術は日本語普及だということはない; int3 & fact2 -> int4: この登録等は伽羅であるししかも落とし立てである; int4 -> int5: 「この登録等は落とし立てである」ということは正しい; fact3 -> int6: もし仮にこの登録等は落とし立てであるならば「思す」ということは事実だ; int5 & int6 -> hypothesis; __DISPROVED__
事実1: あの在宅患者は適応症である
事実2: 「もしもそのリンク馬券術が日本語普及でないならこの登録等が伽羅だしさらにそれは落とし立てだ」ということは確かである
事実3: 落とし立ては思す
事実4: 「もしあの在宅患者が適応症であるならそのリンク馬券術は感受しないしそれは咬合病・Ｔ．Ｍ．Ｊ．機能障害でない」ということは正しい
事実5: 仮に「なにがしかのものは感受するということはないしおまけにそれは咬合病・Ｔ．Ｍ．Ｊ．機能障害でない」ということは真実であるとすれば日本語普及でない
事実6: もしもそのリンク馬券術は日本語普及でないなら「この登録等は伽羅でない」ということは偽だ

仮説: この登録等は思さない
1. 事実4と事実1から、推論1: "そのリンク馬券術は感受しなくてその上それは咬合病・Ｔ．Ｍ．Ｊ．機能障害だということはない"が導かれる
2. 事実5から、推論2: "もしもそのリンク馬券術が感受しないしさらにそれは咬合病・Ｔ．Ｍ．Ｊ．機能障害でないならそれは日本語普及でない"が導かれる
3. 推論1と推論2から、推論3: "そのリンク馬券術は日本語普及だということはない"が導かれる
4. 推論3と事実2から、推論4: "この登録等は伽羅であるししかも落とし立てである"が導かれる
5. 推論4から、推論5: "「この登録等は落とし立てである」ということは正しい"が導かれる
6. 事実3から、推論6: "もし仮にこの登録等は落とし立てであるならば「思す」ということは事実だ"が導かれる
7. 推論5と推論6から、仮説が否定される

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