この二十本以上は対応し切れる
fact1: もしこの二十本以上が対応し切れないならばこのトロール達はややこしいか流され易くないかもしくはどちらもだ fact2: 仮に「何らかのものは子供らしいし加えて御紋だ」ということは間違っているとしたら「それは海外市場でない」ということは成り立つ fact3: 「このトロール達はややこしいかあるいはそれは流され易くない」ということは成り立たない fact4: このトロール達は対応し切れるかまたは流され易くないかもしくは両方だ fact5: 「この二十本以上はややこしいかもしくは対応し切れないかあるいはどちらもだ」ということは真実である fact6: この二十本以上は流され易い fact7: このトロール達はややこしいかまたは対応し切れるかまたは両方だ fact8: もしこの二十本以上が対応し切れないならばこのトロール達はややこしいかあるいは流され易いかまたは両方である fact9: このトロール達はややこしいか流され易いかあるいは両方だ fact10: 「この二十本以上は循環気質であるかもしくは噎せ返らないかあるいは両方ともである」ということは間違いだ fact11: その各ファイルはややこしくない fact12: このトロール達は対応し切れる fact13: このペレストロイカはややこしい
void -> assump1: 以下のように仮定する。この二十本以上は対応し切れない; fact1 & assump1 -> int1: このトロール達はややこしいか流され易いということはないかあるいはどちらもだ; int1 & fact3 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis;
この二十本以上は対応し切れない
fact14 -> int3: 仮に「この生活経験は子供らしいしその上御紋である」ということは偽であるなら「それは海外市場でない」ということは成り立つ;
$facts$ = fact1: もしこの二十本以上が対応し切れないならばこのトロール達はややこしいか流され易くないかもしくはどちらもだ fact2: 仮に「何らかのものは子供らしいし加えて御紋だ」ということは間違っているとしたら「それは海外市場でない」ということは成り立つ fact3: 「このトロール達はややこしいかあるいはそれは流され易くない」ということは成り立たない fact4: このトロール達は対応し切れるかまたは流され易くないかもしくは両方だ fact5: 「この二十本以上はややこしいかもしくは対応し切れないかあるいはどちらもだ」ということは真実である fact6: この二十本以上は流され易い fact7: このトロール達はややこしいかまたは対応し切れるかまたは両方だ fact8: もしこの二十本以上が対応し切れないならばこのトロール達はややこしいかあるいは流され易いかまたは両方である fact9: このトロール達はややこしいか流され易いかあるいは両方だ fact10: 「この二十本以上は循環気質であるかもしくは噎せ返らないかあるいは両方ともである」ということは間違いだ fact11: その各ファイルはややこしくない fact12: このトロール達は対応し切れる fact13: このペレストロイカはややこしい ; $hypothesis$ = この二十本以上は対応し切れる ; $proof$ = 
void -> assump1: 以下のように仮定する。この二十本以上は対応し切れない; fact1 & assump1 -> int1: このトロール達はややこしいか流され易いということはないかあるいはどちらもだ; int1 & fact3 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis; __PROVED__
事実1: もしこの二十本以上が対応し切れないならばこのトロール達はややこしいか流され易くないかもしくはどちらもだ
事実2: 仮に「何らかのものは子供らしいし加えて御紋だ」ということは間違っているとしたら「それは海外市場でない」ということは成り立つ
事実3: 「このトロール達はややこしいかあるいはそれは流され易くない」ということは成り立たない
事実4: このトロール達は対応し切れるかまたは流され易くないかもしくは両方だ
事実5: 「この二十本以上はややこしいかもしくは対応し切れないかあるいはどちらもだ」ということは真実である
事実6: この二十本以上は流され易い
事実7: このトロール達はややこしいかまたは対応し切れるかまたは両方だ
事実8: もしこの二十本以上が対応し切れないならばこのトロール達はややこしいかあるいは流され易いかまたは両方である
事実9: このトロール達はややこしいか流され易いかあるいは両方だ
事実10: 「この二十本以上は循環気質であるかもしくは噎せ返らないかあるいは両方ともである」ということは間違いだ
事実11: その各ファイルはややこしくない
事実12: このトロール達は対応し切れる
事実13: このペレストロイカはややこしい

仮説: この二十本以上は対応し切れる
1. 仮定1: 以下のように仮定する。この二十本以上は対応し切れない
2. 事実1と仮定1から、推論1: "このトロール達はややこしいか流され易いということはないかあるいはどちらもだ"が導かれる
3. 推論1と事実3から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、仮説が導かれる

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