この手足れは騒がしい
fact1: 仮に「この英語以外は研鑽しない」ということは事実だとするとこの受信料は興奮し易くないがしかし騒がしい fact2: もしもこの受信料が騒がしいならこの手足れは騒がしい fact3: 仮にこの手足れが興奮し易いならば受注出来る fact4: もし仮にこの手足れが故無くないならその時局は興奮し易いししかもそれは研鑽する fact5: もしこの手足れは興奮し易くないとするとそれは騒がしくない fact6: この受信料は降伏すし更に遣る瀬無い fact7: もしもこの受信料が研鑽するかあるいは故無いか両方ともであるとしたら「受注出来ない」ということは成り立つ fact8: 観光客らしいものは身元不明だ fact9: この手足れが興奮し易いとするとこの受信料は研鑽する fact10: 仮に何らかのものが降伏すとすればそれは受注出来る
void -> assump1: 以下のように仮定する。この手足れは興奮し易い; fact9 & assump1 -> int1: 「この受信料は研鑽する」ということは成り立つ; int1 -> int2: 「この受信料は研鑽するかまたは故無いかまたは両方だ」ということは誤りでない; int2 & fact7 -> int3: この受信料は受注出来ない; fact10 -> int4: もし仮に「この受信料は降伏す」ということは成り立つとしたら「受注出来る」ということは事実である; fact6 -> int5: この受信料は降伏す; int4 & int5 -> int6: この受信料は受注出来る; int3 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: この手足れは興奮し易くない; int8 & fact5 -> hypothesis;
その時局は研鑽する
$facts$ = fact1: 仮に「この英語以外は研鑽しない」ということは事実だとするとこの受信料は興奮し易くないがしかし騒がしい fact2: もしもこの受信料が騒がしいならこの手足れは騒がしい fact3: 仮にこの手足れが興奮し易いならば受注出来る fact4: もし仮にこの手足れが故無くないならその時局は興奮し易いししかもそれは研鑽する fact5: もしこの手足れは興奮し易くないとするとそれは騒がしくない fact6: この受信料は降伏すし更に遣る瀬無い fact7: もしもこの受信料が研鑽するかあるいは故無いか両方ともであるとしたら「受注出来ない」ということは成り立つ fact8: 観光客らしいものは身元不明だ fact9: この手足れが興奮し易いとするとこの受信料は研鑽する fact10: 仮に何らかのものが降伏すとすればそれは受注出来る ; $hypothesis$ = この手足れは騒がしい ; $proof$ = 
void -> assump1: 以下のように仮定する。この手足れは興奮し易い; fact9 & assump1 -> int1: 「この受信料は研鑽する」ということは成り立つ; int1 -> int2: 「この受信料は研鑽するかまたは故無いかまたは両方だ」ということは誤りでない; int2 & fact7 -> int3: この受信料は受注出来ない; fact10 -> int4: もし仮に「この受信料は降伏す」ということは成り立つとしたら「受注出来る」ということは事実である; fact6 -> int5: この受信料は降伏す; int4 & int5 -> int6: この受信料は受注出来る; int3 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: この手足れは興奮し易くない; int8 & fact5 -> hypothesis; __DISPROVED__
事実1: 仮に「この英語以外は研鑽しない」ということは事実だとするとこの受信料は興奮し易くないがしかし騒がしい
事実2: もしもこの受信料が騒がしいならこの手足れは騒がしい
事実3: 仮にこの手足れが興奮し易いならば受注出来る
事実4: もし仮にこの手足れが故無くないならその時局は興奮し易いししかもそれは研鑽する
事実5: もしこの手足れは興奮し易くないとするとそれは騒がしくない
事実6: この受信料は降伏すし更に遣る瀬無い
事実7: もしもこの受信料が研鑽するかあるいは故無いか両方ともであるとしたら「受注出来ない」ということは成り立つ
事実8: 観光客らしいものは身元不明だ
事実9: この手足れが興奮し易いとするとこの受信料は研鑽する
事実10: 仮に何らかのものが降伏すとすればそれは受注出来る

仮説: この手足れは騒がしい
1. 仮定1: 以下のように仮定する。この手足れは興奮し易い
2. 事実9と仮定1から、推論1: "「この受信料は研鑽する」ということは成り立つ"が導かれる
3. 推論1から、推論2: "「この受信料は研鑽するかまたは故無いかまたは両方だ」ということは誤りでない"が導かれる
4. 推論2と事実7から、推論3: "この受信料は受注出来ない"が導かれる
5. 事実10から、推論4: "もし仮に「この受信料は降伏す」ということは成り立つとしたら「受注出来る」ということは事実である"が導かれる
6. 事実6から、推論5: "この受信料は降伏す"が導かれる
7. 推論4と推論5から、推論6: "この受信料は受注出来る"が導かれる
8. 推論3と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、推論8: "この手足れは興奮し易くない"が導かれる
10. 推論8と事実5から、仮説が否定される

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