「「油っぽくないかあるいは胸苦しくないかもしくは両方ともだ」ということは偽である」ものはある
fact1: この正方形が油っぽくないかもしくは胸苦しくないかまたはどちらもであるとするとこの卵巣過剰刺激症候群は尊くない fact2: 「「異なり得ないか熱っぽくない」ということは嘘な」物はある fact3: 仮にこの一〜二箇月後は仲介業者だし加えて幽門腺であるなら法務担当者である fact4: もしこの正方形が油っぽくないならこの卵巣過剰刺激症候群は尊くない fact5: もしも何らかのものは政権入りするし跳ね起きるとしたらそれは法務担当者でない fact6: 油っぽくないかあるいは胸苦しくないかあるいは両方である物はある fact7: もし仮になにがしかのものはブレンドでないけど取り辛いとしたら跳ね起きる fact8: もしもこの四千人がブレンドでおまけに取り辛いとすれば跳ね起きる fact9: この四千人は胸苦しいか跳ね起きないかどちらもである fact10: もしこの卵巣過剰刺激症候群が跳ね起きないとすればあの四千人は尊くない fact11: 「この四千人は政権入りする」ということは成り立つ fact12: 「「ぶらつくか返りらしくないかあるいは両方だ」ということは誤りな」物はある fact13: この正方形がブレンドでないとするとこの卵巣過剰刺激症候群は尊くないが胸苦しい fact14: この正方形は油っぽいかあるいは胸苦しくないかまたはどちらもである fact15: 「このＤカップは政権入りする」ということは成り立つ fact16: この四千人は法務担当者である fact17: もしこの正方形が油っぽいしその上跳ね起きるとすればそれは尊い fact18: この四千人は大人気無くない fact19: 「油っぽい」物はある fact20: 「胸苦しい」ものはある fact21: 仮にこの卵巣過剰刺激症候群が尊くないとしたらこの四千人はブレンドでない一方で取り辛い
void -> assump1: 以下のように仮定する。この正方形は油っぽくないかもしくは胸苦しくないかあるいは両方ともである; fact1 & assump1 -> int1: この卵巣過剰刺激症候群は尊くない; int1 & fact21 -> int2: この四千人はブレンドでないけど取り辛い; fact7 -> int3: 仮にこの四千人はブレンドでない一方で取り辛いとするとそれは跳ね起きる; int2 & int3 -> int4: この四千人は跳ね起きる; int4 & fact11 -> int5: この四千人は政権入りするしそれに跳ね起きる; fact5 -> int6: もしこの四千人が政権入りするしその上跳ね起きるとするとそれは法務担当者でない; int5 & int6 -> int7: この四千人は法務担当者でない; int7 & fact16 -> int8: これは矛盾である; [assump1] & int8 -> int9: 「この正方形は油っぽくないかそれは胸苦しくない」ということは間違いである; int9 -> hypothesis;
$facts$ = fact1: この正方形が油っぽくないかもしくは胸苦しくないかまたはどちらもであるとするとこの卵巣過剰刺激症候群は尊くない fact2: 「「異なり得ないか熱っぽくない」ということは嘘な」物はある fact3: 仮にこの一〜二箇月後は仲介業者だし加えて幽門腺であるなら法務担当者である fact4: もしこの正方形が油っぽくないならこの卵巣過剰刺激症候群は尊くない fact5: もしも何らかのものは政権入りするし跳ね起きるとしたらそれは法務担当者でない fact6: 油っぽくないかあるいは胸苦しくないかあるいは両方である物はある fact7: もし仮になにがしかのものはブレンドでないけど取り辛いとしたら跳ね起きる fact8: もしもこの四千人がブレンドでおまけに取り辛いとすれば跳ね起きる fact9: この四千人は胸苦しいか跳ね起きないかどちらもである fact10: もしこの卵巣過剰刺激症候群が跳ね起きないとすればあの四千人は尊くない fact11: 「この四千人は政権入りする」ということは成り立つ fact12: 「「ぶらつくか返りらしくないかあるいは両方だ」ということは誤りな」物はある fact13: この正方形がブレンドでないとするとこの卵巣過剰刺激症候群は尊くないが胸苦しい fact14: この正方形は油っぽいかあるいは胸苦しくないかまたはどちらもである fact15: 「このＤカップは政権入りする」ということは成り立つ fact16: この四千人は法務担当者である fact17: もしこの正方形が油っぽいしその上跳ね起きるとすればそれは尊い fact18: この四千人は大人気無くない fact19: 「油っぽい」物はある fact20: 「胸苦しい」ものはある fact21: 仮にこの卵巣過剰刺激症候群が尊くないとしたらこの四千人はブレンドでない一方で取り辛い ; $hypothesis$ = 「「油っぽくないかあるいは胸苦しくないかもしくは両方ともだ」ということは偽である」ものはある ; $proof$ = 
void -> assump1: 以下のように仮定する。この正方形は油っぽくないかもしくは胸苦しくないかあるいは両方ともである; fact1 & assump1 -> int1: この卵巣過剰刺激症候群は尊くない; int1 & fact21 -> int2: この四千人はブレンドでないけど取り辛い; fact7 -> int3: 仮にこの四千人はブレンドでない一方で取り辛いとするとそれは跳ね起きる; int2 & int3 -> int4: この四千人は跳ね起きる; int4 & fact11 -> int5: この四千人は政権入りするしそれに跳ね起きる; fact5 -> int6: もしこの四千人が政権入りするしその上跳ね起きるとするとそれは法務担当者でない; int5 & int6 -> int7: この四千人は法務担当者でない; int7 & fact16 -> int8: これは矛盾である; [assump1] & int8 -> int9: 「この正方形は油っぽくないかそれは胸苦しくない」ということは間違いである; int9 -> hypothesis; __PROVED__
事実1: この正方形が油っぽくないかもしくは胸苦しくないかまたはどちらもであるとするとこの卵巣過剰刺激症候群は尊くない
事実2: 「「異なり得ないか熱っぽくない」ということは嘘な」物はある
事実3: 仮にこの一〜二箇月後は仲介業者だし加えて幽門腺であるなら法務担当者である
事実4: もしこの正方形が油っぽくないならこの卵巣過剰刺激症候群は尊くない
事実5: もしも何らかのものは政権入りするし跳ね起きるとしたらそれは法務担当者でない
事実6: 油っぽくないかあるいは胸苦しくないかあるいは両方である物はある
事実7: もし仮になにがしかのものはブレンドでないけど取り辛いとしたら跳ね起きる
事実8: もしもこの四千人がブレンドでおまけに取り辛いとすれば跳ね起きる
事実9: この四千人は胸苦しいか跳ね起きないかどちらもである
事実10: もしこの卵巣過剰刺激症候群が跳ね起きないとすればあの四千人は尊くない
事実11: 「この四千人は政権入りする」ということは成り立つ
事実12: 「「ぶらつくか返りらしくないかあるいは両方だ」ということは誤りな」物はある
事実13: この正方形がブレンドでないとするとこの卵巣過剰刺激症候群は尊くないが胸苦しい
事実14: この正方形は油っぽいかあるいは胸苦しくないかまたはどちらもである
事実15: 「このＤカップは政権入りする」ということは成り立つ
事実16: この四千人は法務担当者である
事実17: もしこの正方形が油っぽいしその上跳ね起きるとすればそれは尊い
事実18: この四千人は大人気無くない
事実19: 「油っぽい」物はある
事実20: 「胸苦しい」ものはある
事実21: 仮にこの卵巣過剰刺激症候群が尊くないとしたらこの四千人はブレンドでない一方で取り辛い

仮説: 「「油っぽくないかあるいは胸苦しくないかもしくは両方ともだ」ということは偽である」ものはある
1. 仮定1: 以下のように仮定する。この正方形は油っぽくないかもしくは胸苦しくないかあるいは両方ともである
2. 事実1と仮定1から、推論1: "この卵巣過剰刺激症候群は尊くない"が導かれる
3. 推論1と事実21から、推論2: "この四千人はブレンドでないけど取り辛い"が導かれる
4. 事実7から、推論3: "仮にこの四千人はブレンドでない一方で取り辛いとするとそれは跳ね起きる"が導かれる
5. 推論2と推論3から、推論4: "この四千人は跳ね起きる"が導かれる
6. 推論4と事実11から、推論5: "この四千人は政権入りするしそれに跳ね起きる"が導かれる
7. 事実5から、推論6: "もしこの四千人が政権入りするしその上跳ね起きるとするとそれは法務担当者でない"が導かれる
8. 推論5と推論6から、推論7: "この四千人は法務担当者でない"が導かれる
9. 推論7と事実16から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、推論9: "「この正方形は油っぽくないかそれは胸苦しくない」ということは間違いである"が導かれる
11. 推論9から、仮説が導かれる

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