あの老人福祉施設は発症し易くない
fact1: なにかは浸透するなら「それは乗り継ぎだということはないしおまけに入所するということはない」ということは本当でない fact2: あの老人福祉施設は回廊であるがしかし乗り継ぎであるということはない fact3: その土曜日はしおらしくない fact4: もし仮にその南北朝期が算定し難いとしたらあの老人福祉施設は浸透する fact5: もしも「あの老人福祉施設は乗り継ぎでないし更に入所しない」ということは偽であるとすればあのＣＰＡＮモジュールは回廊である fact6: もしあの老人福祉施設は回廊であるとすればそれは発症し易い fact7: あの老人福祉施設は乗り継ぎでない
fact2 -> int1: あの老人福祉施設は回廊である; int1 & fact6 -> hypothesis;
fact2 -> int1: {A}{a}; int1 & fact6 -> hypothesis;
そのＣＰＡＮモジュールは有り付けるがしかし発症し易くない
fact8 -> int2: もしあの老人福祉施設は浸透するとすると「乗り継ぎでないし入所するということはない」ということは偽である; fact11 -> int3: 「何らかのものはしおらしくない」ということは成り立つ;
$facts$ = fact1: なにかは浸透するなら「それは乗り継ぎだということはないしおまけに入所するということはない」ということは本当でない fact2: あの老人福祉施設は回廊であるがしかし乗り継ぎであるということはない fact3: その土曜日はしおらしくない fact4: もし仮にその南北朝期が算定し難いとしたらあの老人福祉施設は浸透する fact5: もしも「あの老人福祉施設は乗り継ぎでないし更に入所しない」ということは偽であるとすればあのＣＰＡＮモジュールは回廊である fact6: もしあの老人福祉施設は回廊であるとすればそれは発症し易い fact7: あの老人福祉施設は乗り継ぎでない ; $hypothesis$ = あの老人福祉施設は発症し易くない ; $proof$ = 
fact2 -> int1: あの老人福祉施設は回廊である; int1 & fact6 -> hypothesis; __DISPROVED__
事実1: なにかは浸透するなら「それは乗り継ぎだということはないしおまけに入所するということはない」ということは本当でない
事実2: あの老人福祉施設は回廊であるがしかし乗り継ぎであるということはない
事実3: その土曜日はしおらしくない
事実4: もし仮にその南北朝期が算定し難いとしたらあの老人福祉施設は浸透する
事実5: もしも「あの老人福祉施設は乗り継ぎでないし更に入所しない」ということは偽であるとすればあのＣＰＡＮモジュールは回廊である
事実6: もしあの老人福祉施設は回廊であるとすればそれは発症し易い
事実7: あの老人福祉施設は乗り継ぎでない

仮説: あの老人福祉施設は発症し易くない
1. 事実2から、推論1: "あの老人福祉施設は回廊である"が導かれる
2. 推論1と事実6から、仮説が否定される

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