もし仮にあの御面は忘れ易いとすれば「その自発的団体は疚しいということはない」ということは事実である
fact1: 「あのＨＴＭＬソースビューは取り次ぐということはない」ということは成り立てばあの御面は忘れ易い fact2: その自発的団体は売り続ける fact3: あのＨＴＭＬソースビューは疚しくない fact4: 「あのＨＴＭＬソースビューは売り続けるかあるいは取り次ぐということはない」ということは成り立たないとするとその自発的団体は疚しい fact5: もし仮に「あの御面は忘れ易い」ということは事実と異ならないとするとその自発的団体は疚しい fact6: もし仮にあのＨＴＭＬソースビューが取り次がないとしたらあの御面は忘れ易くない fact7: もし仮にあのＨＴＭＬソースビューが疚しくないとすればその自発的団体が取り次はない fact8: 仮にあのＨＴＭＬソースビューは売り続けるなら「あの御面は忘れ易くない」ということは誤っていない fact9: その自発的団体は売り続けるかあるいは疚しいということはないか両方ともである fact10: あの御面は疚しくない fact11: もし仮に「その自発的団体は疚しいか取り次がないかもしくは両方だ」ということは成り立たないとしたらあのＨＴＭＬソースビューは売り続けるということはない fact12: もしもあのＨＴＭＬソースビューが疚しいとすればその自発的団体が取り次はない fact13: 仮にあのＨＴＭＬソースビューが疚しいならばあの自発的団体は売り続けない fact14: もしもあの御面が取り次ぐとするとあのＨＴＭＬソースビューは忘れ易くない fact15: 仮に「あの御面は売り続ける」ということは事実だとしたらあのＨＴＭＬソースビューは忘れ易くない fact16: もしも「「あのＨＴＭＬソースビューは売り続けるかあるいはそれは取り次がない」ということは成り立たない」ということは本当だとすればその自発的団体は疚しいということはない fact17: あの御面は売り続ける fact18: もし仮に「あのＨＴＭＬソースビューは忘れ易い」ということは誤りでないならばあの御面が取り次はない fact19: 「あのＨＴＭＬソースビューは青黒いかあるいは攻撃出来ないかあるいは両方ともである」ということは事実と異なる fact20: その自発的団体は疚しい fact21: もしその自発的団体は売り続けるということはないなら「「あのＨＴＭＬソースビューは疚しい」ということは事実だ」ということは偽だ
void -> assump2: 以下のように仮定する。あのＨＴＭＬソースビューが売り続けるか取り次はない; assump2 & fact8 & fact6 -> int1: あの御面は忘れ易くない; void -> assump1: 以下のように仮定する。あの御面は忘れ易い; int1 & assump1 -> int2: これは矛盾である; [assump2] & int2 -> int3: 「あのＨＴＭＬソースビューは売り続けるか取り次がない」ということは誤りだ; int3 & fact16 -> int4: その自発的団体は疚しくない; [assump1] & int4 -> hypothesis;
$facts$ = fact1: 「あのＨＴＭＬソースビューは取り次ぐということはない」ということは成り立てばあの御面は忘れ易い fact2: その自発的団体は売り続ける fact3: あのＨＴＭＬソースビューは疚しくない fact4: 「あのＨＴＭＬソースビューは売り続けるかあるいは取り次ぐということはない」ということは成り立たないとするとその自発的団体は疚しい fact5: もし仮に「あの御面は忘れ易い」ということは事実と異ならないとするとその自発的団体は疚しい fact6: もし仮にあのＨＴＭＬソースビューが取り次がないとしたらあの御面は忘れ易くない fact7: もし仮にあのＨＴＭＬソースビューが疚しくないとすればその自発的団体が取り次はない fact8: 仮にあのＨＴＭＬソースビューは売り続けるなら「あの御面は忘れ易くない」ということは誤っていない fact9: その自発的団体は売り続けるかあるいは疚しいということはないか両方ともである fact10: あの御面は疚しくない fact11: もし仮に「その自発的団体は疚しいか取り次がないかもしくは両方だ」ということは成り立たないとしたらあのＨＴＭＬソースビューは売り続けるということはない fact12: もしもあのＨＴＭＬソースビューが疚しいとすればその自発的団体が取り次はない fact13: 仮にあのＨＴＭＬソースビューが疚しいならばあの自発的団体は売り続けない fact14: もしもあの御面が取り次ぐとするとあのＨＴＭＬソースビューは忘れ易くない fact15: 仮に「あの御面は売り続ける」ということは事実だとしたらあのＨＴＭＬソースビューは忘れ易くない fact16: もしも「「あのＨＴＭＬソースビューは売り続けるかあるいはそれは取り次がない」ということは成り立たない」ということは本当だとすればその自発的団体は疚しいということはない fact17: あの御面は売り続ける fact18: もし仮に「あのＨＴＭＬソースビューは忘れ易い」ということは誤りでないならばあの御面が取り次はない fact19: 「あのＨＴＭＬソースビューは青黒いかあるいは攻撃出来ないかあるいは両方ともである」ということは事実と異なる fact20: その自発的団体は疚しい fact21: もしその自発的団体は売り続けるということはないなら「「あのＨＴＭＬソースビューは疚しい」ということは事実だ」ということは偽だ ; $hypothesis$ = もし仮にあの御面は忘れ易いとすれば「その自発的団体は疚しいということはない」ということは事実である ; $proof$ = 
void -> assump2: 以下のように仮定する。あのＨＴＭＬソースビューが売り続けるか取り次はない; assump2 & fact8 & fact6 -> int1: あの御面は忘れ易くない; void -> assump1: 以下のように仮定する。あの御面は忘れ易い; int1 & assump1 -> int2: これは矛盾である; [assump2] & int2 -> int3: 「あのＨＴＭＬソースビューは売り続けるか取り次がない」ということは誤りだ; int3 & fact16 -> int4: その自発的団体は疚しくない; [assump1] & int4 -> hypothesis; __PROVED__
事実1: 「あのＨＴＭＬソースビューは取り次ぐということはない」ということは成り立てばあの御面は忘れ易い
事実2: その自発的団体は売り続ける
事実3: あのＨＴＭＬソースビューは疚しくない
事実4: 「あのＨＴＭＬソースビューは売り続けるかあるいは取り次ぐということはない」ということは成り立たないとするとその自発的団体は疚しい
事実5: もし仮に「あの御面は忘れ易い」ということは事実と異ならないとするとその自発的団体は疚しい
事実6: もし仮にあのＨＴＭＬソースビューが取り次がないとしたらあの御面は忘れ易くない
事実7: もし仮にあのＨＴＭＬソースビューが疚しくないとすればその自発的団体が取り次はない
事実8: 仮にあのＨＴＭＬソースビューは売り続けるなら「あの御面は忘れ易くない」ということは誤っていない
事実9: その自発的団体は売り続けるかあるいは疚しいということはないか両方ともである
事実10: あの御面は疚しくない
事実11: もし仮に「その自発的団体は疚しいか取り次がないかもしくは両方だ」ということは成り立たないとしたらあのＨＴＭＬソースビューは売り続けるということはない
事実12: もしもあのＨＴＭＬソースビューが疚しいとすればその自発的団体が取り次はない
事実13: 仮にあのＨＴＭＬソースビューが疚しいならばあの自発的団体は売り続けない
事実14: もしもあの御面が取り次ぐとするとあのＨＴＭＬソースビューは忘れ易くない
事実15: 仮に「あの御面は売り続ける」ということは事実だとしたらあのＨＴＭＬソースビューは忘れ易くない
事実16: もしも「「あのＨＴＭＬソースビューは売り続けるかあるいはそれは取り次がない」ということは成り立たない」ということは本当だとすればその自発的団体は疚しいということはない
事実17: あの御面は売り続ける
事実18: もし仮に「あのＨＴＭＬソースビューは忘れ易い」ということは誤りでないならばあの御面が取り次はない
事実19: 「あのＨＴＭＬソースビューは青黒いかあるいは攻撃出来ないかあるいは両方ともである」ということは事実と異なる
事実20: その自発的団体は疚しい
事実21: もしその自発的団体は売り続けるということはないなら「「あのＨＴＭＬソースビューは疚しい」ということは事実だ」ということは偽だ

仮説: もし仮にあの御面は忘れ易いとすれば「その自発的団体は疚しいということはない」ということは事実である
1. 仮定2: 以下のように仮定する。あのＨＴＭＬソースビューが売り続けるか取り次はない
2. 仮定2と事実8と事実6から、推論1: "あの御面は忘れ易くない"が導かれる
3. 仮定1: 以下のように仮定する。あの御面は忘れ易い
4. 推論1と仮定1から、推論2: "これは矛盾である"が導かれる
5. [仮定2]と推論2から、推論3: "「あのＨＴＭＬソースビューは売り続けるか取り次がない」ということは誤りだ"が導かれる
6. 推論3と事実16から、推論4: "その自発的団体は疚しくない"が導かれる
7. [仮定1]と推論4から、仮説が導かれる

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