この専門職・実務担当者間は喉仏でない
fact1: そのＮＫは参加しない fact2: もしその孤立無援は思量すとすると「そのＮＫが秋刀魚だけど参加しない」ということは事実と異なる fact3: もしなにかはか弱いとしたら喉仏だ fact4: 仮にその孤立無援が思量すということはないとすればこの専門職・実務担当者間は思量す一方で狡賢くない fact5: そのＮＫは秋刀魚である fact6: もしなにがしかのものが思量すけど狡賢いということはないとすればそれは罹り易い fact7: 罹り易いものはか弱い
void -> assump1: 以下のように仮定する。その孤立無援は思量す; fact2 & assump1 -> int1: 「そのＮＫは秋刀魚であるが参加しない」ということは事実と異なる; fact1 & fact5 -> int2: 「そのＮＫは秋刀魚だけれど参加しない」ということは成り立つ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: その孤立無援は思量すらない; int4 & fact4 -> int5: この専門職・実務担当者間は思量すがしかしそれは狡賢くない; fact6 -> int6: この専門職・実務担当者間は思量すけれど狡賢いということはないなら罹り易い; int5 & int6 -> int7: この専門職・実務担当者間は罹り易い; fact7 -> int8: もし仮にこの専門職・実務担当者間が罹り易いとしたらか弱い; int7 & int8 -> int9: この専門職・実務担当者間はか弱い; fact3 -> int10: もしこの専門職・実務担当者間がか弱いなら喉仏である; int9 & int10 -> hypothesis;
$facts$ = fact1: そのＮＫは参加しない fact2: もしその孤立無援は思量すとすると「そのＮＫが秋刀魚だけど参加しない」ということは事実と異なる fact3: もしなにかはか弱いとしたら喉仏だ fact4: 仮にその孤立無援が思量すということはないとすればこの専門職・実務担当者間は思量す一方で狡賢くない fact5: そのＮＫは秋刀魚である fact6: もしなにがしかのものが思量すけど狡賢いということはないとすればそれは罹り易い fact7: 罹り易いものはか弱い ; $hypothesis$ = この専門職・実務担当者間は喉仏でない ; $proof$ = 
void -> assump1: 以下のように仮定する。その孤立無援は思量す; fact2 & assump1 -> int1: 「そのＮＫは秋刀魚であるが参加しない」ということは事実と異なる; fact1 & fact5 -> int2: 「そのＮＫは秋刀魚だけれど参加しない」ということは成り立つ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: その孤立無援は思量すらない; int4 & fact4 -> int5: この専門職・実務担当者間は思量すがしかしそれは狡賢くない; fact6 -> int6: この専門職・実務担当者間は思量すけれど狡賢いということはないなら罹り易い; int5 & int6 -> int7: この専門職・実務担当者間は罹り易い; fact7 -> int8: もし仮にこの専門職・実務担当者間が罹り易いとしたらか弱い; int7 & int8 -> int9: この専門職・実務担当者間はか弱い; fact3 -> int10: もしこの専門職・実務担当者間がか弱いなら喉仏である; int9 & int10 -> hypothesis; __DISPROVED__
事実1: そのＮＫは参加しない
事実2: もしその孤立無援は思量すとすると「そのＮＫが秋刀魚だけど参加しない」ということは事実と異なる
事実3: もしなにかはか弱いとしたら喉仏だ
事実4: 仮にその孤立無援が思量すということはないとすればこの専門職・実務担当者間は思量す一方で狡賢くない
事実5: そのＮＫは秋刀魚である
事実6: もしなにがしかのものが思量すけど狡賢いということはないとすればそれは罹り易い
事実7: 罹り易いものはか弱い

仮説: この専門職・実務担当者間は喉仏でない
1. 仮定1: 以下のように仮定する。その孤立無援は思量す
2. 事実2と仮定1から、推論1: "「そのＮＫは秋刀魚であるが参加しない」ということは事実と異なる"が導かれる
3. 事実1と事実5から、推論2: "「そのＮＫは秋刀魚だけれど参加しない」ということは成り立つ"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "その孤立無援は思量すらない"が導かれる
6. 推論4と事実4から、推論5: "この専門職・実務担当者間は思量すがしかしそれは狡賢くない"が導かれる
7. 事実6から、推論6: "この専門職・実務担当者間は思量すけれど狡賢いということはないなら罹り易い"が導かれる
8. 推論5と推論6から、推論7: "この専門職・実務担当者間は罹り易い"が導かれる
9. 事実7から、推論8: "もし仮にこの専門職・実務担当者間が罹り易いとしたらか弱い"が導かれる
10. 推論7と推論8から、推論9: "この専門職・実務担当者間はか弱い"が導かれる
11. 事実3から、推論10: "もしこの専門職・実務担当者間がか弱いなら喉仏である"が導かれる
12. 推論9と推論10から、仮説が否定される

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