「この律法はテキスト連結であるしそれはし難い」ということは誤りだ
fact1: この律法は競争力向上である fact2: 仮に「なにがしかの物は御恥ずかしくないがテキスト連結だ」ということは成り立たないなら「テキスト連結でない」ということは成り立つ fact3: この律法はテキスト連結であるし更に競争力向上だ fact4: もし仮に何かはテキスト連結でないとすると「競争力向上であるということはないしかつし難くない」ということは間違っている fact5: 「この仏殿は競争力向上だ」ということは正しいならばこの律法は競争力向上だ fact6: もしも「とあるものは競争力向上でないしし難くない」ということは誤りだとすると競争力向上である fact7: この律法は解け易い fact8: もしもこの律法が競争力向上だとすればこの具体的記述は競争力向上だ fact9: この律法は解け易くてかつそれは嘘っぽい fact10: この律法は解け易くて更にし難い
fact3 -> int1: この律法はテキスト連結だ; fact10 -> int2: 「この律法はし難い」ということは成り立つ; int1 & int2 -> hypothesis;
この具体的記述は競争力向上だ
fact14 -> int3: もし仮に「この仏殿は競争力向上だということはないしそれはし難いということはない」ということは成り立たないとするとそれは競争力向上である; fact15 -> int4: もしこの仏殿はテキスト連結だということはないとしたら「それは競争力向上でないしかつし難くない」ということは確かでない; fact11 -> int5: もしも「この仏殿は御恥ずかしくないけれどテキスト連結だ」ということは成り立たないとしたらテキスト連結でない;
$facts$ = fact1: この律法は競争力向上である fact2: 仮に「なにがしかの物は御恥ずかしくないがテキスト連結だ」ということは成り立たないなら「テキスト連結でない」ということは成り立つ fact3: この律法はテキスト連結であるし更に競争力向上だ fact4: もし仮に何かはテキスト連結でないとすると「競争力向上であるということはないしかつし難くない」ということは間違っている fact5: 「この仏殿は競争力向上だ」ということは正しいならばこの律法は競争力向上だ fact6: もしも「とあるものは競争力向上でないしし難くない」ということは誤りだとすると競争力向上である fact7: この律法は解け易い fact8: もしもこの律法が競争力向上だとすればこの具体的記述は競争力向上だ fact9: この律法は解け易くてかつそれは嘘っぽい fact10: この律法は解け易くて更にし難い ; $hypothesis$ = 「この律法はテキスト連結であるしそれはし難い」ということは誤りだ ; $proof$ = 
fact3 -> int1: この律法はテキスト連結だ; fact10 -> int2: 「この律法はし難い」ということは成り立つ; int1 & int2 -> hypothesis; __DISPROVED__
事実1: この律法は競争力向上である
事実2: 仮に「なにがしかの物は御恥ずかしくないがテキスト連結だ」ということは成り立たないなら「テキスト連結でない」ということは成り立つ
事実3: この律法はテキスト連結であるし更に競争力向上だ
事実4: もし仮に何かはテキスト連結でないとすると「競争力向上であるということはないしかつし難くない」ということは間違っている
事実5: 「この仏殿は競争力向上だ」ということは正しいならばこの律法は競争力向上だ
事実6: もしも「とあるものは競争力向上でないしし難くない」ということは誤りだとすると競争力向上である
事実7: この律法は解け易い
事実8: もしもこの律法が競争力向上だとすればこの具体的記述は競争力向上だ
事実9: この律法は解け易くてかつそれは嘘っぽい
事実10: この律法は解け易くて更にし難い

仮説: 「この律法はテキスト連結であるしそれはし難い」ということは誤りだ
1. 事実3から、推論1: "この律法はテキスト連結だ"が導かれる
2. 事実10から、推論2: "「この律法はし難い」ということは成り立つ"が導かれる
3. 推論1と推論2から、仮説が否定される

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