あの表組みは書き捲るしおまけに煩がる
fact1: その院内感染対策は煩がる fact2: あの表組みは煩がる fact3: 仮になにがしかのものが処理出来るとしたらつとする fact4: もしも「あの表組みは上級者向けである」ということは成り立つとすれば代わり映えする fact5: 仮に「あの表組みは代わり映えする」ということは確かであるならそれは病み付く fact6: その大帝は病み付かない fact7: あの表組みは病み付かない fact8: 仮にあの表組みが書き捲らないとすると上級者向けだしかつそれは空輸でない
void -> assump1: 以下のように仮定する。あの表組みは書き捲らない; fact8 & assump1 -> int1: あの表組みは上級者向けだけど空輸でない; int1 -> int2: あの表組みは上級者向けである; int2 & fact4 -> int3: あの表組みは代わり映えする; int3 & fact5 -> int4: あの表組みは病み付く; int4 & fact7 -> int5: これは矛盾である; [assump1] & int5 -> int6: あの表組みは書き捲る; int6 & fact2 -> hypothesis;
もし仮にその右心不全が処理出来るとすればつとする
fact9 -> hypothesis;
$facts$ = fact1: その院内感染対策は煩がる fact2: あの表組みは煩がる fact3: 仮になにがしかのものが処理出来るとしたらつとする fact4: もしも「あの表組みは上級者向けである」ということは成り立つとすれば代わり映えする fact5: 仮に「あの表組みは代わり映えする」ということは確かであるならそれは病み付く fact6: その大帝は病み付かない fact7: あの表組みは病み付かない fact8: 仮にあの表組みが書き捲らないとすると上級者向けだしかつそれは空輸でない ; $hypothesis$ = あの表組みは書き捲るしおまけに煩がる ; $proof$ = 
void -> assump1: 以下のように仮定する。あの表組みは書き捲らない; fact8 & assump1 -> int1: あの表組みは上級者向けだけど空輸でない; int1 -> int2: あの表組みは上級者向けである; int2 & fact4 -> int3: あの表組みは代わり映えする; int3 & fact5 -> int4: あの表組みは病み付く; int4 & fact7 -> int5: これは矛盾である; [assump1] & int5 -> int6: あの表組みは書き捲る; int6 & fact2 -> hypothesis; __PROVED__
事実1: その院内感染対策は煩がる
事実2: あの表組みは煩がる
事実3: 仮になにがしかのものが処理出来るとしたらつとする
事実4: もしも「あの表組みは上級者向けである」ということは成り立つとすれば代わり映えする
事実5: 仮に「あの表組みは代わり映えする」ということは確かであるならそれは病み付く
事実6: その大帝は病み付かない
事実7: あの表組みは病み付かない
事実8: 仮にあの表組みが書き捲らないとすると上級者向けだしかつそれは空輸でない

仮説: あの表組みは書き捲るしおまけに煩がる
1. 仮定1: 以下のように仮定する。あの表組みは書き捲らない
2. 事実8と仮定1から、推論1: "あの表組みは上級者向けだけど空輸でない"が導かれる
3. 推論1から、推論2: "あの表組みは上級者向けである"が導かれる
4. 推論2と事実4から、推論3: "あの表組みは代わり映えする"が導かれる
5. 推論3と事実5から、推論4: "あの表組みは病み付く"が導かれる
6. 推論4と事実7から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "あの表組みは書き捲る"が導かれる
8. 推論6と事実2から、仮説が導かれる

よって、仮説が証明されました。