あの五十二人は民間会社でない
fact1: あの一挙両得は相互広告するしその上学君である fact2: 「この浄化会社は堪え難いしおまけに三十度以上だ」ということは本当でない fact3: 粗い物は瑜伽でない fact4: もしその保監会は落札しないとすれば「それは鍛えるしかつ落着する」ということは間違っている fact5: 重苦しくない物は鑷子であるということはないけど民間会社だ fact6: 仮に「何らかのものは鍛えるししかも落着する」ということは間違いであるとすればそれは落着しない fact7: なにかは落着しないならば重苦しいということはないがしかし瑜伽である fact8: そのリポ蛋白リパーゼは推理しないかもしくは落着しないかあるいは両方だとすると落着するということはない fact9: あの五十二人は鑷子でない fact10: 「その保監会は粗いということはなくてそれは推理しない」ということは偽ならば「あの焼却は粗くない」ということは事実である fact11: もしもこの浄化会社が鑷子でないがしかし民間会社であるとしたらあの五十二人は民間会社である fact12: もしも重苦しいということはない物が瑜伽なら粗い fact13: もしもなにかは落着するということはないなら「それは粗くないしおまけに推理しない」ということは成り立つということはない fact14: この浄化会社は推理するということはない fact15: この浄化会社は鑷子であるということはないとすれば重苦しい fact16: なにがしかのものは鑷子でないならばそれは重苦しくて更に瑜伽だ fact17: もしもこの浄化会社が推理しないならば落着するしその上粗い fact18: もし仮に「この浄化会社は堪え難いが三十度以上でない」ということは誤りだとするとあの五十二人は民間会社でない fact19: もしもあの焼却が瑜伽でないけれど重苦しいとするとこの浄化会社は重苦しくない fact20: この浄化会社が堪え難いけど三十度以上であるということはないとすれば鑷子でない
void -> assump1: 以下のように仮定する。この浄化会社は堪え難いけれどそれは三十度以上でない; fact20 & assump1 -> int1: 「この浄化会社は鑷子でない」ということは正しい; fact16 -> int2: もしこの浄化会社が鑷子でないならば重苦しくてかつ瑜伽だ; int1 & int2 -> int3: この浄化会社は重苦しいしさらに瑜伽である; int3 -> int4: この浄化会社は瑜伽だ; fact14 & fact17 -> int5: この浄化会社は落着するししかも粗い; int5 -> int6: 「この浄化会社は粗い」ということは正しい; fact3 -> int7: 仮にこの浄化会社が粗いならば瑜伽でない; int6 & int7 -> int8: 「この浄化会社は瑜伽でない」ということは確かである; int4 & int8 -> int9: これは矛盾である; [assump1] & int9 -> int10: 「この浄化会社は堪え難いが三十度以上でない」ということは誤っている; int10 & fact18 -> hypothesis;
あの五十二人は民間会社である
fact28 -> int11: もしこの浄化会社が重苦しいということはないとすれば鑷子でないしそれは民間会社だ; fact23 -> int12: もしもその保監会は落着するということはないとすれば「それは粗くないし加えて推理しない」ということは成り立たない; fact24 -> int13: 仮に「その保監会が鍛えるしその上それは落着する」ということは間違いであるならば落着するということはない; fact26 -> int14: なにかは相互広告するし学君だ;
$facts$ = fact1: あの一挙両得は相互広告するしその上学君である fact2: 「この浄化会社は堪え難いしおまけに三十度以上だ」ということは本当でない fact3: 粗い物は瑜伽でない fact4: もしその保監会は落札しないとすれば「それは鍛えるしかつ落着する」ということは間違っている fact5: 重苦しくない物は鑷子であるということはないけど民間会社だ fact6: 仮に「何らかのものは鍛えるししかも落着する」ということは間違いであるとすればそれは落着しない fact7: なにかは落着しないならば重苦しいということはないがしかし瑜伽である fact8: そのリポ蛋白リパーゼは推理しないかもしくは落着しないかあるいは両方だとすると落着するということはない fact9: あの五十二人は鑷子でない fact10: 「その保監会は粗いということはなくてそれは推理しない」ということは偽ならば「あの焼却は粗くない」ということは事実である fact11: もしもこの浄化会社が鑷子でないがしかし民間会社であるとしたらあの五十二人は民間会社である fact12: もしも重苦しいということはない物が瑜伽なら粗い fact13: もしもなにかは落着するということはないなら「それは粗くないしおまけに推理しない」ということは成り立つということはない fact14: この浄化会社は推理するということはない fact15: この浄化会社は鑷子であるということはないとすれば重苦しい fact16: なにがしかのものは鑷子でないならばそれは重苦しくて更に瑜伽だ fact17: もしもこの浄化会社が推理しないならば落着するしその上粗い fact18: もし仮に「この浄化会社は堪え難いが三十度以上でない」ということは誤りだとするとあの五十二人は民間会社でない fact19: もしもあの焼却が瑜伽でないけれど重苦しいとするとこの浄化会社は重苦しくない fact20: この浄化会社が堪え難いけど三十度以上であるということはないとすれば鑷子でない ; $hypothesis$ = あの五十二人は民間会社でない ; $proof$ = 
void -> assump1: 以下のように仮定する。この浄化会社は堪え難いけれどそれは三十度以上でない; fact20 & assump1 -> int1: 「この浄化会社は鑷子でない」ということは正しい; fact16 -> int2: もしこの浄化会社が鑷子でないならば重苦しくてかつ瑜伽だ; int1 & int2 -> int3: この浄化会社は重苦しいしさらに瑜伽である; int3 -> int4: この浄化会社は瑜伽だ; fact14 & fact17 -> int5: この浄化会社は落着するししかも粗い; int5 -> int6: 「この浄化会社は粗い」ということは正しい; fact3 -> int7: 仮にこの浄化会社が粗いならば瑜伽でない; int6 & int7 -> int8: 「この浄化会社は瑜伽でない」ということは確かである; int4 & int8 -> int9: これは矛盾である; [assump1] & int9 -> int10: 「この浄化会社は堪え難いが三十度以上でない」ということは誤っている; int10 & fact18 -> hypothesis; __PROVED__
事実1: あの一挙両得は相互広告するしその上学君である
事実2: 「この浄化会社は堪え難いしおまけに三十度以上だ」ということは本当でない
事実3: 粗い物は瑜伽でない
事実4: もしその保監会は落札しないとすれば「それは鍛えるしかつ落着する」ということは間違っている
事実5: 重苦しくない物は鑷子であるということはないけど民間会社だ
事実6: 仮に「何らかのものは鍛えるししかも落着する」ということは間違いであるとすればそれは落着しない
事実7: なにかは落着しないならば重苦しいということはないがしかし瑜伽である
事実8: そのリポ蛋白リパーゼは推理しないかもしくは落着しないかあるいは両方だとすると落着するということはない
事実9: あの五十二人は鑷子でない
事実10: 「その保監会は粗いということはなくてそれは推理しない」ということは偽ならば「あの焼却は粗くない」ということは事実である
事実11: もしもこの浄化会社が鑷子でないがしかし民間会社であるとしたらあの五十二人は民間会社である
事実12: もしも重苦しいということはない物が瑜伽なら粗い
事実13: もしもなにかは落着するということはないなら「それは粗くないしおまけに推理しない」ということは成り立つということはない
事実14: この浄化会社は推理するということはない
事実15: この浄化会社は鑷子であるということはないとすれば重苦しい
事実16: なにがしかのものは鑷子でないならばそれは重苦しくて更に瑜伽だ
事実17: もしもこの浄化会社が推理しないならば落着するしその上粗い
事実18: もし仮に「この浄化会社は堪え難いが三十度以上でない」ということは誤りだとするとあの五十二人は民間会社でない
事実19: もしもあの焼却が瑜伽でないけれど重苦しいとするとこの浄化会社は重苦しくない
事実20: この浄化会社が堪え難いけど三十度以上であるということはないとすれば鑷子でない

仮説: あの五十二人は民間会社でない
1. 仮定1: 以下のように仮定する。この浄化会社は堪え難いけれどそれは三十度以上でない
2. 事実20と仮定1から、推論1: "「この浄化会社は鑷子でない」ということは正しい"が導かれる
3. 事実16から、推論2: "もしこの浄化会社が鑷子でないならば重苦しくてかつ瑜伽だ"が導かれる
4. 推論1と推論2から、推論3: "この浄化会社は重苦しいしさらに瑜伽である"が導かれる
5. 推論3から、推論4: "この浄化会社は瑜伽だ"が導かれる
6. 事実14と事実17から、推論5: "この浄化会社は落着するししかも粗い"が導かれる
7. 推論5から、推論6: "「この浄化会社は粗い」ということは正しい"が導かれる
8. 事実3から、推論7: "仮にこの浄化会社が粗いならば瑜伽でない"が導かれる
9. 推論6と推論7から、推論8: "「この浄化会社は瑜伽でない」ということは確かである"が導かれる
10. 推論4と推論8から、推論9: "これは矛盾である"が導かれる
11. [仮定1]と推論9から、推論10: "「この浄化会社は堪え難いが三十度以上でない」ということは誤っている"が導かれる
12. 推論10と事実18から、仮説が導かれる

よって、仮説が証明されました。