あの成文法は欠かせらないかもしくはそれは身軽いということはない
fact1: もしもこの着替えが規定するということはないならそのチェック機能は振り翳さない fact2: 仮に何らかの物がグルーピングするとしたら欠かせらないかあるいは身軽くないかもしくは両方である fact3: 「そのチェック機能はグルーピングする一方でそれは死亡届けでない」ということは成り立たない fact4: 仮に「「グルーピングしなくて死亡届けだということはない」ということは本当であるということはない」物があるならあの養護教諭は規定する fact5: この着替えは振り翳す fact6: 「この着替えは容認す」ということは正しいなら熱苦しい fact7: あの養護教諭は緩み易い fact8: もし緩み易くないものは五十ＰＰＭ以上でないとすれば「付き難い」ということは確かだ fact9: ある物は憎しとすると「それは洒落臭い」ということは本当だ fact10: 蓄積され易くないし届き易くないものはある fact11: もしあの養護教諭が規定するし更に長細いとするとあの成文法は付き難くない fact12: もし何らかの物は付き難くないとすると「欠かせらないか身軽くない」ということは成り立たない fact13: 付き難い物は規定しないかもしくは長細くないかもしくは両方ともである fact14: 熱苦しいものは緩み易くないしさらに五十ＰＰＭ以上でない fact15: この着替えは容認す fact16: もし「この着替えは長細くない」ということは本当だとしたらそのチェック機能は振り翳さない fact17: その松葉杖は振り翳す fact18: 仮にとあるものが緩み易いとすれば長細い fact19: そのチェック機能が死亡届けでないならこの着替えは振り翳さない
void -> assump1: 以下のように仮定する。そのチェック機能はグルーピングするということはないしそれは死亡届けでない; assump1 -> int1: そのチェック機能は死亡届けでない; int1 & fact19 -> int2: この着替えは振り翳さない; int2 & fact5 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「そのチェック機能はグルーピングするということはなくてまたそれは死亡届けでない」ということは間違いである; int4 -> int5: 「「グルーピングしないしおまけに死亡届けでない」ということは間違っている」ものはある; int5 & fact4 -> int6: あの養護教諭は規定する; fact18 -> int7: もしもあの養護教諭は緩み易いとすると「それは長細い」ということは確かだ; int7 & fact7 -> int8: 「あの養護教諭は長細い」ということは事実だ; int6 & int8 -> int9: あの養護教諭は規定するし長細い; int9 & fact11 -> int10: 「あの成文法は付き難くない」ということは成り立つ; fact12 -> int11: もしもあの成文法は付き難くないとすると「それは欠かせらないかまたはそれは身軽くないかまたは両方ともだ」ということは事実と異なる; int10 & int11 -> hypothesis;
あの成文法は欠かせらないかあるいはそれは身軽くない
fact27 -> int12: あの成文法がグルーピングすればそれは欠かせらないかもしくはそれは身軽いということはないかまたはどちらもだ; fact21 -> int13: もしもこの着替えが付き難いなら規定しないかあるいは長細くない; fact23 -> int14: もし「この着替えは緩み易くないし加えて五十ＰＰＭ以上でない」ということは成り立つとすると「付き難い」ということは真実だ; fact24 -> int15: もしこの着替えが熱苦しいとするとそれは緩み易くないし五十ＰＰＭ以上でない; fact25 & fact20 -> int16: 「この着替えは熱苦しい」ということは確かだ; int15 & int16 -> int17: この着替えは緩み易くなくてまたそれは五十ＰＰＭ以上でない; int14 & int17 -> int18: この着替えは付き難い; int13 & int18 -> int19: この着替えは規定しないかもしくはそれは長細いということはないかまたは両方ともである; int19 & fact26 & fact22 -> int20: そのチェック機能は振り翳さない; int20 -> int21: とある物は振り翳すということはない;
$facts$ = fact1: もしもこの着替えが規定するということはないならそのチェック機能は振り翳さない fact2: 仮に何らかの物がグルーピングするとしたら欠かせらないかあるいは身軽くないかもしくは両方である fact3: 「そのチェック機能はグルーピングする一方でそれは死亡届けでない」ということは成り立たない fact4: 仮に「「グルーピングしなくて死亡届けだということはない」ということは本当であるということはない」物があるならあの養護教諭は規定する fact5: この着替えは振り翳す fact6: 「この着替えは容認す」ということは正しいなら熱苦しい fact7: あの養護教諭は緩み易い fact8: もし緩み易くないものは五十ＰＰＭ以上でないとすれば「付き難い」ということは確かだ fact9: ある物は憎しとすると「それは洒落臭い」ということは本当だ fact10: 蓄積され易くないし届き易くないものはある fact11: もしあの養護教諭が規定するし更に長細いとするとあの成文法は付き難くない fact12: もし何らかの物は付き難くないとすると「欠かせらないか身軽くない」ということは成り立たない fact13: 付き難い物は規定しないかもしくは長細くないかもしくは両方ともである fact14: 熱苦しいものは緩み易くないしさらに五十ＰＰＭ以上でない fact15: この着替えは容認す fact16: もし「この着替えは長細くない」ということは本当だとしたらそのチェック機能は振り翳さない fact17: その松葉杖は振り翳す fact18: 仮にとあるものが緩み易いとすれば長細い fact19: そのチェック機能が死亡届けでないならこの着替えは振り翳さない ; $hypothesis$ = あの成文法は欠かせらないかもしくはそれは身軽いということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。そのチェック機能はグルーピングするということはないしそれは死亡届けでない; assump1 -> int1: そのチェック機能は死亡届けでない; int1 & fact19 -> int2: この着替えは振り翳さない; int2 & fact5 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「そのチェック機能はグルーピングするということはなくてまたそれは死亡届けでない」ということは間違いである; int4 -> int5: 「「グルーピングしないしおまけに死亡届けでない」ということは間違っている」ものはある; int5 & fact4 -> int6: あの養護教諭は規定する; fact18 -> int7: もしもあの養護教諭は緩み易いとすると「それは長細い」ということは確かだ; int7 & fact7 -> int8: 「あの養護教諭は長細い」ということは事実だ; int6 & int8 -> int9: あの養護教諭は規定するし長細い; int9 & fact11 -> int10: 「あの成文法は付き難くない」ということは成り立つ; fact12 -> int11: もしもあの成文法は付き難くないとすると「それは欠かせらないかまたはそれは身軽くないかまたは両方ともだ」ということは事実と異なる; int10 & int11 -> hypothesis; __DISPROVED__
事実1: もしもこの着替えが規定するということはないならそのチェック機能は振り翳さない
事実2: 仮に何らかの物がグルーピングするとしたら欠かせらないかあるいは身軽くないかもしくは両方である
事実3: 「そのチェック機能はグルーピングする一方でそれは死亡届けでない」ということは成り立たない
事実4: 仮に「「グルーピングしなくて死亡届けだということはない」ということは本当であるということはない」物があるならあの養護教諭は規定する
事実5: この着替えは振り翳す
事実6: 「この着替えは容認す」ということは正しいなら熱苦しい
事実7: あの養護教諭は緩み易い
事実8: もし緩み易くないものは五十ＰＰＭ以上でないとすれば「付き難い」ということは確かだ
事実9: ある物は憎しとすると「それは洒落臭い」ということは本当だ
事実10: 蓄積され易くないし届き易くないものはある
事実11: もしあの養護教諭が規定するし更に長細いとするとあの成文法は付き難くない
事実12: もし何らかの物は付き難くないとすると「欠かせらないか身軽くない」ということは成り立たない
事実13: 付き難い物は規定しないかもしくは長細くないかもしくは両方ともである
事実14: 熱苦しいものは緩み易くないしさらに五十ＰＰＭ以上でない
事実15: この着替えは容認す
事実16: もし「この着替えは長細くない」ということは本当だとしたらそのチェック機能は振り翳さない
事実17: その松葉杖は振り翳す
事実18: 仮にとあるものが緩み易いとすれば長細い
事実19: そのチェック機能が死亡届けでないならこの着替えは振り翳さない

仮説: あの成文法は欠かせらないかもしくはそれは身軽いということはない
1. 仮定1: 以下のように仮定する。そのチェック機能はグルーピングするということはないしそれは死亡届けでない
2. 仮定1から、推論1: "そのチェック機能は死亡届けでない"が導かれる
3. 推論1と事実19から、推論2: "この着替えは振り翳さない"が導かれる
4. 推論2と事実5から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "「そのチェック機能はグルーピングするということはなくてまたそれは死亡届けでない」ということは間違いである"が導かれる
6. 推論4から、推論5: "「「グルーピングしないしおまけに死亡届けでない」ということは間違っている」ものはある"が導かれる
7. 推論5と事実4から、推論6: "あの養護教諭は規定する"が導かれる
8. 事実18から、推論7: "もしもあの養護教諭は緩み易いとすると「それは長細い」ということは確かだ"が導かれる
9. 推論7と事実7から、推論8: "「あの養護教諭は長細い」ということは事実だ"が導かれる
10. 推論6と推論8から、推論9: "あの養護教諭は規定するし長細い"が導かれる
11. 推論9と事実11から、推論10: "「あの成文法は付き難くない」ということは成り立つ"が導かれる
12. 事実12から、推論11: "もしもあの成文法は付き難くないとすると「それは欠かせらないかまたはそれは身軽くないかまたは両方ともだ」ということは事実と異なる"が導かれる
13. 推論10と推論11から、仮説が否定される

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