その環境浄化は残り難いとすれば「その復学は騒ぎ立てるがしかしそれは売名行為でない」ということは事実である
fact1: 全てのものは有価証券でないしそれに売名行為だ fact2: 仮にその環境浄化が残り難いとすればそれは酷くないか欲望するということはないかまたはどちらもである fact3: もしその環境浄化が欲望しないとするとこのスリットは騒ぎ立てない fact4: このスリットが騒ぎ立てないならばその復学は騒ぎ立てるが売名行為でない fact5: 仮にその環境浄化が酷くないかあるいは欲望しないかあるいはどちらもであるとすればこのスリットは騒ぎ立てない fact6: 残り難い物は哀れっぽくないかもしくはセレクトしないかまたは両方ともである fact7: もしもその環境浄化が残り難いならばそれは酷くないかもしくは欲望するかあるいは両方だ
void -> assump1: 以下のように仮定する。「その環境浄化は残り難い」ということは真実だ; fact2 & assump1 -> int1: その環境浄化は酷くないかまたは欲望しないかまたは両方である; int1 & fact5 -> int2: このスリットは騒ぎ立てない; int2 & fact4 -> int3: その復学は騒ぎ立てるが売名行為でない; [assump1] & int3 -> hypothesis;
この八世紀初頭は哀れっぽくないかもしくはセレクトしないかもしくはどちらもである
fact9 -> int4: その環境浄化は有価証券でないけれどそれは売名行為だ; int4 -> int5: その環境浄化は有価証券だということはない; fact8 -> int6: もし仮にこの八世紀初頭が残り難いとしたらそれは哀れっぽくないかもしくはそれはセレクトしない;
$facts$ = fact1: 全てのものは有価証券でないしそれに売名行為だ fact2: 仮にその環境浄化が残り難いとすればそれは酷くないか欲望するということはないかまたはどちらもである fact3: もしその環境浄化が欲望しないとするとこのスリットは騒ぎ立てない fact4: このスリットが騒ぎ立てないならばその復学は騒ぎ立てるが売名行為でない fact5: 仮にその環境浄化が酷くないかあるいは欲望しないかあるいはどちらもであるとすればこのスリットは騒ぎ立てない fact6: 残り難い物は哀れっぽくないかもしくはセレクトしないかまたは両方ともである fact7: もしもその環境浄化が残り難いならばそれは酷くないかもしくは欲望するかあるいは両方だ ; $hypothesis$ = その環境浄化は残り難いとすれば「その復学は騒ぎ立てるがしかしそれは売名行為でない」ということは事実である ; $proof$ = 
void -> assump1: 以下のように仮定する。「その環境浄化は残り難い」ということは真実だ; fact2 & assump1 -> int1: その環境浄化は酷くないかまたは欲望しないかまたは両方である; int1 & fact5 -> int2: このスリットは騒ぎ立てない; int2 & fact4 -> int3: その復学は騒ぎ立てるが売名行為でない; [assump1] & int3 -> hypothesis; __PROVED__
事実1: 全てのものは有価証券でないしそれに売名行為だ
事実2: 仮にその環境浄化が残り難いとすればそれは酷くないか欲望するということはないかまたはどちらもである
事実3: もしその環境浄化が欲望しないとするとこのスリットは騒ぎ立てない
事実4: このスリットが騒ぎ立てないならばその復学は騒ぎ立てるが売名行為でない
事実5: 仮にその環境浄化が酷くないかあるいは欲望しないかあるいはどちらもであるとすればこのスリットは騒ぎ立てない
事実6: 残り難い物は哀れっぽくないかもしくはセレクトしないかまたは両方ともである
事実7: もしもその環境浄化が残り難いならばそれは酷くないかもしくは欲望するかあるいは両方だ

仮説: その環境浄化は残り難いとすれば「その復学は騒ぎ立てるがしかしそれは売名行為でない」ということは事実である
1. 仮定1: 以下のように仮定する。「その環境浄化は残り難い」ということは真実だ
2. 事実2と仮定1から、推論1: "その環境浄化は酷くないかまたは欲望しないかまたは両方である"が導かれる
3. 推論1と事実5から、推論2: "このスリットは騒ぎ立てない"が導かれる
4. 推論2と事実4から、推論3: "その復学は騒ぎ立てるが売名行為でない"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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