その前振りはＧＨＲＨである
fact1: もしもその技術協力が予防しないならばあの武器・武具は桜こであるけれどそれは税でない fact2: もしあの武器・武具は御礼しないなら「その技術協力は税でなくてそれにふてぶてしくない」ということは間違いだ fact3: もし仮にその前振りがＧＨＲＨでないならばあの技術協力は予防しない fact4: もしもあの武器・武具が桜こであるけどそれは税であるということはないとしたらふてぶてしい fact5: 「その技術協力は三千人であるししかも予防する」ということは確かでない fact6: もし仮に何らかの物が桜こでないとすればＧＨＲＨでないししかも予防しない fact7: もし仮になんらかのものは胞子だということはないがしかし三千人ならば御礼しない fact8: もしもあの武器・武具は三千人でないならばふてぶてしくない fact9: もし「なにがしかのものは税でないがしかし赤字幅である」ということは誤りであるとすれば住み良くない fact10: その前振りは三千人でない fact11: 「あの武器・武具は御礼しないが三千人だ」ということは確かでない fact12: あの武器・武具が程良くないなら胞子であるということはないが三千人である fact13: 「あの武器・武具は御礼しない一方でそれは三千人だ」ということは事実と異なるとすればふてぶてしくない
void -> assump1: 以下のように仮定する。その前振りはＧＨＲＨでない; fact3 & assump1 -> int1: その技術協力は予防しない; int1 & fact1 -> int2: あの武器・武具は桜こであるが税であるということはない; int2 & fact4 -> int3: あの武器・武具はふてぶてしい; fact13 & fact11 -> int4: あの武器・武具はふてぶてしくない; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> hypothesis;
その前振りはＧＨＲＨだということはない
fact17 -> int6: もし仮にその前振りが桜こでないとすればそれはＧＨＲＨでないし加えて予防しない; fact14 -> int7: あの武器・武具が胞子だということはないがしかしそれが三千人ならそれは御礼しない;
$facts$ = fact1: もしもその技術協力が予防しないならばあの武器・武具は桜こであるけれどそれは税でない fact2: もしあの武器・武具は御礼しないなら「その技術協力は税でなくてそれにふてぶてしくない」ということは間違いだ fact3: もし仮にその前振りがＧＨＲＨでないならばあの技術協力は予防しない fact4: もしもあの武器・武具が桜こであるけどそれは税であるということはないとしたらふてぶてしい fact5: 「その技術協力は三千人であるししかも予防する」ということは確かでない fact6: もし仮に何らかの物が桜こでないとすればＧＨＲＨでないししかも予防しない fact7: もし仮になんらかのものは胞子だということはないがしかし三千人ならば御礼しない fact8: もしもあの武器・武具は三千人でないならばふてぶてしくない fact9: もし「なにがしかのものは税でないがしかし赤字幅である」ということは誤りであるとすれば住み良くない fact10: その前振りは三千人でない fact11: 「あの武器・武具は御礼しないが三千人だ」ということは確かでない fact12: あの武器・武具が程良くないなら胞子であるということはないが三千人である fact13: 「あの武器・武具は御礼しない一方でそれは三千人だ」ということは事実と異なるとすればふてぶてしくない ; $hypothesis$ = その前振りはＧＨＲＨである ; $proof$ = 
void -> assump1: 以下のように仮定する。その前振りはＧＨＲＨでない; fact3 & assump1 -> int1: その技術協力は予防しない; int1 & fact1 -> int2: あの武器・武具は桜こであるが税であるということはない; int2 & fact4 -> int3: あの武器・武具はふてぶてしい; fact13 & fact11 -> int4: あの武器・武具はふてぶてしくない; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> hypothesis; __PROVED__
事実1: もしもその技術協力が予防しないならばあの武器・武具は桜こであるけれどそれは税でない
事実2: もしあの武器・武具は御礼しないなら「その技術協力は税でなくてそれにふてぶてしくない」ということは間違いだ
事実3: もし仮にその前振りがＧＨＲＨでないならばあの技術協力は予防しない
事実4: もしもあの武器・武具が桜こであるけどそれは税であるということはないとしたらふてぶてしい
事実5: 「その技術協力は三千人であるししかも予防する」ということは確かでない
事実6: もし仮に何らかの物が桜こでないとすればＧＨＲＨでないししかも予防しない
事実7: もし仮になんらかのものは胞子だということはないがしかし三千人ならば御礼しない
事実8: もしもあの武器・武具は三千人でないならばふてぶてしくない
事実9: もし「なにがしかのものは税でないがしかし赤字幅である」ということは誤りであるとすれば住み良くない
事実10: その前振りは三千人でない
事実11: 「あの武器・武具は御礼しないが三千人だ」ということは確かでない
事実12: あの武器・武具が程良くないなら胞子であるということはないが三千人である
事実13: 「あの武器・武具は御礼しない一方でそれは三千人だ」ということは事実と異なるとすればふてぶてしくない

仮説: その前振りはＧＨＲＨである
1. 仮定1: 以下のように仮定する。その前振りはＧＨＲＨでない
2. 事実3と仮定1から、推論1: "その技術協力は予防しない"が導かれる
3. 推論1と事実1から、推論2: "あの武器・武具は桜こであるが税であるということはない"が導かれる
4. 推論2と事実4から、推論3: "あの武器・武具はふてぶてしい"が導かれる
5. 事実13と事実11から、推論4: "あの武器・武具はふてぶてしくない"が導かれる
6. 推論3と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、仮説が導かれる

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