その業務機能は殉死しなくてしかもそれはまだるっこしいということはない
fact1: 「なにかは麗しないけど殉死する」ということは成り立つ fact2: 仮に何らかのものは突き落とさないとすると「果てし無くてそれにそれは恐れ多くない」ということは成り立つということはない fact3: もしもこの業務妨害罪が恐れ多いとするとこの表現形態は麗し fact4: 果てし無くない物は殉死しなくてまだるっこしくない fact5: この辞去はまだるっこしいなら「その業務機能はまだるっこしくないし殉死しない」ということは間違っている fact6: もしもこの業務妨害罪はまだるっこしいなら「その業務機能はまだるっこしくないがしかし恐れ多い」ということは成り立たない fact7: 仮にとある物がまだるっこしくないが殉死するならその業務機能は麗し fact8: その業務機能は突き落とす fact9: 「この業務妨害罪は果てし無い」ということは確かだ fact10: 何らかの物はまだるっこしくない fact11: 「殉死しない」ものはある fact12: もしこの表現形態が突き落とさないけれど捩じ切るとするとこの業務妨害罪は突き落とすということはない fact13: もしもこの表現形態は殉死するなら「その業務機能は殉死しないけどまだるっこしい」ということは間違っている fact14: 「その業務機能は殉死するけれどまだるっこしくない」ということは誤りだ fact15: この辞去は殉死するなら「その業務機能は殉死するということはなくて更にまだるっこしいということはない」ということは誤っている fact16: 「まだるっこしくない一方で殉死する」物はある fact17: 「この辞去は麗しないけど殉死する」ということは偽である fact18: もし仮に「何らかのものは果てし無くないが突き落とす」ということは成り立つとしたらこの業務妨害罪は恐れ多い fact19: 「突き落とす」ものはある fact20: もしもこの辞去は殉死すれば「この業務妨害罪は殉死しなくてしかも恐れ多くない」ということは偽だ fact21: 「この辞去は殉死するということはないがしかしそれはまだるっこしい」ということは誤っている fact22: もし仮にこの表現形態が麗しとすればこの辞去は殉死する fact23: 「この業務妨害罪は出現し易い」ということは成り立つ fact24: あるものは果てし無いということはないけれど突き落とす fact25: 「挙手しない」ものはある
fact24 & fact18 -> int1: この業務妨害罪は恐れ多い; int1 & fact3 -> int2: この表現形態は麗し; int2 & fact22 -> int3: この辞去は殉死する; int3 & fact15 -> hypothesis;
「その業務機能は殉死しなくてまだるっこしくない」ということは成り立つ
fact26 -> int4: もしもその業務機能が果てし無くないならばそれは殉死するということはないししかもまだるっこしくない; fact28 -> int5: もし仮にこの業務妨害罪は突き落とすということはないなら「果てし無い一方で恐れ多くない」ということは本当であるということはない;
$facts$ = fact1: 「なにかは麗しないけど殉死する」ということは成り立つ fact2: 仮に何らかのものは突き落とさないとすると「果てし無くてそれにそれは恐れ多くない」ということは成り立つということはない fact3: もしもこの業務妨害罪が恐れ多いとするとこの表現形態は麗し fact4: 果てし無くない物は殉死しなくてまだるっこしくない fact5: この辞去はまだるっこしいなら「その業務機能はまだるっこしくないし殉死しない」ということは間違っている fact6: もしもこの業務妨害罪はまだるっこしいなら「その業務機能はまだるっこしくないがしかし恐れ多い」ということは成り立たない fact7: 仮にとある物がまだるっこしくないが殉死するならその業務機能は麗し fact8: その業務機能は突き落とす fact9: 「この業務妨害罪は果てし無い」ということは確かだ fact10: 何らかの物はまだるっこしくない fact11: 「殉死しない」ものはある fact12: もしこの表現形態が突き落とさないけれど捩じ切るとするとこの業務妨害罪は突き落とすということはない fact13: もしもこの表現形態は殉死するなら「その業務機能は殉死しないけどまだるっこしい」ということは間違っている fact14: 「その業務機能は殉死するけれどまだるっこしくない」ということは誤りだ fact15: この辞去は殉死するなら「その業務機能は殉死するということはなくて更にまだるっこしいということはない」ということは誤っている fact16: 「まだるっこしくない一方で殉死する」物はある fact17: 「この辞去は麗しないけど殉死する」ということは偽である fact18: もし仮に「何らかのものは果てし無くないが突き落とす」ということは成り立つとしたらこの業務妨害罪は恐れ多い fact19: 「突き落とす」ものはある fact20: もしもこの辞去は殉死すれば「この業務妨害罪は殉死しなくてしかも恐れ多くない」ということは偽だ fact21: 「この辞去は殉死するということはないがしかしそれはまだるっこしい」ということは誤っている fact22: もし仮にこの表現形態が麗しとすればこの辞去は殉死する fact23: 「この業務妨害罪は出現し易い」ということは成り立つ fact24: あるものは果てし無いということはないけれど突き落とす fact25: 「挙手しない」ものはある ; $hypothesis$ = その業務機能は殉死しなくてしかもそれはまだるっこしいということはない ; $proof$ = 
fact24 & fact18 -> int1: この業務妨害罪は恐れ多い; int1 & fact3 -> int2: この表現形態は麗し; int2 & fact22 -> int3: この辞去は殉死する; int3 & fact15 -> hypothesis; __DISPROVED__
事実1: 「なにかは麗しないけど殉死する」ということは成り立つ
事実2: 仮に何らかのものは突き落とさないとすると「果てし無くてそれにそれは恐れ多くない」ということは成り立つということはない
事実3: もしもこの業務妨害罪が恐れ多いとするとこの表現形態は麗し
事実4: 果てし無くない物は殉死しなくてまだるっこしくない
事実5: この辞去はまだるっこしいなら「その業務機能はまだるっこしくないし殉死しない」ということは間違っている
事実6: もしもこの業務妨害罪はまだるっこしいなら「その業務機能はまだるっこしくないがしかし恐れ多い」ということは成り立たない
事実7: 仮にとある物がまだるっこしくないが殉死するならその業務機能は麗し
事実8: その業務機能は突き落とす
事実9: 「この業務妨害罪は果てし無い」ということは確かだ
事実10: 何らかの物はまだるっこしくない
事実11: 「殉死しない」ものはある
事実12: もしこの表現形態が突き落とさないけれど捩じ切るとするとこの業務妨害罪は突き落とすということはない
事実13: もしもこの表現形態は殉死するなら「その業務機能は殉死しないけどまだるっこしい」ということは間違っている
事実14: 「その業務機能は殉死するけれどまだるっこしくない」ということは誤りだ
事実15: この辞去は殉死するなら「その業務機能は殉死するということはなくて更にまだるっこしいということはない」ということは誤っている
事実16: 「まだるっこしくない一方で殉死する」物はある
事実17: 「この辞去は麗しないけど殉死する」ということは偽である
事実18: もし仮に「何らかのものは果てし無くないが突き落とす」ということは成り立つとしたらこの業務妨害罪は恐れ多い
事実19: 「突き落とす」ものはある
事実20: もしもこの辞去は殉死すれば「この業務妨害罪は殉死しなくてしかも恐れ多くない」ということは偽だ
事実21: 「この辞去は殉死するということはないがしかしそれはまだるっこしい」ということは誤っている
事実22: もし仮にこの表現形態が麗しとすればこの辞去は殉死する
事実23: 「この業務妨害罪は出現し易い」ということは成り立つ
事実24: あるものは果てし無いということはないけれど突き落とす
事実25: 「挙手しない」ものはある

仮説: その業務機能は殉死しなくてしかもそれはまだるっこしいということはない
1. 事実24と事実18から、推論1: "この業務妨害罪は恐れ多い"が導かれる
2. 推論1と事実3から、推論2: "この表現形態は麗し"が導かれる
3. 推論2と事実22から、推論3: "この辞去は殉死する"が導かれる
4. 推論3と事実15から、仮説が否定される

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