あの第七連隊は脱垂部分だということはない
fact1: 仮にこの債務額が生温かいとしたらあの第七連隊は脱垂部分だということはない fact2: ある物はレーザー治療であるしＡ被疑事実だ fact3: あの第七連隊は鳥獣保護区だけど光ケーブルでない fact4: 仮にその法蔵館が同定結果だとしたら鳥獣保護区だしそれは市内でない fact5: 仮になにがしかの物が鳥獣保護区でないとすると脱垂部分でおまけにそれは市内である fact6: なんらかのものはＡ被疑事実だ fact7: 「この債務額はアイアンでないしさらにそれは生温かくない」ということは間違いであるならばあの第七連隊は脱垂部分だということはない fact8: その法蔵館は鳥獣保護区だ fact9: もしこの債務額がアイアンでないが生温かいとするとこの軍営は鳥獣保護区でない fact10: レーザー治療がＡ被疑事実だとすればその法蔵館は同定結果だ fact11: この債務額は生温かくない fact12: もしその法蔵館が同定結果だとすれば鳥獣保護区だ fact13: 「この債務額はアイアンだけど鳥獣保護区でない」ということは誤っている fact14: もしもこの債務額はレーザー治療である一方でＡ被疑事実でないとすれば同定結果だということはない fact15: 「この債務額はアイアンでないけどそれは生温かい」ということは誤っている fact16: もし仮にこの債務額がアイアンだということはないし更に生温かくないとしたらこの軍営は鳥獣保護区でない fact17: 仮に「「この債務額は鳥獣保護区であるということはないしアイアンでない」ということは成り立たない」ということは本当であるならばあの法蔵館は市内だということはない fact18: 「レーザー治療な」ものはある fact19: 「あの第七連隊は市内でないしアイアンでない」ということは嘘であるとするとこの債務額は脱垂部分でない fact20: この債務額はアイアンであるとすればそれは同定結果であるけれど脱垂部分だということはない fact21: もし仮にこの軍営は鳥獣保護区でないとしたら「その法蔵館は鳥獣保護区であるけど市内でない」ということは誤っている
void -> assump1: 以下のように仮定する。この債務額はアイアンでなくて生温かいということはない; fact16 & assump1 -> int1: この軍営は鳥獣保護区であるということはない; int1 & fact21 -> int2: 「その法蔵館は鳥獣保護区だけれど市内であるということはない」ということは間違っている; fact2 & fact10 -> int3: その法蔵館は同定結果だ; fact4 & int3 -> int4: その法蔵館は鳥獣保護区だがしかし市内でない; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: 「この債務額はアイアンであるということはないし生温かくない」ということは誤りである; int6 & fact7 -> hypothesis;
あの第七連隊は脱垂部分だ
fact22 -> int7: もしも「あの第七連隊は鳥獣保護区でない」ということは本当だとするとそれが脱垂部分だしそれは市内だ;
$facts$ = fact1: 仮にこの債務額が生温かいとしたらあの第七連隊は脱垂部分だということはない fact2: ある物はレーザー治療であるしＡ被疑事実だ fact3: あの第七連隊は鳥獣保護区だけど光ケーブルでない fact4: 仮にその法蔵館が同定結果だとしたら鳥獣保護区だしそれは市内でない fact5: 仮になにがしかの物が鳥獣保護区でないとすると脱垂部分でおまけにそれは市内である fact6: なんらかのものはＡ被疑事実だ fact7: 「この債務額はアイアンでないしさらにそれは生温かくない」ということは間違いであるならばあの第七連隊は脱垂部分だということはない fact8: その法蔵館は鳥獣保護区だ fact9: もしこの債務額がアイアンでないが生温かいとするとこの軍営は鳥獣保護区でない fact10: レーザー治療がＡ被疑事実だとすればその法蔵館は同定結果だ fact11: この債務額は生温かくない fact12: もしその法蔵館が同定結果だとすれば鳥獣保護区だ fact13: 「この債務額はアイアンだけど鳥獣保護区でない」ということは誤っている fact14: もしもこの債務額はレーザー治療である一方でＡ被疑事実でないとすれば同定結果だということはない fact15: 「この債務額はアイアンでないけどそれは生温かい」ということは誤っている fact16: もし仮にこの債務額がアイアンだということはないし更に生温かくないとしたらこの軍営は鳥獣保護区でない fact17: 仮に「「この債務額は鳥獣保護区であるということはないしアイアンでない」ということは成り立たない」ということは本当であるならばあの法蔵館は市内だということはない fact18: 「レーザー治療な」ものはある fact19: 「あの第七連隊は市内でないしアイアンでない」ということは嘘であるとするとこの債務額は脱垂部分でない fact20: この債務額はアイアンであるとすればそれは同定結果であるけれど脱垂部分だということはない fact21: もし仮にこの軍営は鳥獣保護区でないとしたら「その法蔵館は鳥獣保護区であるけど市内でない」ということは誤っている ; $hypothesis$ = あの第七連隊は脱垂部分だということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。この債務額はアイアンでなくて生温かいということはない; fact16 & assump1 -> int1: この軍営は鳥獣保護区であるということはない; int1 & fact21 -> int2: 「その法蔵館は鳥獣保護区だけれど市内であるということはない」ということは間違っている; fact2 & fact10 -> int3: その法蔵館は同定結果だ; fact4 & int3 -> int4: その法蔵館は鳥獣保護区だがしかし市内でない; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: 「この債務額はアイアンであるということはないし生温かくない」ということは誤りである; int6 & fact7 -> hypothesis; __PROVED__
事実1: 仮にこの債務額が生温かいとしたらあの第七連隊は脱垂部分だということはない
事実2: ある物はレーザー治療であるしＡ被疑事実だ
事実3: あの第七連隊は鳥獣保護区だけど光ケーブルでない
事実4: 仮にその法蔵館が同定結果だとしたら鳥獣保護区だしそれは市内でない
事実5: 仮になにがしかの物が鳥獣保護区でないとすると脱垂部分でおまけにそれは市内である
事実6: なんらかのものはＡ被疑事実だ
事実7: 「この債務額はアイアンでないしさらにそれは生温かくない」ということは間違いであるならばあの第七連隊は脱垂部分だということはない
事実8: その法蔵館は鳥獣保護区だ
事実9: もしこの債務額がアイアンでないが生温かいとするとこの軍営は鳥獣保護区でない
事実10: レーザー治療がＡ被疑事実だとすればその法蔵館は同定結果だ
事実11: この債務額は生温かくない
事実12: もしその法蔵館が同定結果だとすれば鳥獣保護区だ
事実13: 「この債務額はアイアンだけど鳥獣保護区でない」ということは誤っている
事実14: もしもこの債務額はレーザー治療である一方でＡ被疑事実でないとすれば同定結果だということはない
事実15: 「この債務額はアイアンでないけどそれは生温かい」ということは誤っている
事実16: もし仮にこの債務額がアイアンだということはないし更に生温かくないとしたらこの軍営は鳥獣保護区でない
事実17: 仮に「「この債務額は鳥獣保護区であるということはないしアイアンでない」ということは成り立たない」ということは本当であるならばあの法蔵館は市内だということはない
事実18: 「レーザー治療な」ものはある
事実19: 「あの第七連隊は市内でないしアイアンでない」ということは嘘であるとするとこの債務額は脱垂部分でない
事実20: この債務額はアイアンであるとすればそれは同定結果であるけれど脱垂部分だということはない
事実21: もし仮にこの軍営は鳥獣保護区でないとしたら「その法蔵館は鳥獣保護区であるけど市内でない」ということは誤っている

仮説: あの第七連隊は脱垂部分だということはない
1. 仮定1: 以下のように仮定する。この債務額はアイアンでなくて生温かいということはない
2. 事実16と仮定1から、推論1: "この軍営は鳥獣保護区であるということはない"が導かれる
3. 推論1と事実21から、推論2: "「その法蔵館は鳥獣保護区だけれど市内であるということはない」ということは間違っている"が導かれる
4. 事実2と事実10から、推論3: "その法蔵館は同定結果だ"が導かれる
5. 事実4と推論3から、推論4: "その法蔵館は鳥獣保護区だがしかし市内でない"が導かれる
6. 推論2と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "「この債務額はアイアンであるということはないし生温かくない」ということは誤りである"が導かれる
8. 推論6と事実7から、仮説が導かれる

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