その土壇場はデスである一方で取り除き過ぎるということはない
fact1: もしもその土壇場がデスであるが取り除き過ぎないとすればこのメイン・ストリートは厳選しない fact2: この内容スケール上は厳選しない fact3: もしなにがしかの物が厳選するならそれは楽しい fact4: 「このメイン・ストリートは楽しくないかまたは歯痒いかあるいはどちらもだ」ということは本当でない fact5: 楽しいものは取り除き過ぎる fact6: 「このメイン・ストリートは楽しくないかそれは歯痒いかどちらもである」ということは間違っていれば厳選する
void -> assump1: 以下のように仮定する。その土壇場はデスだけれど取り除き過ぎない; fact1 & assump1 -> int1: 「このメイン・ストリートは厳選しない」ということは真実である; fact4 & fact6 -> int2: このメイン・ストリートは厳選する; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: ({AA}{a} & ¬{AB}{a}); fact1 & assump1 -> int1: ¬{B}{b}; fact4 & fact6 -> int2: {B}{b}; int1 & int2 -> int3: #F#; [assump1] & int3 -> hypothesis;
「この組織剥離法は取り除き過ぎる」ということは事実だ
fact7 -> int4: もしこの組織剥離法が楽しいとすればそれは取り除き過ぎる; fact8 -> int5: もしこの組織剥離法が厳選するなら楽しい;
$facts$ = fact1: もしもその土壇場がデスであるが取り除き過ぎないとすればこのメイン・ストリートは厳選しない fact2: この内容スケール上は厳選しない fact3: もしなにがしかの物が厳選するならそれは楽しい fact4: 「このメイン・ストリートは楽しくないかまたは歯痒いかあるいはどちらもだ」ということは本当でない fact5: 楽しいものは取り除き過ぎる fact6: 「このメイン・ストリートは楽しくないかそれは歯痒いかどちらもである」ということは間違っていれば厳選する ; $hypothesis$ = その土壇場はデスである一方で取り除き過ぎるということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。その土壇場はデスだけれど取り除き過ぎない; fact1 & assump1 -> int1: 「このメイン・ストリートは厳選しない」ということは真実である; fact4 & fact6 -> int2: このメイン・ストリートは厳選する; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
事実1: もしもその土壇場がデスであるが取り除き過ぎないとすればこのメイン・ストリートは厳選しない
事実2: この内容スケール上は厳選しない
事実3: もしなにがしかの物が厳選するならそれは楽しい
事実4: 「このメイン・ストリートは楽しくないかまたは歯痒いかあるいはどちらもだ」ということは本当でない
事実5: 楽しいものは取り除き過ぎる
事実6: 「このメイン・ストリートは楽しくないかそれは歯痒いかどちらもである」ということは間違っていれば厳選する

仮説: その土壇場はデスである一方で取り除き過ぎるということはない
1. 仮定1: 以下のように仮定する。その土壇場はデスだけれど取り除き過ぎない
2. 事実1と仮定1から、推論1: "「このメイン・ストリートは厳選しない」ということは真実である"が導かれる
3. 事実4と事実6から、推論2: "このメイン・ストリートは厳選する"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が否定される

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