「その手術療法は武器だしそれに気難しい」ということは確かでない
fact1: この自己相関は痛み始めるかあるいはしょんぼりするかもしくはどちらもである fact2: それはあどけなくないしそれはしょんぼりするというものはない fact3: 「その初期消火率は恥ずかしかまたは私らしくない」ということは間違いだ fact4: もし仮にその初期消火率はしょんぼりしないとすると「この自己相関は恥ずかしがしかし私らしくない」ということは正しくない fact5: この自己相関は恥ずかしない fact6: もしも「その初期消火率はあどけなくないけどしょんぼりする」ということは真実でないとするとしょんぼりしない fact7: 仮に「「なにかは痛み始めるが私らしくない」ということは正しい」ということは誤りであるとすれば恥ずかしということはない fact8: 仮にその初期消火率は払拭し切れないとすると「この自己相関はしこり立つがしかしそれはしょんぼりしない」ということは成り立たない fact9: もしこの自己相関がしこり立たないならその手術療法は武器である fact10: 何かはあどけないなら気難しい fact11: もし仮に「その初期消火率は払拭し切れるし更に痛み始める」ということは成り立たないならばあの手術療法は痛み始めない fact12: その濾胞細胞は栄養アセスメントであるか私らしい fact13: 「この自己相関は走り寄るかまたは貨でないかあるいは両方である」ということは成り立たない fact14: その手術療法はあどけない fact15: もし仮にその手術療法が恥ずかしかもしくは私らしいかあるいは両方ともだとすると「気難しいということはない」ということは成り立つ fact16: もしなんらかの物は払拭し切れないとしたら「それは痛み始めるがしかし私らしくない」ということは確かでない fact17: もしその前掲誌同は恥ずかしとすると「それは塩浴窒化でない」ということは正しい fact18: この自己相関は私らしい fact19: 仮にその初期消火率が私らしいかもしくはそれは痛み始めるかまたは両方ともであるとすれば払拭し切れない fact20: もし仮にその初期消火率はしこり立たないとすると「それは払拭し切れるしおまけに痛み始める」ということは成り立たない fact21: 仮にその初期消火率はしょんぼりしないとすると「払拭し切れるしまたしこり立つ」ということは嘘だ fact22: この自己相関は痛み始めるし薬臭い fact23: 仮に「この自己相関はしこり立つけどしょんぼりしない」ということは嘘であるならばその手術療法は武器だ fact24: もしも何かは恥ずかしならばそれは痛み始める
void -> assump1: 以下のように仮定する。「その初期消火率は私らしくない」ということは確かである; assump1 -> int1: その初期消火率は恥ずかしかまたは私らしくない; int1 & fact3 -> int2: これは矛盾である; [assump1] & int2 -> int3: その初期消火率は私らしい; int3 -> int4: その初期消火率は私らしいか痛み始めるかまたは両方ともである; int4 & fact19 -> int5: その初期消火率は払拭し切れない; int5 & fact8 -> int6: 「この自己相関はしこり立つけれどしょんぼりするということはない」ということは成り立たない; int6 & fact23 -> int7: その手術療法は武器である; fact10 -> int8: 仮にその手術療法があどけないとすれば気難しい; int8 & fact14 -> int9: その手術療法は気難しい; int7 & int9 -> hypothesis;
「その手術療法は武器であるし気難しい」ということは間違っている
fact29 -> int10: もし「その手術療法は痛み始めるがしかしそれは私らしくない」ということは誤りであるとすれば恥ずかしということはない; fact26 -> int11: 仮にその手術療法は払拭し切れないなら「痛み始める一方で私らしくない」ということは偽である; fact25 -> int12: 「その初期消火率はあどけなくない一方でしょんぼりする」ということは嘘である; fact28 & int12 -> int13: その初期消火率はしょんぼりするということはない; fact27 & int13 -> int14: 「その初期消火率は払拭し切れるししこり立つ」ということは偽だ; int14 -> int15: 「「払拭し切れるしさらにしこり立つ」ということは誤りな」物はある;
$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: もしも何かは恥ずかしならばそれは痛み始める ; $hypothesis$ = 「その手術療法は武器だしそれに気難しい」ということは確かでない ; $proof$ = 
void -> assump1: 以下のように仮定する。「その初期消火率は私らしくない」ということは確かである; assump1 -> int1: その初期消火率は恥ずかしかまたは私らしくない; int1 & fact3 -> int2: これは矛盾である; [assump1] & int2 -> int3: その初期消火率は私らしい; int3 -> int4: その初期消火率は私らしいか痛み始めるかまたは両方ともである; int4 & fact19 -> int5: その初期消火率は払拭し切れない; int5 & fact8 -> int6: 「この自己相関はしこり立つけれどしょんぼりするということはない」ということは成り立たない; int6 & fact23 -> int7: その手術療法は武器である; fact10 -> int8: 仮にその手術療法があどけないとすれば気難しい; int8 & fact14 -> int9: その手術療法は気難しい; int7 & int9 -> 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: もしも何かは恥ずかしならばそれは痛み始める

仮説: 「その手術療法は武器だしそれに気難しい」ということは確かでない
1. 仮定1: 以下のように仮定する。「その初期消火率は私らしくない」ということは確かである
2. 仮定1から、推論1: "その初期消火率は恥ずかしかまたは私らしくない"が導かれる
3. 推論1と事実3から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "その初期消火率は私らしい"が導かれる
5. 推論3から、推論4: "その初期消火率は私らしいか痛み始めるかまたは両方ともである"が導かれる
6. 推論4と事実19から、推論5: "その初期消火率は払拭し切れない"が導かれる
7. 推論5と事実8から、推論6: "「この自己相関はしこり立つけれどしょんぼりするということはない」ということは成り立たない"が導かれる
8. 推論6と事実23から、推論7: "その手術療法は武器である"が導かれる
9. 事実10から、推論8: "仮にその手術療法があどけないとすれば気難しい"が導かれる
10. 推論8と事実14から、推論9: "その手術療法は気難しい"が導かれる
11. 推論7と推論9から、仮説が否定される

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