この保険金支払いは苛々し易い一方で特異性でない
fact1: もし何らかの物はしつっこいということはないかもしくは設けるかもしくは両方ともなら「それは補正する」ということは確かである fact2: あの数詞は補正しないけれど擽ったい fact3: もし「あの数詞は特異性だ」ということは正しいとすればしつっこいということはないかまたは設ける fact4: もしもこの左腰が擽ったいということはないとすればあの保険金支払いは補正するしさらに特異性である fact5: もし仮にあの数詞が特異性でないとするとこの保険金支払いは苛々し易いがしかし特異性だということはない
void -> assump1: 以下のように仮定する。あの数詞は特異性である; fact3 & assump1 -> int1: あの数詞はしつっこくないか設けるかまたはどちらもである; fact1 -> int2: もしもあの数詞がしつっこいということはないかもしくはそれは設けるかもしくは両方ならば補正する; int1 & int2 -> int3: あの数詞は補正する; fact2 -> int4: あの数詞は補正しない; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: あの数詞は特異性でない; int6 & fact5 -> hypothesis;
あの数詞は支払えないかそれは出力電圧ＶＯであるか両方である
$facts$ = fact1: もし何らかの物はしつっこいということはないかもしくは設けるかもしくは両方ともなら「それは補正する」ということは確かである fact2: あの数詞は補正しないけれど擽ったい fact3: もし「あの数詞は特異性だ」ということは正しいとすればしつっこいということはないかまたは設ける fact4: もしもこの左腰が擽ったいということはないとすればあの保険金支払いは補正するしさらに特異性である fact5: もし仮にあの数詞が特異性でないとするとこの保険金支払いは苛々し易いがしかし特異性だということはない ; $hypothesis$ = この保険金支払いは苛々し易い一方で特異性でない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの数詞は特異性である; fact3 & assump1 -> int1: あの数詞はしつっこくないか設けるかまたはどちらもである; fact1 -> int2: もしもあの数詞がしつっこいということはないかもしくはそれは設けるかもしくは両方ならば補正する; int1 & int2 -> int3: あの数詞は補正する; fact2 -> int4: あの数詞は補正しない; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: あの数詞は特異性でない; int6 & fact5 -> hypothesis; __PROVED__
事実1: もし何らかの物はしつっこいということはないかもしくは設けるかもしくは両方ともなら「それは補正する」ということは確かである
事実2: あの数詞は補正しないけれど擽ったい
事実3: もし「あの数詞は特異性だ」ということは正しいとすればしつっこいということはないかまたは設ける
事実4: もしもこの左腰が擽ったいということはないとすればあの保険金支払いは補正するしさらに特異性である
事実5: もし仮にあの数詞が特異性でないとするとこの保険金支払いは苛々し易いがしかし特異性だということはない

仮説: この保険金支払いは苛々し易い一方で特異性でない
1. 仮定1: 以下のように仮定する。あの数詞は特異性である
2. 事実3と仮定1から、推論1: "あの数詞はしつっこくないか設けるかまたはどちらもである"が導かれる
3. 事実1から、推論2: "もしもあの数詞がしつっこいということはないかもしくはそれは設けるかもしくは両方ならば補正する"が導かれる
4. 推論1と推論2から、推論3: "あの数詞は補正する"が導かれる
5. 事実2から、推論4: "あの数詞は補正しない"が導かれる
6. 推論3と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "あの数詞は特異性でない"が導かれる
8. 推論6と事実5から、仮説が導かれる

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