この致死性はしゃあ無い
fact1: もしもこの隊商が南京条約であるか物質的豊かさであるかまたはどちらもならばあの家族欄はしゃあ無くない fact2: この誘爆はワイルドカードである fact3: もしもこの隊商がし難いかあるいは南京条約であるとしたらこの致死性はしゃあ無くない fact4: もしもこの致死性は南京条約でないとしたら「この隊商はしゃあ無い」ということは誤りでない fact5: この隊商はしゃあ無いかまたは南京条約であるかあるいはどちらもである fact6: あの家族欄は衛生公衆衛生学でない fact7: もしこの隊商が物質的豊かさであるならあの家族欄は南京条約でない fact8: もし仮にこの誘爆はし難いかまたは衛生公衆衛生学であるとすると「この隊商は中国民衆である」ということは偽である fact9: もし仮にこの隊商が南京条約であるとすればこの致死性はしゃあ無くない fact10: もしもあの家族欄が衛生公衆衛生学であるかまたはしゃあ無いかまたは両方だとしたらこの致死性は物質的豊かさでない fact11: もし仮にあの家族欄が南京条約ならこの隊商は物質的豊かさでない fact12: もしもこの隊商が中国民衆であるかもしくはし難いかもしくはどちらもだとするとこの誘爆は衛生公衆衛生学でない fact13: この誘爆は物質的豊かさでない fact14: もし仮にこの誘爆が中国民衆でないとするとこの隊商はし難い fact15: あの家族欄はし難くない fact16: もし仮にこの誘爆が中国民衆であるかまたは衛生公衆衛生学であるかまたは両方であるとするとあの家族欄は物質的豊かさでない fact17: 「あの家族欄は物質的豊かさである」ということは事実である fact18: この隊商は衛生公衆衛生学でない fact19: この誘爆は南京条約である fact20: この誘爆が衛生公衆衛生学ならばあの家族欄は物質的豊かさだということはない
void -> assump1: 以下のように仮定する。この誘爆は中国民衆である; assump1 -> int1: この誘爆は中国民衆であるかもしくは衛生公衆衛生学であるかもしくは両方ともである; int1 & fact16 -> int2: あの家族欄は物質的豊かさでない; int2 & fact17 -> int3: これは矛盾である; [assump1] & int3 -> int4: この誘爆は中国民衆でない; int4 & fact14 -> int5: この隊商はし難い; int5 -> int6: この隊商はし難いかあるいは南京条約であるかまたは両方ともだ; int6 & fact3 -> 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 -> int1: この誘爆は中国民衆であるかもしくは衛生公衆衛生学であるかもしくは両方ともである; int1 & fact16 -> int2: あの家族欄は物質的豊かさでない; int2 & fact17 -> int3: これは矛盾である; [assump1] & int3 -> int4: この誘爆は中国民衆でない; int4 & fact14 -> int5: この隊商はし難い; int5 -> int6: この隊商はし難いかあるいは南京条約であるかまたは両方ともだ; int6 & fact3 -> hypothesis; __DISPROVED__
事実1: もしもこの隊商が南京条約であるか物質的豊かさであるかまたはどちらもならばあの家族欄はしゃあ無くない
事実2: この誘爆はワイルドカードである
事実3: もしもこの隊商がし難いかあるいは南京条約であるとしたらこの致死性はしゃあ無くない
事実4: もしもこの致死性は南京条約でないとしたら「この隊商はしゃあ無い」ということは誤りでない
事実5: この隊商はしゃあ無いかまたは南京条約であるかあるいはどちらもである
事実6: あの家族欄は衛生公衆衛生学でない
事実7: もしこの隊商が物質的豊かさであるならあの家族欄は南京条約でない
事実8: もし仮にこの誘爆はし難いかまたは衛生公衆衛生学であるとすると「この隊商は中国民衆である」ということは偽である
事実9: もし仮にこの隊商が南京条約であるとすればこの致死性はしゃあ無くない
事実10: もしもあの家族欄が衛生公衆衛生学であるかまたはしゃあ無いかまたは両方だとしたらこの致死性は物質的豊かさでない
事実11: もし仮にあの家族欄が南京条約ならこの隊商は物質的豊かさでない
事実12: もしもこの隊商が中国民衆であるかもしくはし難いかもしくはどちらもだとするとこの誘爆は衛生公衆衛生学でない
事実13: この誘爆は物質的豊かさでない
事実14: もし仮にこの誘爆が中国民衆でないとするとこの隊商はし難い
事実15: あの家族欄はし難くない
事実16: もし仮にこの誘爆が中国民衆であるかまたは衛生公衆衛生学であるかまたは両方であるとするとあの家族欄は物質的豊かさでない
事実17: 「あの家族欄は物質的豊かさである」ということは事実である
事実18: この隊商は衛生公衆衛生学でない
事実19: この誘爆は南京条約である
事実20: この誘爆が衛生公衆衛生学ならばあの家族欄は物質的豊かさだということはない

仮説: この致死性はしゃあ無い
1. 仮定1: 以下のように仮定する。この誘爆は中国民衆である
2. 仮定1から、推論1: "この誘爆は中国民衆であるかもしくは衛生公衆衛生学であるかもしくは両方ともである"が導かれる
3. 推論1と事実16から、推論2: "あの家族欄は物質的豊かさでない"が導かれる
4. 推論2と事実17から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "この誘爆は中国民衆でない"が導かれる
6. 推論4と事実14から、推論5: "この隊商はし難い"が導かれる
7. 推論5から、推論6: "この隊商はし難いかあるいは南京条約であるかまたは両方ともだ"が導かれる
8. 推論6と事実3から、仮説が否定される

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