あのボールルームは便乗する
fact1: あのボールルームはメディアエンコーダでないか冗談ぽいか両方ならばそれは便乗しない fact2: あのボールルームはメディアエンコーダであるかあるいは冗談ぽい fact3: 仮にあの六月時点が踏み砕かないならばあのボールルームはメディアエンコーダであるかもしくは冗談ぽいかもしくはどちらもである fact4: 仮になにがしかの物が形見だということはないならば打っ掛けるということはない fact5: 仮にあの監護者が形見でないならあの六月時点は冗談ぽくないけれど打っ掛ける fact6: あの監護者は形見でない fact7: あの六月時点は冗談ぽいということはない fact8: あの六月時点が踏み砕くとしたらたわいない fact9: あのボールルームはメディアエンコーダでないならばそれは便乗しない fact10: もしあの六月時点が力無いということはないしかつアルタリアだということはないとしたらあの基本設計図は形見でない fact11: あの六月時点はたわいなくない fact12: もしも何かは打っ掛けないとするとそれは冗談ぽいかもしくはそれは便乗しないかあるいは両方ともだ fact13: もしも何らかのものがメディアエンコーダでないとしたらたわいなくて加えて踏み砕く fact14: もしもとある物はたわいないとすれば「便乗しないがしかし踏み砕く」ということは事実であるということはない fact15: どれもこれもはアルタリアでない一方で焼き打ちする fact16: あらゆるものは力無くない fact17: 仮に「何かは便乗するということはないけど踏み砕く」ということは事実と異なるとしたらそれは便乗する fact18: 仮にあの六月時点が踏み砕かないならあのボールルームはメディアエンコーダでないかまたはそれは冗談ぽいかまたは両方ともである
void -> assump1: 以下のように仮定する。あの六月時点は踏み砕く; fact8 & assump1 -> int1: あの六月時点はたわいない; int1 & fact11 -> int2: これは矛盾である; [assump1] & int2 -> int3: あの六月時点は踏み砕かない; int3 & fact18 -> int4: あのボールルームはメディアエンコーダでないかそれは冗談ぽいかあるいは両方ともである; int4 & fact1 -> hypothesis;
あの基本設計図はたわいない
fact23 -> int5: あのボールルームは力無くない; fact19 -> int6: あの監護者はアルタリアだということはないけど焼き打ちする; int6 -> int7: あの監護者はアルタリアでない; int7 -> int8: すべてのものはアルタリアでない; int8 -> int9: あのボールルームはアルタリアでない; int5 & int9 -> int10: あのボールルームが力無くないしさらにそれはアルタリアでない; int10 -> int11: 何もかもは力無くなくてしかもアルタリアでない; int11 -> int12: あの六月時点は力無くなくてアルタリアでない; int12 & fact24 -> int13: あの基本設計図は形見でない; fact22 -> int14: もしもあの基本設計図は形見でないならばそれは打っ掛けない; int13 & int14 -> int15: 「あの基本設計図は打っ掛けるということはない」ということは本当だ; fact21 -> int16: 仮にあの基本設計図が打っ掛けるということはないとすると冗談ぽいかもしくは便乗しない; int15 & int16 -> int17: あの基本設計図は冗談ぽいかまたは便乗しないかまたは両方ともだ; fact20 -> int18: もしもあの基本設計図がメディアエンコーダでないとするとそれがたわいないしその上それは踏み砕く;
$facts$ = fact1: あのボールルームはメディアエンコーダでないか冗談ぽいか両方ならばそれは便乗しない fact2: あのボールルームはメディアエンコーダであるかあるいは冗談ぽい fact3: 仮にあの六月時点が踏み砕かないならばあのボールルームはメディアエンコーダであるかもしくは冗談ぽいかもしくはどちらもである fact4: 仮になにがしかの物が形見だということはないならば打っ掛けるということはない fact5: 仮にあの監護者が形見でないならあの六月時点は冗談ぽくないけれど打っ掛ける fact6: あの監護者は形見でない fact7: あの六月時点は冗談ぽいということはない fact8: あの六月時点が踏み砕くとしたらたわいない fact9: あのボールルームはメディアエンコーダでないならばそれは便乗しない fact10: もしあの六月時点が力無いということはないしかつアルタリアだということはないとしたらあの基本設計図は形見でない fact11: あの六月時点はたわいなくない fact12: もしも何かは打っ掛けないとするとそれは冗談ぽいかもしくはそれは便乗しないかあるいは両方ともだ fact13: もしも何らかのものがメディアエンコーダでないとしたらたわいなくて加えて踏み砕く fact14: もしもとある物はたわいないとすれば「便乗しないがしかし踏み砕く」ということは事実であるということはない fact15: どれもこれもはアルタリアでない一方で焼き打ちする fact16: あらゆるものは力無くない fact17: 仮に「何かは便乗するということはないけど踏み砕く」ということは事実と異なるとしたらそれは便乗する fact18: 仮にあの六月時点が踏み砕かないならあのボールルームはメディアエンコーダでないかまたはそれは冗談ぽいかまたは両方ともである ; $hypothesis$ = あのボールルームは便乗する ; $proof$ = 
void -> assump1: 以下のように仮定する。あの六月時点は踏み砕く; fact8 & assump1 -> int1: あの六月時点はたわいない; int1 & fact11 -> int2: これは矛盾である; [assump1] & int2 -> int3: あの六月時点は踏み砕かない; int3 & fact18 -> int4: あのボールルームはメディアエンコーダでないかそれは冗談ぽいかあるいは両方ともである; int4 & fact1 -> hypothesis; __DISPROVED__
事実1: あのボールルームはメディアエンコーダでないか冗談ぽいか両方ならばそれは便乗しない
事実2: あのボールルームはメディアエンコーダであるかあるいは冗談ぽい
事実3: 仮にあの六月時点が踏み砕かないならばあのボールルームはメディアエンコーダであるかもしくは冗談ぽいかもしくはどちらもである
事実4: 仮になにがしかの物が形見だということはないならば打っ掛けるということはない
事実5: 仮にあの監護者が形見でないならあの六月時点は冗談ぽくないけれど打っ掛ける
事実6: あの監護者は形見でない
事実7: あの六月時点は冗談ぽいということはない
事実8: あの六月時点が踏み砕くとしたらたわいない
事実9: あのボールルームはメディアエンコーダでないならばそれは便乗しない
事実10: もしあの六月時点が力無いということはないしかつアルタリアだということはないとしたらあの基本設計図は形見でない
事実11: あの六月時点はたわいなくない
事実12: もしも何かは打っ掛けないとするとそれは冗談ぽいかもしくはそれは便乗しないかあるいは両方ともだ
事実13: もしも何らかのものがメディアエンコーダでないとしたらたわいなくて加えて踏み砕く
事実14: もしもとある物はたわいないとすれば「便乗しないがしかし踏み砕く」ということは事実であるということはない
事実15: どれもこれもはアルタリアでない一方で焼き打ちする
事実16: あらゆるものは力無くない
事実17: 仮に「何かは便乗するということはないけど踏み砕く」ということは事実と異なるとしたらそれは便乗する
事実18: 仮にあの六月時点が踏み砕かないならあのボールルームはメディアエンコーダでないかまたはそれは冗談ぽいかまたは両方ともである

仮説: あのボールルームは便乗する
1. 仮定1: 以下のように仮定する。あの六月時点は踏み砕く
2. 事実8と仮定1から、推論1: "あの六月時点はたわいない"が導かれる
3. 推論1と事実11から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "あの六月時点は踏み砕かない"が導かれる
5. 推論3と事実18から、推論4: "あのボールルームはメディアエンコーダでないかそれは冗談ぽいかあるいは両方ともである"が導かれる
6. 推論4と事実1から、仮説が否定される

よって、仮説が否定されました。