もしもこのコミュニティ・ネットワークは切なくないとすると「この革命期は四苦八苦するしおまけに緩み易い」ということは正しい
fact1: この革命期が切なくないならこのコミュニティ・ネットワークは緩み易い fact2: もし仮にこの革命期は惨敗であるとしたらそれは四苦八苦する fact3: この革命期は緩み易い fact4: もし仮になんらかの物が切なくないかまたは酸化するかもしくは両方であるとしたらそれは酸化する fact5: 仮にこの革命期が切ないとするとこのコミュニティ・ネットワークは緩み易い fact6: もしもこのコミュニティ・ネットワークは四苦八苦しないとすると「この革命期は惨敗であるしそれは緩み易い」ということは事実と異なる fact7: もしもこのコミュニティ・ネットワークが緩み易くないとしたらこの革命期は切ない fact8: もし「このコミュニティ・ネットワークは公衆電話ボックスでないがそれは分限だ」ということは事実と異なるとすると四苦八苦するということはない fact9: 仮にこのコミュニティ・ネットワークが緩み易いとしたらこの革命期は切ない fact10: この革命期はきったない fact11: もし仮に「そのサン・ジャパンは発生し難くないかもしくは分量であるかどちらもだ」ということは事実と異なるとしたらこの革命期は発生し難い fact12: もし仮に何らかのものが惨敗だということはないとすれば切なくないかもしくは酸化するか両方だ fact13: このコミュニティ・ネットワークが読み辛いならば緩み易い fact14: もしこのコミュニティ・ネットワークが切なくないならばこの革命期は惨敗だ
void -> assump1: 以下のように仮定する。このコミュニティ・ネットワークは切ないということはない; fact14 & assump1 -> int1: この革命期は惨敗だ; int1 & fact2 -> int2: この革命期は四苦八苦する; int2 & fact3 -> int3: この革命期は四苦八苦するしそれは緩み易い; [assump1] & int3 -> hypothesis;
この革命期は酸化するしその上発生し難い
fact18 -> int4: もしもこの革命期が切なくないかまたは酸化するか両方ならば酸化する; fact19 -> int5: もし仮にこの革命期は惨敗でないならば「切なくないか酸化するかあるいは両方である」ということは成り立つ;
$facts$ = fact1: この革命期が切なくないならこのコミュニティ・ネットワークは緩み易い fact2: もし仮にこの革命期は惨敗であるとしたらそれは四苦八苦する fact3: この革命期は緩み易い fact4: もし仮になんらかの物が切なくないかまたは酸化するかもしくは両方であるとしたらそれは酸化する fact5: 仮にこの革命期が切ないとするとこのコミュニティ・ネットワークは緩み易い fact6: もしもこのコミュニティ・ネットワークは四苦八苦しないとすると「この革命期は惨敗であるしそれは緩み易い」ということは事実と異なる fact7: もしもこのコミュニティ・ネットワークが緩み易くないとしたらこの革命期は切ない fact8: もし「このコミュニティ・ネットワークは公衆電話ボックスでないがそれは分限だ」ということは事実と異なるとすると四苦八苦するということはない fact9: 仮にこのコミュニティ・ネットワークが緩み易いとしたらこの革命期は切ない fact10: この革命期はきったない fact11: もし仮に「そのサン・ジャパンは発生し難くないかもしくは分量であるかどちらもだ」ということは事実と異なるとしたらこの革命期は発生し難い fact12: もし仮に何らかのものが惨敗だということはないとすれば切なくないかもしくは酸化するか両方だ fact13: このコミュニティ・ネットワークが読み辛いならば緩み易い fact14: もしこのコミュニティ・ネットワークが切なくないならばこの革命期は惨敗だ ; $hypothesis$ = もしもこのコミュニティ・ネットワークは切なくないとすると「この革命期は四苦八苦するしおまけに緩み易い」ということは正しい ; $proof$ = 
void -> assump1: 以下のように仮定する。このコミュニティ・ネットワークは切ないということはない; fact14 & assump1 -> int1: この革命期は惨敗だ; int1 & fact2 -> int2: この革命期は四苦八苦する; int2 & fact3 -> int3: この革命期は四苦八苦するしそれは緩み易い; [assump1] & int3 -> hypothesis; __PROVED__
事実1: この革命期が切なくないならこのコミュニティ・ネットワークは緩み易い
事実2: もし仮にこの革命期は惨敗であるとしたらそれは四苦八苦する
事実3: この革命期は緩み易い
事実4: もし仮になんらかの物が切なくないかまたは酸化するかもしくは両方であるとしたらそれは酸化する
事実5: 仮にこの革命期が切ないとするとこのコミュニティ・ネットワークは緩み易い
事実6: もしもこのコミュニティ・ネットワークは四苦八苦しないとすると「この革命期は惨敗であるしそれは緩み易い」ということは事実と異なる
事実7: もしもこのコミュニティ・ネットワークが緩み易くないとしたらこの革命期は切ない
事実8: もし「このコミュニティ・ネットワークは公衆電話ボックスでないがそれは分限だ」ということは事実と異なるとすると四苦八苦するということはない
事実9: 仮にこのコミュニティ・ネットワークが緩み易いとしたらこの革命期は切ない
事実10: この革命期はきったない
事実11: もし仮に「そのサン・ジャパンは発生し難くないかもしくは分量であるかどちらもだ」ということは事実と異なるとしたらこの革命期は発生し難い
事実12: もし仮に何らかのものが惨敗だということはないとすれば切なくないかもしくは酸化するか両方だ
事実13: このコミュニティ・ネットワークが読み辛いならば緩み易い
事実14: もしこのコミュニティ・ネットワークが切なくないならばこの革命期は惨敗だ

仮説: もしもこのコミュニティ・ネットワークは切なくないとすると「この革命期は四苦八苦するしおまけに緩み易い」ということは正しい
1. 仮定1: 以下のように仮定する。このコミュニティ・ネットワークは切ないということはない
2. 事実14と仮定1から、推論1: "この革命期は惨敗だ"が導かれる
3. 推論1と事実2から、推論2: "この革命期は四苦八苦する"が導かれる
4. 推論2と事実3から、推論3: "この革命期は四苦八苦するしそれは緩み易い"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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