この年齢不詳はむさくるしくないけどωワンだ
fact1: もし何らかの物はむさくるしいならば「それは頓服でないかもしくはそれはωワンであるかもしくはどちらもである」ということは嘘である fact2: 仮になにがしかのものが蠕動するとすると手術中投与でなくて更に合掌印だ fact3: もし仮に「この年齢不詳は即答するということはないししかもそれはアイシャドウでない」ということは事実と異なれば蠕動するということはない fact4: この年齢不詳は頓服である fact5: この年齢不詳が即答しないしアイシャドウでないならばそれは頓服でない fact6: もしもとある物が蠕動しないとしたらそれはむさくるしくないけれどωワンだ
void -> assump1: 以下のように仮定する。この年齢不詳は即答しなくてその上アイシャドウであるということはない; fact5 & assump1 -> int1: この年齢不詳は頓服でない; int1 & fact4 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「この年齢不詳は即答しないしまたアイシャドウでない」ということは間違いである; int3 & fact3 -> int4: この年齢不詳は蠕動しない; fact6 -> int5: もしこの年齢不詳が蠕動するということはないならばそれはむさくるしくないけれどωワンである; int4 & int5 -> hypothesis;
この帯江・豊洲両村は手術中投与でないけれど合掌印だ
fact7 -> int6: 仮に「この帯江・豊洲両村は蠕動しない」ということは成り立たないなら手術中投与でない一方で合掌印だ; fact8 -> int7: 仮にこの年齢不詳はむさくるしいとすると「頓服でないかまたはωワンであるか両方ともである」ということは偽だ;
$facts$ = fact1: もし何らかの物はむさくるしいならば「それは頓服でないかもしくはそれはωワンであるかもしくはどちらもである」ということは嘘である fact2: 仮になにがしかのものが蠕動するとすると手術中投与でなくて更に合掌印だ fact3: もし仮に「この年齢不詳は即答するということはないししかもそれはアイシャドウでない」ということは事実と異なれば蠕動するということはない fact4: この年齢不詳は頓服である fact5: この年齢不詳が即答しないしアイシャドウでないならばそれは頓服でない fact6: もしもとある物が蠕動しないとしたらそれはむさくるしくないけれどωワンだ ; $hypothesis$ = この年齢不詳はむさくるしくないけどωワンだ ; $proof$ = 
void -> assump1: 以下のように仮定する。この年齢不詳は即答しなくてその上アイシャドウであるということはない; fact5 & assump1 -> int1: この年齢不詳は頓服でない; int1 & fact4 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「この年齢不詳は即答しないしまたアイシャドウでない」ということは間違いである; int3 & fact3 -> int4: この年齢不詳は蠕動しない; fact6 -> int5: もしこの年齢不詳が蠕動するということはないならばそれはむさくるしくないけれどωワンである; int4 & int5 -> hypothesis; __PROVED__
事実1: もし何らかの物はむさくるしいならば「それは頓服でないかもしくはそれはωワンであるかもしくはどちらもである」ということは嘘である
事実2: 仮になにがしかのものが蠕動するとすると手術中投与でなくて更に合掌印だ
事実3: もし仮に「この年齢不詳は即答するということはないししかもそれはアイシャドウでない」ということは事実と異なれば蠕動するということはない
事実4: この年齢不詳は頓服である
事実5: この年齢不詳が即答しないしアイシャドウでないならばそれは頓服でない
事実6: もしもとある物が蠕動しないとしたらそれはむさくるしくないけれどωワンだ

仮説: この年齢不詳はむさくるしくないけどωワンだ
1. 仮定1: 以下のように仮定する。この年齢不詳は即答しなくてその上アイシャドウであるということはない
2. 事実5と仮定1から、推論1: "この年齢不詳は頓服でない"が導かれる
3. 推論1と事実4から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "「この年齢不詳は即答しないしまたアイシャドウでない」ということは間違いである"が導かれる
5. 推論3と事実3から、推論4: "この年齢不詳は蠕動しない"が導かれる
6. 事実6から、推論5: "もしこの年齢不詳が蠕動するということはないならばそれはむさくるしくないけれどωワンである"が導かれる
7. 推論4と推論5から、仮説が導かれる

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