もし仮にその急報が平ったくないとするとこの日向系皇統はトラブル回避であるがしかし頼み難くない
fact1: その急報は輝かしいとすれば「それは各市民である」ということは正しい fact2: その急報が頼み難いとするとこの日向系皇統は平ったいけれどトラブル回避でない fact3: 仮にこの日向系皇統が平ったいということはないならその急報はトラブル回避だがしかしそれは頼み難くない fact4: もしその急報がトラブル回避でないとすればこの日向系皇統はトラブル回避である一方で頼み難くない fact5: この日向系皇統が平ったくないとしたらその急報はトラブル回避だということはない fact6: この日向系皇統が平ったいなら頼み難い fact7: その急報が平ったいとすればそれは宿泊税だ fact8: この日向系皇統は平ったい fact9: もし仮にこの日向系皇統が平ったくないならその急報は頼み難いということはない fact10: この日向系皇統は下がれるが呼吸仕事量でない fact11: 仮にその急報が親しくないとすればこの日向系皇統は雑魚寝しない fact12: 仮にその急報がトラブル回避ならそれは平ったい fact13: もしこの日向系皇統がトラブル回避でないとするとその急報は頼み難くない fact14: この日向系皇統がトラブル回避だし更に頼み難い fact15: 仮にその急報が頼み難いならこの日向系皇統はトラブル回避だがしかし平ったくない fact16: あの降下は頼み難いということはない fact17: もしもこの日向系皇統が平ったいとしたらトラブル回避である
void -> assump2: 以下のように仮定する。その急報はトラブル回避である; fact12 & assump2 -> int1: その急報は平ったい; void -> assump1: 以下のように仮定する。その急報は平ったくない; int1 & assump1 -> int2: これは矛盾である; [assump2] & int2 -> int3: その急報はトラブル回避だということはない; int3 & fact4 -> int4: この日向系皇統はトラブル回避だが頼み難くない; [assump1] & int4 -> hypothesis;
$facts$ = fact1: その急報は輝かしいとすれば「それは各市民である」ということは正しい fact2: その急報が頼み難いとするとこの日向系皇統は平ったいけれどトラブル回避でない fact3: 仮にこの日向系皇統が平ったいということはないならその急報はトラブル回避だがしかしそれは頼み難くない fact4: もしその急報がトラブル回避でないとすればこの日向系皇統はトラブル回避である一方で頼み難くない fact5: この日向系皇統が平ったくないとしたらその急報はトラブル回避だということはない fact6: この日向系皇統が平ったいなら頼み難い fact7: その急報が平ったいとすればそれは宿泊税だ fact8: この日向系皇統は平ったい fact9: もし仮にこの日向系皇統が平ったくないならその急報は頼み難いということはない fact10: この日向系皇統は下がれるが呼吸仕事量でない fact11: 仮にその急報が親しくないとすればこの日向系皇統は雑魚寝しない fact12: 仮にその急報がトラブル回避ならそれは平ったい fact13: もしこの日向系皇統がトラブル回避でないとするとその急報は頼み難くない fact14: この日向系皇統がトラブル回避だし更に頼み難い fact15: 仮にその急報が頼み難いならこの日向系皇統はトラブル回避だがしかし平ったくない fact16: あの降下は頼み難いということはない fact17: もしもこの日向系皇統が平ったいとしたらトラブル回避である ; $hypothesis$ = もし仮にその急報が平ったくないとするとこの日向系皇統はトラブル回避であるがしかし頼み難くない ; $proof$ = 
void -> assump2: 以下のように仮定する。その急報はトラブル回避である; fact12 & assump2 -> int1: その急報は平ったい; void -> assump1: 以下のように仮定する。その急報は平ったくない; int1 & assump1 -> int2: これは矛盾である; [assump2] & int2 -> int3: その急報はトラブル回避だということはない; int3 & fact4 -> int4: この日向系皇統はトラブル回避だが頼み難くない; [assump1] & int4 -> hypothesis; __PROVED__
事実1: その急報は輝かしいとすれば「それは各市民である」ということは正しい
事実2: その急報が頼み難いとするとこの日向系皇統は平ったいけれどトラブル回避でない
事実3: 仮にこの日向系皇統が平ったいということはないならその急報はトラブル回避だがしかしそれは頼み難くない
事実4: もしその急報がトラブル回避でないとすればこの日向系皇統はトラブル回避である一方で頼み難くない
事実5: この日向系皇統が平ったくないとしたらその急報はトラブル回避だということはない
事実6: この日向系皇統が平ったいなら頼み難い
事実7: その急報が平ったいとすればそれは宿泊税だ
事実8: この日向系皇統は平ったい
事実9: もし仮にこの日向系皇統が平ったくないならその急報は頼み難いということはない
事実10: この日向系皇統は下がれるが呼吸仕事量でない
事実11: 仮にその急報が親しくないとすればこの日向系皇統は雑魚寝しない
事実12: 仮にその急報がトラブル回避ならそれは平ったい
事実13: もしこの日向系皇統がトラブル回避でないとするとその急報は頼み難くない
事実14: この日向系皇統がトラブル回避だし更に頼み難い
事実15: 仮にその急報が頼み難いならこの日向系皇統はトラブル回避だがしかし平ったくない
事実16: あの降下は頼み難いということはない
事実17: もしもこの日向系皇統が平ったいとしたらトラブル回避である

仮説: もし仮にその急報が平ったくないとするとこの日向系皇統はトラブル回避であるがしかし頼み難くない
1. 仮定2: 以下のように仮定する。その急報はトラブル回避である
2. 事実12と仮定2から、推論1: "その急報は平ったい"が導かれる
3. 仮定1: 以下のように仮定する。その急報は平ったくない
4. 推論1と仮定1から、推論2: "これは矛盾である"が導かれる
5. [仮定2]と推論2から、推論3: "その急報はトラブル回避だということはない"が導かれる
6. 推論3と事実4から、推論4: "この日向系皇統はトラブル回避だが頼み難くない"が導かれる
7. [仮定1]と推論4から、仮説が導かれる

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