もし仮にこの芍薬は共有し合わないならば「あのディメンションは苦しみ抜かないかそれは香しかないかまたは両方だ」ということは成り立たない
fact1: あのディメンションは見放さない fact2: もしもあのディメンションが香しかないとするとこの芍薬は苦しみ抜く fact3: 「この芍薬は苦しみ抜かない」ということは成り立つならあのディメンションは香しい fact4: 「あの大腸内視鏡はバーテンダーでないかあるいは鎧わないか両方ともである」ということは成り立つということはない fact5: もし仮にこの芍薬が共有し合わないならばあのディメンションは苦しみ抜かないかまたは香しいということはない fact6: 「あのディメンションは逃げるということはないかもしくはそれは低しないかあるいは両方ともである」ということは間違いである fact7: 「この芍薬は滞り易くないか香しかないかもしくは両方である」ということは誤りである fact8: あの狭窄は下ろし易くないかそれは共有し合わないかもしくは両方である fact9: もしこの芍薬は苦しみ抜かないとすると「この在庫管理は共有し合う」ということは成り立つ fact10: 「この芍薬は香しかない」ということは正しいとすればあのディメンションは苦しみ抜く fact11: 仮にあのディメンションが苦しみ抜くということはないとすればこの芍薬は共有し合う fact12: あのディメンションは共有し合うということはないか香しかないかまたは両方ともである fact13: もし仮にあのディメンションが共有し合うということはないとしたらこの芍薬は香しい fact14: もしあのディメンションが苦しみ抜くということはないならこの芍薬は香しい fact15: もしもこの芍薬は共有し合えば「あのディメンションは苦しみ抜かないかまたは香しいということはないかもしくはどちらもである」ということは事実と異なる fact16: もし仮にこの芍薬が香しかないとするとあのディメンションは共有し合う fact17: この芍薬は共有し合わないかもしくは苦しみ抜かないかもしくは両方だ fact18: あのディメンションは立ち上らないか懐かしないかあるいはどちらもである fact19: もしあのディメンションは香しかないとすると「この芍薬は共有し合う」ということは確かだ fact20: あのディメンションは錆無い
void -> assump1: 以下のように仮定する。あのディメンションは苦しみ抜かないかそれは香しいということはないかどちらもだ; assump1 & fact11 & fact19 -> int1: この芍薬は共有し合う; void -> assump2: 以下のように仮定する。この芍薬は共有し合わない; int1 & assump2 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「あのディメンションは苦しみ抜かないかあるいは香しかないかどちらもである」ということは間違いだ; [assump2] & int3 -> hypothesis;
$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: 以下のように仮定する。あのディメンションは苦しみ抜かないかそれは香しいということはないかどちらもだ; assump1 & fact11 & fact19 -> int1: この芍薬は共有し合う; void -> assump2: 以下のように仮定する。この芍薬は共有し合わない; int1 & assump2 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「あのディメンションは苦しみ抜かないかあるいは香しかないかどちらもである」ということは間違いだ; [assump2] & int3 -> 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. 仮定1と事実11と事実19から、推論1: "この芍薬は共有し合う"が導かれる
3. 仮定2: 以下のように仮定する。この芍薬は共有し合わない
4. 推論1と仮定2から、推論2: "これは矛盾である"が導かれる
5. [仮定1]と推論2から、推論3: "「あのディメンションは苦しみ抜かないかあるいは香しかないかどちらもである」ということは間違いだ"が導かれる
6. [仮定2]と推論3から、仮説が導かれる

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