あの高度管理医療機器は結集するということはない一方で御寂しい
fact1: もし「無機物質な」ものがあるとするとこの遺言執行者は扇問屋である fact2: この遺言執行者は言い易い fact3: もし「無機物質であるかまたは武家政治でない」ものがあるならこの遺言執行者は扇問屋だ fact4: なにがしかのものは言い易いとすると「結集するしかつそれは御寂しいということはない」ということは成り立たない fact5: もし仮にあの高度管理医療機器が武家政治であるということはないならこの遺言執行者は武家政治だ fact6: あの山百合は言い易い fact7: 「「なんらかのものは言い易くないしその上丸呑みしない」ということは成り立たないなら「それは言い易い」ということは真実だ」ということは真実だ fact8: 「この六十年代末期は言い易いということはなくておまけにそれは丸呑みしない」ということは間違っている fact9: もし「軽くない」物があるとしたらこの遺言執行者は捗々しい fact10: あの高度管理医療機器は扇問屋だが結集しない fact11: 「あの高度管理医療機器は言い易いが御寂しいということはない」ということは成り立つということはない fact12: もしもこの遺言執行者は軽くないとすれば「あの高度管理医療機器は結集するということはないがしかしそれは御寂しい」ということは成り立たない fact13: この六十年代末期は扇問屋であるし加えてそれはリピオドールである fact14: 「無機物質であるかあるいは武家政治でない」物はある fact15: もし仮にこの遺言執行者は言い易くないとしたら「「この六十年代末期は扇問屋であるし更にリピオドールである」ということは誤っていない」ということは成り立たない fact16: 仮に何らかの物は言い易いとしたら「「それはリピオドールであるが捗々しいということはない」ということは成り立つ」ということは正しくない fact17: もし仮にこの遺言執行者は扇問屋であるしそれに軽いとしたらそれはリピオドールでない fact18: 仮にこの遺言執行者がリピオドールでないならばこの六十年代末期はリピオドールであるけれどそれは捗々しくない fact19: 「リピオドールでない」物があるとしたらこの遺言執行者は捗々しい fact20: とある物は丸呑みするか扇問屋でない fact21: 「この遺言執行者は軽いが結集しない」ということは成り立たない
fact14 & fact3 -> int1: この遺言執行者は扇問屋だ; void -> assump1: 以下のように仮定する。「この遺言執行者は軽くない」ということは成り立たない; int1 & assump1 -> int2: この遺言執行者は扇問屋で更に軽い; int2 & fact17 -> int3: この遺言執行者はリピオドールでない; int3 & fact18 -> int4: この六十年代末期はリピオドールである一方で捗々しくない; fact16 -> int5: この六十年代末期は言い易いとすると「それはリピオドールだがしかし捗々しいということはない」ということは成り立たない; fact7 -> int6: 「「この六十年代末期は言い易くないしおまけに丸呑みするということはない」ということは間違いである」ということは成り立てば言い易い; fact8 & int6 -> int7: この六十年代末期は言い易い; int5 & int7 -> int8: 「この六十年代末期はリピオドールであるけれど捗々しくない」ということは嘘だ; int4 & int8 -> int9: これは矛盾である; [assump1] & int9 -> int10: この遺言執行者は軽くない; int10 & fact12 -> hypothesis;
$facts$ = fact1: もし「無機物質な」ものがあるとするとこの遺言執行者は扇問屋である fact2: この遺言執行者は言い易い fact3: もし「無機物質であるかまたは武家政治でない」ものがあるならこの遺言執行者は扇問屋だ fact4: なにがしかのものは言い易いとすると「結集するしかつそれは御寂しいということはない」ということは成り立たない fact5: もし仮にあの高度管理医療機器が武家政治であるということはないならこの遺言執行者は武家政治だ fact6: あの山百合は言い易い fact7: 「「なんらかのものは言い易くないしその上丸呑みしない」ということは成り立たないなら「それは言い易い」ということは真実だ」ということは真実だ fact8: 「この六十年代末期は言い易いということはなくておまけにそれは丸呑みしない」ということは間違っている fact9: もし「軽くない」物があるとしたらこの遺言執行者は捗々しい fact10: あの高度管理医療機器は扇問屋だが結集しない fact11: 「あの高度管理医療機器は言い易いが御寂しいということはない」ということは成り立つということはない fact12: もしもこの遺言執行者は軽くないとすれば「あの高度管理医療機器は結集するということはないがしかしそれは御寂しい」ということは成り立たない fact13: この六十年代末期は扇問屋であるし加えてそれはリピオドールである fact14: 「無機物質であるかあるいは武家政治でない」物はある fact15: もし仮にこの遺言執行者は言い易くないとしたら「「この六十年代末期は扇問屋であるし更にリピオドールである」ということは誤っていない」ということは成り立たない fact16: 仮に何らかの物は言い易いとしたら「「それはリピオドールであるが捗々しいということはない」ということは成り立つ」ということは正しくない fact17: もし仮にこの遺言執行者は扇問屋であるしそれに軽いとしたらそれはリピオドールでない fact18: 仮にこの遺言執行者がリピオドールでないならばこの六十年代末期はリピオドールであるけれどそれは捗々しくない fact19: 「リピオドールでない」物があるとしたらこの遺言執行者は捗々しい fact20: とある物は丸呑みするか扇問屋でない fact21: 「この遺言執行者は軽いが結集しない」ということは成り立たない ; $hypothesis$ = あの高度管理医療機器は結集するということはない一方で御寂しい ; $proof$ = 
fact14 & fact3 -> int1: この遺言執行者は扇問屋だ; void -> assump1: 以下のように仮定する。「この遺言執行者は軽くない」ということは成り立たない; int1 & assump1 -> int2: この遺言執行者は扇問屋で更に軽い; int2 & fact17 -> int3: この遺言執行者はリピオドールでない; int3 & fact18 -> int4: この六十年代末期はリピオドールである一方で捗々しくない; fact16 -> int5: この六十年代末期は言い易いとすると「それはリピオドールだがしかし捗々しいということはない」ということは成り立たない; fact7 -> int6: 「「この六十年代末期は言い易くないしおまけに丸呑みするということはない」ということは間違いである」ということは成り立てば言い易い; fact8 & int6 -> int7: この六十年代末期は言い易い; int5 & int7 -> int8: 「この六十年代末期はリピオドールであるけれど捗々しくない」ということは嘘だ; int4 & int8 -> int9: これは矛盾である; [assump1] & int9 -> int10: この遺言執行者は軽くない; int10 & fact12 -> hypothesis; __DISPROVED__
事実1: もし「無機物質な」ものがあるとするとこの遺言執行者は扇問屋である
事実2: この遺言執行者は言い易い
事実3: もし「無機物質であるかまたは武家政治でない」ものがあるならこの遺言執行者は扇問屋だ
事実4: なにがしかのものは言い易いとすると「結集するしかつそれは御寂しいということはない」ということは成り立たない
事実5: もし仮にあの高度管理医療機器が武家政治であるということはないならこの遺言執行者は武家政治だ
事実6: あの山百合は言い易い
事実7: 「「なんらかのものは言い易くないしその上丸呑みしない」ということは成り立たないなら「それは言い易い」ということは真実だ」ということは真実だ
事実8: 「この六十年代末期は言い易いということはなくておまけにそれは丸呑みしない」ということは間違っている
事実9: もし「軽くない」物があるとしたらこの遺言執行者は捗々しい
事実10: あの高度管理医療機器は扇問屋だが結集しない
事実11: 「あの高度管理医療機器は言い易いが御寂しいということはない」ということは成り立つということはない
事実12: もしもこの遺言執行者は軽くないとすれば「あの高度管理医療機器は結集するということはないがしかしそれは御寂しい」ということは成り立たない
事実13: この六十年代末期は扇問屋であるし加えてそれはリピオドールである
事実14: 「無機物質であるかあるいは武家政治でない」物はある
事実15: もし仮にこの遺言執行者は言い易くないとしたら「「この六十年代末期は扇問屋であるし更にリピオドールである」ということは誤っていない」ということは成り立たない
事実16: 仮に何らかの物は言い易いとしたら「「それはリピオドールであるが捗々しいということはない」ということは成り立つ」ということは正しくない
事実17: もし仮にこの遺言執行者は扇問屋であるしそれに軽いとしたらそれはリピオドールでない
事実18: 仮にこの遺言執行者がリピオドールでないならばこの六十年代末期はリピオドールであるけれどそれは捗々しくない
事実19: 「リピオドールでない」物があるとしたらこの遺言執行者は捗々しい
事実20: とある物は丸呑みするか扇問屋でない
事実21: 「この遺言執行者は軽いが結集しない」ということは成り立たない

仮説: あの高度管理医療機器は結集するということはない一方で御寂しい
1. 事実14と事実3から、推論1: "この遺言執行者は扇問屋だ"が導かれる
2. 仮定1: 以下のように仮定する。「この遺言執行者は軽くない」ということは成り立たない
3. 推論1と仮定1から、推論2: "この遺言執行者は扇問屋で更に軽い"が導かれる
4. 推論2と事実17から、推論3: "この遺言執行者はリピオドールでない"が導かれる
5. 推論3と事実18から、推論4: "この六十年代末期はリピオドールである一方で捗々しくない"が導かれる
6. 事実16から、推論5: "この六十年代末期は言い易いとすると「それはリピオドールだがしかし捗々しいということはない」ということは成り立たない"が導かれる
7. 事実7から、推論6: "「「この六十年代末期は言い易くないしおまけに丸呑みするということはない」ということは間違いである」ということは成り立てば言い易い"が導かれる
8. 事実8と推論6から、推論7: "この六十年代末期は言い易い"が導かれる
9. 推論5と推論7から、推論8: "「この六十年代末期はリピオドールであるけれど捗々しくない」ということは嘘だ"が導かれる
10. 推論4と推論8から、推論9: "これは矛盾である"が導かれる
11. [仮定1]と推論9から、推論10: "この遺言執行者は軽くない"が導かれる
12. 推論10と事実12から、仮説が否定される

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