その視野欠損は体様であるし不意打ちだ
fact1: あの自衛権は不意打ちだとすれば「巻き締め機だしさらにノスタルジアだ」ということは成り立たない fact2: もしもあの自衛権が不意打ちであるとするとそのバルーンカテーテルは不意打ちである fact3: もし仮に「なにかは体様だがしかしそれは不意打ちであるということはない」ということは誤りであるとしたら不意打ちである fact4: あの自衛権はタスク一覧である fact5: もしも「「あるものは体様である一方でそれは降板しない」ということは成り立つ」ということは成り立たないとすればそれは降板する fact6: その視野欠損はノスタルジアであるならば「それは降板するしそれは不意打ちでない」ということは事実と異なる fact7: あの自衛権は暗し fact8: 仮に何かは巻き締め機でないとしたら「体様だしさらに不意打ちだ」ということは本当でない fact9: その視野欠損は巻き締め機である fact10: もしもあの自衛権が不意打ちであるならその視野欠損はタスク一覧だ fact11: 「仮に「何らかの物はタスク一覧であるがそれはノスタルジアでない」ということは成り立たないとしたらそれはノスタルジアである」ということは正しい fact12: もし仮に「ある物は降板する一方で不意打ちでない」ということは誤っているとしたら不意打ちである fact13: あの自衛権は巻き締め機でしかもタスク一覧である fact14: その視野欠損は不意打ちであるとすると「タスク一覧であるがしかし降板するということはない」ということは確かでない fact15: その心理生物学的反応は体様だ fact16: 仮にその負担能力がタスク一覧でないしそれに巻き締め機であるということはないならばあの自衛権は不意打ちだということはない fact17: 仮にあの自衛権は体様であるならば「それはノスタルジアであるがタスク一覧でない」ということは成り立つということはない fact18: その視野欠損はノスタルジアである fact19: もし仮に「あの自衛権は巻き締め機であるけど降板しない」ということは嘘ならばそれは降板する fact20: あの自衛権はノスタルジアであるしその上タスク一覧だ fact21: 仮にあの自衛権は巻き締め機だとすれば「その視野欠損は体様である」ということは成り立つ
fact13 -> int1: あの自衛権は巻き締め機である; int1 & fact21 -> int2: その視野欠損は体様である; fact18 & fact6 -> int3: 「その視野欠損は降板するがしかしそれは不意打ちでない」ということは誤っている; fact12 -> int4: もしも「「その視野欠損は降板するがしかし不意打ちでない」ということは間違っている」ということは誤りでないとすればそれは不意打ちだ; int3 & int4 -> int5: その視野欠損は不意打ちだ; int2 & int5 -> hypothesis;
「その視野欠損は体様だしかつ不意打ちだ」ということは成り立つということはない
fact22 -> int6: もしその視野欠損は巻き締め機でないなら「体様でまたそれは不意打ちだ」ということは成り立たない;
$facts$ = fact1: あの自衛権は不意打ちだとすれば「巻き締め機だしさらにノスタルジアだ」ということは成り立たない fact2: もしもあの自衛権が不意打ちであるとするとそのバルーンカテーテルは不意打ちである fact3: もし仮に「なにかは体様だがしかしそれは不意打ちであるということはない」ということは誤りであるとしたら不意打ちである fact4: あの自衛権はタスク一覧である fact5: もしも「「あるものは体様である一方でそれは降板しない」ということは成り立つ」ということは成り立たないとすればそれは降板する fact6: その視野欠損はノスタルジアであるならば「それは降板するしそれは不意打ちでない」ということは事実と異なる fact7: あの自衛権は暗し fact8: 仮に何かは巻き締め機でないとしたら「体様だしさらに不意打ちだ」ということは本当でない fact9: その視野欠損は巻き締め機である fact10: もしもあの自衛権が不意打ちであるならその視野欠損はタスク一覧だ fact11: 「仮に「何らかの物はタスク一覧であるがそれはノスタルジアでない」ということは成り立たないとしたらそれはノスタルジアである」ということは正しい fact12: もし仮に「ある物は降板する一方で不意打ちでない」ということは誤っているとしたら不意打ちである fact13: あの自衛権は巻き締め機でしかもタスク一覧である fact14: その視野欠損は不意打ちであるとすると「タスク一覧であるがしかし降板するということはない」ということは確かでない fact15: その心理生物学的反応は体様だ fact16: 仮にその負担能力がタスク一覧でないしそれに巻き締め機であるということはないならばあの自衛権は不意打ちだということはない fact17: 仮にあの自衛権は体様であるならば「それはノスタルジアであるがタスク一覧でない」ということは成り立つということはない fact18: その視野欠損はノスタルジアである fact19: もし仮に「あの自衛権は巻き締め機であるけど降板しない」ということは嘘ならばそれは降板する fact20: あの自衛権はノスタルジアであるしその上タスク一覧だ fact21: 仮にあの自衛権は巻き締め機だとすれば「その視野欠損は体様である」ということは成り立つ ; $hypothesis$ = その視野欠損は体様であるし不意打ちだ ; $proof$ = 
fact13 -> int1: あの自衛権は巻き締め機である; int1 & fact21 -> int2: その視野欠損は体様である; fact18 & fact6 -> int3: 「その視野欠損は降板するがしかしそれは不意打ちでない」ということは誤っている; fact12 -> int4: もしも「「その視野欠損は降板するがしかし不意打ちでない」ということは間違っている」ということは誤りでないとすればそれは不意打ちだ; int3 & int4 -> int5: その視野欠損は不意打ちだ; int2 & int5 -> hypothesis; __PROVED__
事実1: あの自衛権は不意打ちだとすれば「巻き締め機だしさらにノスタルジアだ」ということは成り立たない
事実2: もしもあの自衛権が不意打ちであるとするとそのバルーンカテーテルは不意打ちである
事実3: もし仮に「なにかは体様だがしかしそれは不意打ちであるということはない」ということは誤りであるとしたら不意打ちである
事実4: あの自衛権はタスク一覧である
事実5: もしも「「あるものは体様である一方でそれは降板しない」ということは成り立つ」ということは成り立たないとすればそれは降板する
事実6: その視野欠損はノスタルジアであるならば「それは降板するしそれは不意打ちでない」ということは事実と異なる
事実7: あの自衛権は暗し
事実8: 仮に何かは巻き締め機でないとしたら「体様だしさらに不意打ちだ」ということは本当でない
事実9: その視野欠損は巻き締め機である
事実10: もしもあの自衛権が不意打ちであるならその視野欠損はタスク一覧だ
事実11: 「仮に「何らかの物はタスク一覧であるがそれはノスタルジアでない」ということは成り立たないとしたらそれはノスタルジアである」ということは正しい
事実12: もし仮に「ある物は降板する一方で不意打ちでない」ということは誤っているとしたら不意打ちである
事実13: あの自衛権は巻き締め機でしかもタスク一覧である
事実14: その視野欠損は不意打ちであるとすると「タスク一覧であるがしかし降板するということはない」ということは確かでない
事実15: その心理生物学的反応は体様だ
事実16: 仮にその負担能力がタスク一覧でないしそれに巻き締め機であるということはないならばあの自衛権は不意打ちだということはない
事実17: 仮にあの自衛権は体様であるならば「それはノスタルジアであるがタスク一覧でない」ということは成り立つということはない
事実18: その視野欠損はノスタルジアである
事実19: もし仮に「あの自衛権は巻き締め機であるけど降板しない」ということは嘘ならばそれは降板する
事実20: あの自衛権はノスタルジアであるしその上タスク一覧だ
事実21: 仮にあの自衛権は巻き締め機だとすれば「その視野欠損は体様である」ということは成り立つ

仮説: その視野欠損は体様であるし不意打ちだ
1. 事実13から、推論1: "あの自衛権は巻き締め機である"が導かれる
2. 推論1と事実21から、推論2: "その視野欠損は体様である"が導かれる
3. 事実18と事実6から、推論3: "「その視野欠損は降板するがしかしそれは不意打ちでない」ということは誤っている"が導かれる
4. 事実12から、推論4: "もしも「「その視野欠損は降板するがしかし不意打ちでない」ということは間違っている」ということは誤りでないとすればそれは不意打ちだ"が導かれる
5. 推論3と推論4から、推論5: "その視野欠損は不意打ちだ"が導かれる
6. 推論2と推論5から、仮説が導かれる

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