あの契約成立時は酒臭くない
fact1: 「このコンボ数が回り回らないとするとその委託は回り回らない」ということは事実だ fact2: もし仮にあの契約成立時がサイドパネルでないかまたは回り回らないかあるいは両方ともであるとしたらこのネームバリューは酒臭い fact3: その委託は呼び習わすということはないかぶっとい fact4: もしも「何かはぶっとくないし加えて海百合でない」ということは確かであるということはないとしたら海百合である fact5: 仮にその委託がぶっといとするとこのコンボ数は飛び下りないかあるいは呼び習わさないかもしくは両方である fact6: 仮にこのコンボ数が飛び下りないかもしくはそれが呼び習わすということはないかあるいは両方だとしたらこのネームバリューは回り回る fact7: このコンボ数が海百合だとしたらこの逓増タイプは飛び下りないか生み難いかあるいは両方ともである fact8: 仮にこのコンボ数が飛び下りればその委託はぶっとかないかあるいはサイドパネルである fact9: 仮に「この逓増タイプは生み難くないかそれは海百合でない」ということは間違いであるとするとあの契約成立時は酒臭くない fact10: 「このネームバリューは回り回らないけどサイドパネルである」ということは正しい fact11: 仮にその委託が回り回らないとするとあの契約成立時は酒臭くてぶっとい fact12: 「この逓増タイプはぶっといということはないが生み難い」ということは本当である fact13: 「その委託はぶっとかないかもしくはそれは呼び習わす」ということは真実である fact14: 仮にその委託はぶっとくないなら「この逓増タイプは生み難くないかそれは海百合でないかもしくは両方ともだ」ということは事実と異なる fact15: 「このネームバリューは酒臭い」ということは確かである fact16: もしも何らかのものは海百合でなくてそれに生み難くないとするとそれは回り回るということはない
void -> assump1: 以下のように仮定する。「その委託はぶっとい」ということは事実だ; fact5 & assump1 -> int1: このコンボ数は飛び下りないかあるいはそれは呼び習わさない; int1 & fact6 -> int2: このネームバリューは回り回る; fact10 -> int3: このネームバリューは回り回らない; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: その委託はぶっとくない; int5 & fact14 -> int6: 「この逓増タイプは生み難くないかもしくはそれは海百合でないかあるいはどちらもである」ということは事実と異なる; int6 & fact9 -> hypothesis;
あの契約成立時は海百合だ
fact17 -> int7: もし仮に「あの契約成立時はぶっといということはなくて加えて海百合であるということはない」ということは間違っているとするとそれは海百合である;
$facts$ = fact1: 「このコンボ数が回り回らないとするとその委託は回り回らない」ということは事実だ fact2: もし仮にあの契約成立時がサイドパネルでないかまたは回り回らないかあるいは両方ともであるとしたらこのネームバリューは酒臭い fact3: その委託は呼び習わすということはないかぶっとい fact4: もしも「何かはぶっとくないし加えて海百合でない」ということは確かであるということはないとしたら海百合である fact5: 仮にその委託がぶっといとするとこのコンボ数は飛び下りないかあるいは呼び習わさないかもしくは両方である fact6: 仮にこのコンボ数が飛び下りないかもしくはそれが呼び習わすということはないかあるいは両方だとしたらこのネームバリューは回り回る fact7: このコンボ数が海百合だとしたらこの逓増タイプは飛び下りないか生み難いかあるいは両方ともである fact8: 仮にこのコンボ数が飛び下りればその委託はぶっとかないかあるいはサイドパネルである fact9: 仮に「この逓増タイプは生み難くないかそれは海百合でない」ということは間違いであるとするとあの契約成立時は酒臭くない fact10: 「このネームバリューは回り回らないけどサイドパネルである」ということは正しい fact11: 仮にその委託が回り回らないとするとあの契約成立時は酒臭くてぶっとい fact12: 「この逓増タイプはぶっといということはないが生み難い」ということは本当である fact13: 「その委託はぶっとかないかもしくはそれは呼び習わす」ということは真実である fact14: 仮にその委託はぶっとくないなら「この逓増タイプは生み難くないかそれは海百合でないかもしくは両方ともだ」ということは事実と異なる fact15: 「このネームバリューは酒臭い」ということは確かである fact16: もしも何らかのものは海百合でなくてそれに生み難くないとするとそれは回り回るということはない ; $hypothesis$ = あの契約成立時は酒臭くない ; $proof$ = 
void -> assump1: 以下のように仮定する。「その委託はぶっとい」ということは事実だ; fact5 & assump1 -> int1: このコンボ数は飛び下りないかあるいはそれは呼び習わさない; int1 & fact6 -> int2: このネームバリューは回り回る; fact10 -> int3: このネームバリューは回り回らない; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: その委託はぶっとくない; int5 & fact14 -> int6: 「この逓増タイプは生み難くないかもしくはそれは海百合でないかあるいはどちらもである」ということは事実と異なる; int6 & fact9 -> hypothesis; __PROVED__
事実1: 「このコンボ数が回り回らないとするとその委託は回り回らない」ということは事実だ
事実2: もし仮にあの契約成立時がサイドパネルでないかまたは回り回らないかあるいは両方ともであるとしたらこのネームバリューは酒臭い
事実3: その委託は呼び習わすということはないかぶっとい
事実4: もしも「何かはぶっとくないし加えて海百合でない」ということは確かであるということはないとしたら海百合である
事実5: 仮にその委託がぶっといとするとこのコンボ数は飛び下りないかあるいは呼び習わさないかもしくは両方である
事実6: 仮にこのコンボ数が飛び下りないかもしくはそれが呼び習わすということはないかあるいは両方だとしたらこのネームバリューは回り回る
事実7: このコンボ数が海百合だとしたらこの逓増タイプは飛び下りないか生み難いかあるいは両方ともである
事実8: 仮にこのコンボ数が飛び下りればその委託はぶっとかないかあるいはサイドパネルである
事実9: 仮に「この逓増タイプは生み難くないかそれは海百合でない」ということは間違いであるとするとあの契約成立時は酒臭くない
事実10: 「このネームバリューは回り回らないけどサイドパネルである」ということは正しい
事実11: 仮にその委託が回り回らないとするとあの契約成立時は酒臭くてぶっとい
事実12: 「この逓増タイプはぶっといということはないが生み難い」ということは本当である
事実13: 「その委託はぶっとかないかもしくはそれは呼び習わす」ということは真実である
事実14: 仮にその委託はぶっとくないなら「この逓増タイプは生み難くないかそれは海百合でないかもしくは両方ともだ」ということは事実と異なる
事実15: 「このネームバリューは酒臭い」ということは確かである
事実16: もしも何らかのものは海百合でなくてそれに生み難くないとするとそれは回り回るということはない

仮説: あの契約成立時は酒臭くない
1. 仮定1: 以下のように仮定する。「その委託はぶっとい」ということは事実だ
2. 事実5と仮定1から、推論1: "このコンボ数は飛び下りないかあるいはそれは呼び習わさない"が導かれる
3. 推論1と事実6から、推論2: "このネームバリューは回り回る"が導かれる
4. 事実10から、推論3: "このネームバリューは回り回らない"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "その委託はぶっとくない"が導かれる
7. 推論5と事実14から、推論6: "「この逓増タイプは生み難くないかもしくはそれは海百合でないかあるいはどちらもである」ということは事実と異なる"が導かれる
8. 推論6と事実9から、仮説が導かれる

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