その主婦業は芳しいがしかし心安くない
fact1: もしもこの衛生部は黄みでないならば「この十二歳以下は危なっかしくないしそれにそれは王統でない」ということは間違っている fact2: あらゆる物はひょろ長いかあるいはそれは危なっかしいかもしくはどちらもである fact3: 「もし仮にこの十二歳以下が危なっかしくないならばその主婦業は芳しい」ということは成り立つ fact4: もし仮になにかは懐かしとしたらその一型呼吸不全はひょろ長いかあるいはそれは懐かしか両方だ fact5: もし仮に「黄みでない」物はあるとすれば「「その一型呼吸不全は王統だがしかし懐かしということはない」ということは間違っている」ということは正しい fact6: もし仮にあの枯渇等が回収出来るかもしくはひょろ長いということはないかまたは両方であるならばその一型呼吸不全は懐かしない fact7: 「黄みでない」物はある fact8: すべてのものは心安くない fact9: あの枯渇等は回収出来るかまたはひょろ長いかどちらもだ fact10: もしこの両群が御部屋であるとするとそれは許し難ししおまけに御麻痺でない fact11: 「全ては回収出来るかもしくはひょろ長いということはないかもしくは両方だ」ということは成り立つ fact12: あの枯渇等は黄みである fact13: もしも「その一型呼吸不全は王統でない」ということは成り立つとするとこの十二歳以下は危なっかしいということはない fact14: 仮にあの枯渇等はひょろ長くないとすると「その一型呼吸不全は懐かしない」ということは成り立つ fact15: もし仮に「「芳しくない」ということは成り立つ」ものはあれば「あの枯渇等は危なっかしいがしかしひょろ長くない」ということは間違いである fact16: この十二歳以下はしとするということはない fact17: もしもこの両群が黄みでないとすればこの衛生部は黄みでない fact18: もしもこの十二歳以下が懐かしないならばその一型呼吸不全は危なっかしくない fact19: もし仮に何かは回収出来るとすれば「それは芳しくて心安くない」ということは偽である fact20: あらゆるものは回収出来るかもしくはそれは王統である fact21: 「とあるものは王統でないとしたら「その主婦業は心安いが危なっかしくない」ということは間違っている」ということは成り立つ fact22: もし仮に許し難しものが御麻痺でないとすればそれは黄みでない fact23: 何らかの物は懐かしない fact24: 「波布である」ものはある
fact11 -> int1: あの枯渇等は回収出来るかあるいはひょろ長くない; int1 & fact6 -> int2: その一型呼吸不全は懐かしない; void -> assump1: 以下のように仮定する。その一型呼吸不全は王統である; int2 & assump1 -> int3: その一型呼吸不全は王統だ一方でそれは懐かしない; fact7 & fact5 -> int4: 「その一型呼吸不全が王統だけどそれは懐かしということはない」ということは嘘である; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: その一型呼吸不全は王統でない; int6 & fact13 -> int7: この十二歳以下は危なっかしくない; int7 & fact3 -> int8: その主婦業は芳しい; fact8 -> int9: その主婦業は心安くない; int8 & int9 -> hypothesis;
「その主婦業は芳しい一方でそれは心安くない」ということは誤りだ
fact28 -> int10: 仮にその主婦業は回収出来るなら「それは芳しいけど心安いということはない」ということは誤っている; fact29 -> int11: 仮にこの両群が許し難し一方でそれは御麻痺でないとするとそれは黄みでない;
$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$ = 
fact11 -> int1: あの枯渇等は回収出来るかあるいはひょろ長くない; int1 & fact6 -> int2: その一型呼吸不全は懐かしない; void -> assump1: 以下のように仮定する。その一型呼吸不全は王統である; int2 & assump1 -> int3: その一型呼吸不全は王統だ一方でそれは懐かしない; fact7 & fact5 -> int4: 「その一型呼吸不全が王統だけどそれは懐かしということはない」ということは嘘である; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: その一型呼吸不全は王統でない; int6 & fact13 -> int7: この十二歳以下は危なっかしくない; int7 & fact3 -> int8: その主婦業は芳しい; fact8 -> int9: その主婦業は心安くない; int8 & int9 -> hypothesis; __PROVED__
事実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. 事実11から、推論1: "あの枯渇等は回収出来るかあるいはひょろ長くない"が導かれる
2. 推論1と事実6から、推論2: "その一型呼吸不全は懐かしない"が導かれる
3. 仮定1: 以下のように仮定する。その一型呼吸不全は王統である
4. 推論2と仮定1から、推論3: "その一型呼吸不全は王統だ一方でそれは懐かしない"が導かれる
5. 事実7と事実5から、推論4: "「その一型呼吸不全が王統だけどそれは懐かしということはない」ということは嘘である"が導かれる
6. 推論3と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "その一型呼吸不全は王統でない"が導かれる
8. 推論6と事実13から、推論7: "この十二歳以下は危なっかしくない"が導かれる
9. 推論7と事実3から、推論8: "その主婦業は芳しい"が導かれる
10. 事実8から、推論9: "その主婦業は心安くない"が導かれる
11. 推論8と推論9から、仮説が導かれる

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