その五種類は礼賛しない
fact1: 仮に何らかのものは煎じないとすると「初期化しない」ということは真実である fact2: もし仮にこの孫子が余所余所しかないならその五種類は礼賛しない fact3: 「その客観は死傷しない」ということは事実だ fact4: 「この地域福祉推進はスプリッタだ一方で染め物でない」ということは間違いだとすればその客観は疎んずる fact5: この孫子は初期化する fact6: もしも何らかの物が不法投棄しないとすれば煎じるかもしくは死傷する fact7: もし仮にあの管理釣り場が煎じないとすればこの各事項は煎じる fact8: もし仮になにがしかのものが煎じないかそれは伝達出来るかどちらもであるとすると煎じない fact9: もし「コスト低減でない」物はあるとしたら「あの管理釣り場がタイ系民族だしそれにそれはコスト低減である」ということは成り立たない fact10: この孫子は敢え無い fact11: 仮にこの各事項が煎じるが不法投棄しないとすればこの孫子は煎じる fact12: もし「この孫子は初期化するかまたは死傷するということはない」ということは成り立たないとすればその五種類は死傷しない fact13: ある物が死傷するということはないならそれは礼賛するしそれに敢え無い fact14: この孫子が敢え無くて更にそれが死傷すれば煎じるということはない fact15: もしなにかはタイ系民族でないとしたら「それは煎じるということはないかもしくは伝達出来るかまたは両方だ」ということは誤りでない fact16: この孫子が不法投棄するならその五種類は礼賛するということはない fact17: 「もしこの孫子が余所余所しかないし加えて不法投棄しないとするとその五種類は不法投棄しない」ということは成り立つ fact18: 「この地域福祉推進はスプリッタである一方で染め物でない」ということは成り立たない fact19: もし仮にこの孫子が死傷しないとするとそれは不法投棄するかまたは余所余所しかないかあるいは両方だ fact20: 仮に「何かはタイ系民族であるしおまけにコスト低減だ」ということは成り立つということはないとすればタイ系民族でない fact21: 何かはコスト低減でない fact22: その客観は余所余所しい
void -> assump1: 以下のように仮定する。この孫子は死傷する; fact10 & assump1 -> int1: この孫子は敢え無いししかも死傷する; int1 & fact14 -> int2: この孫子は煎じない; fact1 -> int3: もしも「この孫子は煎じるということはない」ということは真実だとすればそれは初期化しない; int2 & int3 -> int4: この孫子は初期化しない; int4 & fact5 -> int5: これは矛盾である; [assump1] & int5 -> int6: この孫子は死傷しない; int6 & fact19 -> int7: この孫子は不法投棄するかあるいはそれは余所余所しかないかまたは両方ともである; int7 & fact16 & fact2 -> hypothesis;
その五種類は礼賛する
fact26 -> int8: もしその五種類は死傷しないなら「礼賛するしそれは敢え無い」ということは本当である; fact24 -> int9: もしあの管理釣り場は煎じないかもしくは伝達出来るかもしくは両方ともならば「煎じない」ということは嘘でない; fact25 -> int10: もしあの管理釣り場はタイ系民族でないならばそれは煎じるということはないかもしくは伝達出来るかまたはどちらもだ; fact34 -> int11: 「あの管理釣り場はタイ系民族でおまけにコスト低減である」ということは間違いだとすればタイ系民族であるということはない; fact27 & fact29 -> int12: 「あの管理釣り場はタイ系民族でおまけにコスト低減である」ということは嘘だ; int11 & int12 -> int13: 「あの管理釣り場はタイ系民族だということはない」ということは真実である; int10 & int13 -> int14: あの管理釣り場は煎じないかまたは伝達出来るかあるいはどちらもである; int9 & int14 -> int15: あの管理釣り場は煎じない; fact33 & int15 -> int16: この各事項は煎じる; fact28 & fact30 -> int17: その客観は疎んずる; int17 & fact23 -> int18: その客観は疎んずるし余所余所しい; int18 -> int19: 「疎んずるしまた余所余所しい」ものはある;
$facts$ = fact1: 仮に何らかのものは煎じないとすると「初期化しない」ということは真実である fact2: もし仮にこの孫子が余所余所しかないならその五種類は礼賛しない fact3: 「その客観は死傷しない」ということは事実だ fact4: 「この地域福祉推進はスプリッタだ一方で染め物でない」ということは間違いだとすればその客観は疎んずる fact5: この孫子は初期化する fact6: もしも何らかの物が不法投棄しないとすれば煎じるかもしくは死傷する fact7: もし仮にあの管理釣り場が煎じないとすればこの各事項は煎じる fact8: もし仮になにがしかのものが煎じないかそれは伝達出来るかどちらもであるとすると煎じない fact9: もし「コスト低減でない」物はあるとしたら「あの管理釣り場がタイ系民族だしそれにそれはコスト低減である」ということは成り立たない fact10: この孫子は敢え無い fact11: 仮にこの各事項が煎じるが不法投棄しないとすればこの孫子は煎じる fact12: もし「この孫子は初期化するかまたは死傷するということはない」ということは成り立たないとすればその五種類は死傷しない fact13: ある物が死傷するということはないならそれは礼賛するしそれに敢え無い fact14: この孫子が敢え無くて更にそれが死傷すれば煎じるということはない fact15: もしなにかはタイ系民族でないとしたら「それは煎じるということはないかもしくは伝達出来るかまたは両方だ」ということは誤りでない fact16: この孫子が不法投棄するならその五種類は礼賛するということはない fact17: 「もしこの孫子が余所余所しかないし加えて不法投棄しないとするとその五種類は不法投棄しない」ということは成り立つ fact18: 「この地域福祉推進はスプリッタである一方で染め物でない」ということは成り立たない fact19: もし仮にこの孫子が死傷しないとするとそれは不法投棄するかまたは余所余所しかないかあるいは両方だ fact20: 仮に「何かはタイ系民族であるしおまけにコスト低減だ」ということは成り立つということはないとすればタイ系民族でない fact21: 何かはコスト低減でない fact22: その客観は余所余所しい ; $hypothesis$ = その五種類は礼賛しない ; $proof$ = 
void -> assump1: 以下のように仮定する。この孫子は死傷する; fact10 & assump1 -> int1: この孫子は敢え無いししかも死傷する; int1 & fact14 -> int2: この孫子は煎じない; fact1 -> int3: もしも「この孫子は煎じるということはない」ということは真実だとすればそれは初期化しない; int2 & int3 -> int4: この孫子は初期化しない; int4 & fact5 -> int5: これは矛盾である; [assump1] & int5 -> int6: この孫子は死傷しない; int6 & fact19 -> int7: この孫子は不法投棄するかあるいはそれは余所余所しかないかまたは両方ともである; int7 & fact16 & fact2 -> hypothesis; __PROVED__
事実1: 仮に何らかのものは煎じないとすると「初期化しない」ということは真実である
事実2: もし仮にこの孫子が余所余所しかないならその五種類は礼賛しない
事実3: 「その客観は死傷しない」ということは事実だ
事実4: 「この地域福祉推進はスプリッタだ一方で染め物でない」ということは間違いだとすればその客観は疎んずる
事実5: この孫子は初期化する
事実6: もしも何らかの物が不法投棄しないとすれば煎じるかもしくは死傷する
事実7: もし仮にあの管理釣り場が煎じないとすればこの各事項は煎じる
事実8: もし仮になにがしかのものが煎じないかそれは伝達出来るかどちらもであるとすると煎じない
事実9: もし「コスト低減でない」物はあるとしたら「あの管理釣り場がタイ系民族だしそれにそれはコスト低減である」ということは成り立たない
事実10: この孫子は敢え無い
事実11: 仮にこの各事項が煎じるが不法投棄しないとすればこの孫子は煎じる
事実12: もし「この孫子は初期化するかまたは死傷するということはない」ということは成り立たないとすればその五種類は死傷しない
事実13: ある物が死傷するということはないならそれは礼賛するしそれに敢え無い
事実14: この孫子が敢え無くて更にそれが死傷すれば煎じるということはない
事実15: もしなにかはタイ系民族でないとしたら「それは煎じるということはないかもしくは伝達出来るかまたは両方だ」ということは誤りでない
事実16: この孫子が不法投棄するならその五種類は礼賛するということはない
事実17: 「もしこの孫子が余所余所しかないし加えて不法投棄しないとするとその五種類は不法投棄しない」ということは成り立つ
事実18: 「この地域福祉推進はスプリッタである一方で染め物でない」ということは成り立たない
事実19: もし仮にこの孫子が死傷しないとするとそれは不法投棄するかまたは余所余所しかないかあるいは両方だ
事実20: 仮に「何かはタイ系民族であるしおまけにコスト低減だ」ということは成り立つということはないとすればタイ系民族でない
事実21: 何かはコスト低減でない
事実22: その客観は余所余所しい

仮説: その五種類は礼賛しない
1. 仮定1: 以下のように仮定する。この孫子は死傷する
2. 事実10と仮定1から、推論1: "この孫子は敢え無いししかも死傷する"が導かれる
3. 推論1と事実14から、推論2: "この孫子は煎じない"が導かれる
4. 事実1から、推論3: "もしも「この孫子は煎じるということはない」ということは真実だとすればそれは初期化しない"が導かれる
5. 推論2と推論3から、推論4: "この孫子は初期化しない"が導かれる
6. 推論4と事実5から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "この孫子は死傷しない"が導かれる
8. 推論6と事実19から、推論7: "この孫子は不法投棄するかあるいはそれは余所余所しかないかまたは両方ともである"が導かれる
9. 推論7と事実16と事実2から、仮説が導かれる

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