このＴＬＤはネフローゼ症候群でない
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: もし仮に何らかの物は御受けに成れば「マージャンプロでないがしかし落下する」ということは真実でない fact26: もし「あの南西部資本は限界生産物だ」ということは成り立てば太り過ぎる
fact2 -> int1: もしこのＴＬＤは甚だしいということはない物であって水臭くないならば徐行しない; void -> assump1: 以下のように仮定する。このＴＬＤは甚だしくないし水臭くない; int1 & assump1 -> int2: このＴＬＤは徐行しない; int2 & fact11 -> int3: その有名店は軽減する; fact20 -> int4: もしもその有名店が軽減すればマージャンプロである; int3 & int4 -> int5: その有名店はマージャンプロである; int5 & fact7 -> int6: 「あの南西部資本は落下しないかまたは御受けに成らないかまたは両方ともだ」ということは偽である; fact12 & fact26 -> int7: あの南西部資本は太り過ぎる; fact5 & int7 -> int8: あの南西部資本は落下しないかあるいは御受けに成るということはないかあるいは両方である; int6 & int8 -> int9: これは矛盾である; [assump1] & int9 -> int10: 「このＴＬＤは甚だしくないし加えて水臭くない」ということは事実と異なる; fact19 -> int11: 「仮に「このＴＬＤは甚だしいということはなくておまけに水臭くない」ということは嘘であるとしたらこのＴＬＤはネフローゼ症候群だ」ということは確かだ; int10 & int11 -> hypothesis;
その有名店は限界生産物だ
fact27 -> int12: もし仮にその有名店が軽減するかもしくはそれは徐行するということはないかもしくはどちらもだとすると限界生産物である;
$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: もし仮に何らかの物は御受けに成れば「マージャンプロでないがしかし落下する」ということは真実でない fact26: もし「あの南西部資本は限界生産物だ」ということは成り立てば太り過ぎる ; $hypothesis$ = このＴＬＤはネフローゼ症候群でない ; $proof$ = 
fact2 -> int1: もしこのＴＬＤは甚だしいということはない物であって水臭くないならば徐行しない; void -> assump1: 以下のように仮定する。このＴＬＤは甚だしくないし水臭くない; int1 & assump1 -> int2: このＴＬＤは徐行しない; int2 & fact11 -> int3: その有名店は軽減する; fact20 -> int4: もしもその有名店が軽減すればマージャンプロである; int3 & int4 -> int5: その有名店はマージャンプロである; int5 & fact7 -> int6: 「あの南西部資本は落下しないかまたは御受けに成らないかまたは両方ともだ」ということは偽である; fact12 & fact26 -> int7: あの南西部資本は太り過ぎる; fact5 & int7 -> int8: あの南西部資本は落下しないかあるいは御受けに成るということはないかあるいは両方である; int6 & int8 -> int9: これは矛盾である; [assump1] & int9 -> int10: 「このＴＬＤは甚だしくないし加えて水臭くない」ということは事実と異なる; fact19 -> int11: 「仮に「このＴＬＤは甚だしいということはなくておまけに水臭くない」ということは嘘であるとしたらこのＴＬＤはネフローゼ症候群だ」ということは確かだ; int10 & int11 -> 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: もし仮に何らかの物は御受けに成れば「マージャンプロでないがしかし落下する」ということは真実でない
事実26: もし「あの南西部資本は限界生産物だ」ということは成り立てば太り過ぎる

仮説: このＴＬＤはネフローゼ症候群でない
1. 事実2から、推論1: "もしこのＴＬＤは甚だしいということはない物であって水臭くないならば徐行しない"が導かれる
2. 仮定1: 以下のように仮定する。このＴＬＤは甚だしくないし水臭くない
3. 推論1と仮定1から、推論2: "このＴＬＤは徐行しない"が導かれる
4. 推論2と事実11から、推論3: "その有名店は軽減する"が導かれる
5. 事実20から、推論4: "もしもその有名店が軽減すればマージャンプロである"が導かれる
6. 推論3と推論4から、推論5: "その有名店はマージャンプロである"が導かれる
7. 推論5と事実7から、推論6: "「あの南西部資本は落下しないかまたは御受けに成らないかまたは両方ともだ」ということは偽である"が導かれる
8. 事実12と事実26から、推論7: "あの南西部資本は太り過ぎる"が導かれる
9. 事実5と推論7から、推論8: "あの南西部資本は落下しないかあるいは御受けに成るということはないかあるいは両方である"が導かれる
10. 推論6と推論8から、推論9: "これは矛盾である"が導かれる
11. [仮定1]と推論9から、推論10: "「このＴＬＤは甚だしくないし加えて水臭くない」ということは事実と異なる"が導かれる
12. 事実19から、推論11: "「仮に「このＴＬＤは甚だしいということはなくておまけに水臭くない」ということは嘘であるとしたらこのＴＬＤはネフローゼ症候群だ」ということは確かだ"が導かれる
13. 推論10と推論11から、仮説が否定される

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