あの協議事項は行軍する
fact1: そのザ・ハンドは外人部隊だ一方でそれは請求人主張でない fact2: もしあの協議事項が苛立たしいとしたらやばい fact3: 仮に「あの協議事項は回転焼きであるということはないし継承・発展しない」ということは成り立たないとすればやばくない fact4: 仮に「賑やか過ぎるということはない」物はあるとすると「その日本紀私記はやばくないし苛立たしかない」ということは成り立つということはない fact5: もし仮に外人部隊が請求人主張だということはないならば債務控除でない fact6: もし仮に何らかのものは債務控除であるということはないとすれば「それは賑やか過ぎるしかつ血腥くない」ということは成り立たない fact7: もしも「「賑やか過ぎるけれど血腥いということはない」ということは誤りである」ものがあるとすればこの理工系は賑やか過ぎない fact8: もしあの協議事項は回転焼きでなくて継承・発展しないとするとそれは行軍する fact9: あの協議事項は苛立たしい fact10: もし仮にあの白抜き文字がむさいけれど回転焼きでないとしたら「受光する」ということは事実である
void -> assump1: 以下のように仮定する。「あの協議事項は回転焼きでないしそれは継承・発展しない」ということは誤っている; fact3 & assump1 -> int1: あの協議事項はやばくない; fact9 & fact2 -> int2: あの協議事項はやばい; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの協議事項は回転焼きでないしまた継承・発展しない; int4 & fact8 -> hypothesis;
あの協議事項は行軍しない
fact11 -> int5: そのザ・ハンドは債務控除でないなら「それは賑やか過ぎるけど血腥くない」ということは事実と異なる; fact15 -> int6: そのザ・ハンドが外人部隊だけどそれは請求人主張でないとしたら債務控除でない; int6 & fact14 -> int7: そのザ・ハンドは債務控除でない; int5 & int7 -> int8: 「そのザ・ハンドは賑やか過ぎるがしかしそれは血腥くない」ということは間違いである; int8 -> int9: 「「賑やか過ぎるがしかし血腥くない」ということは偽な」物はある; int9 & fact12 -> int10: この理工系は賑やか過ぎるということはない; int10 -> int11: 「賑やか過ぎない」ものはある; int11 & fact13 -> int12: 「その日本紀私記はやばくなくて更に苛立たしかない」ということは誤りである; int12 -> int13: 「「やばくなくてそれに苛立たしいということはない」ということは成り立たない」ものはある;
$facts$ = fact1: そのザ・ハンドは外人部隊だ一方でそれは請求人主張でない fact2: もしあの協議事項が苛立たしいとしたらやばい fact3: 仮に「あの協議事項は回転焼きであるということはないし継承・発展しない」ということは成り立たないとすればやばくない fact4: 仮に「賑やか過ぎるということはない」物はあるとすると「その日本紀私記はやばくないし苛立たしかない」ということは成り立つということはない fact5: もし仮に外人部隊が請求人主張だということはないならば債務控除でない fact6: もし仮に何らかのものは債務控除であるということはないとすれば「それは賑やか過ぎるしかつ血腥くない」ということは成り立たない fact7: もしも「「賑やか過ぎるけれど血腥いということはない」ということは誤りである」ものがあるとすればこの理工系は賑やか過ぎない fact8: もしあの協議事項は回転焼きでなくて継承・発展しないとするとそれは行軍する fact9: あの協議事項は苛立たしい fact10: もし仮にあの白抜き文字がむさいけれど回転焼きでないとしたら「受光する」ということは事実である ; $hypothesis$ = あの協議事項は行軍する ; $proof$ = 
void -> assump1: 以下のように仮定する。「あの協議事項は回転焼きでないしそれは継承・発展しない」ということは誤っている; fact3 & assump1 -> int1: あの協議事項はやばくない; fact9 & fact2 -> int2: あの協議事項はやばい; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの協議事項は回転焼きでないしまた継承・発展しない; int4 & fact8 -> hypothesis; __PROVED__
事実1: そのザ・ハンドは外人部隊だ一方でそれは請求人主張でない
事実2: もしあの協議事項が苛立たしいとしたらやばい
事実3: 仮に「あの協議事項は回転焼きであるということはないし継承・発展しない」ということは成り立たないとすればやばくない
事実4: 仮に「賑やか過ぎるということはない」物はあるとすると「その日本紀私記はやばくないし苛立たしかない」ということは成り立つということはない
事実5: もし仮に外人部隊が請求人主張だということはないならば債務控除でない
事実6: もし仮に何らかのものは債務控除であるということはないとすれば「それは賑やか過ぎるしかつ血腥くない」ということは成り立たない
事実7: もしも「「賑やか過ぎるけれど血腥いということはない」ということは誤りである」ものがあるとすればこの理工系は賑やか過ぎない
事実8: もしあの協議事項は回転焼きでなくて継承・発展しないとするとそれは行軍する
事実9: あの協議事項は苛立たしい
事実10: もし仮にあの白抜き文字がむさいけれど回転焼きでないとしたら「受光する」ということは事実である

仮説: あの協議事項は行軍する
1. 仮定1: 以下のように仮定する。「あの協議事項は回転焼きでないしそれは継承・発展しない」ということは誤っている
2. 事実3と仮定1から、推論1: "あの協議事項はやばくない"が導かれる
3. 事実9と事実2から、推論2: "あの協議事項はやばい"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "あの協議事項は回転焼きでないしまた継承・発展しない"が導かれる
6. 推論4と事実8から、仮説が導かれる

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