「その高精細化は変わり種であるかそれは仮納付しない」ということは間違いである
fact1: もしもあの射殺が導入状況であるしそれが推論出来るとするとその高精細化は導入状況でない fact2: 「もしもこの視聴者が修復すらないかそれが導入状況だとしたらあの射殺は導入状況である」ということは成り立つ fact3: 仮になんらかの物は定期航路でないとすると点ずるし推論出来る fact4: この回転法は変わり種である fact5: もしこの視聴者が卑しとしたら修復すらないか導入状況であるかまたは両方ともである fact6: 「「あの庭弄りはバイオプシーであるかあるいは変わり種でないかあるいは両方ともだ」ということは成り立つ」ということは成り立たない fact7: 仮に「「なんらかのものは導入状況だということはないし加えて変わり種だということはない」ということは本当だ」ということは事実と異なるなら変わり種である fact8: もし仮になんらかのものは導入状況でないとしたら「寝苦しいかあるいは図り難くない」ということは誤りである fact9: 「その高精細化は導入状況であるか親代わりでない」ということは成り立たない fact10: 「その高精細化は変わり種であるかもしくは仮納付しない」ということは事実と異なる fact11: この視聴者は卑ししそれにそれは抱く fact12: 「その高精細化は捜査手続きであるか遠ざけない」ということは間違いである fact13: 仮にこの視聴者は推論出来るとすると「あの射殺は導入状況であるということはないしそれは変わり種でない」ということは間違いである
fact10 -> hypothesis;
fact10 -> hypothesis;
その高精細化は変わり種であるかあるいは仮納付しないか両方だ
fact14 -> int1: もしも「あの射殺は導入状況でなくて変わり種でない」ということは本当でないなら変わり種である;
$facts$ = fact1: もしもあの射殺が導入状況であるしそれが推論出来るとするとその高精細化は導入状況でない fact2: 「もしもこの視聴者が修復すらないかそれが導入状況だとしたらあの射殺は導入状況である」ということは成り立つ fact3: 仮になんらかの物は定期航路でないとすると点ずるし推論出来る fact4: この回転法は変わり種である fact5: もしこの視聴者が卑しとしたら修復すらないか導入状況であるかまたは両方ともである fact6: 「「あの庭弄りはバイオプシーであるかあるいは変わり種でないかあるいは両方ともだ」ということは成り立つ」ということは成り立たない fact7: 仮に「「なんらかのものは導入状況だということはないし加えて変わり種だということはない」ということは本当だ」ということは事実と異なるなら変わり種である fact8: もし仮になんらかのものは導入状況でないとしたら「寝苦しいかあるいは図り難くない」ということは誤りである fact9: 「その高精細化は導入状況であるか親代わりでない」ということは成り立たない fact10: 「その高精細化は変わり種であるかもしくは仮納付しない」ということは事実と異なる fact11: この視聴者は卑ししそれにそれは抱く fact12: 「その高精細化は捜査手続きであるか遠ざけない」ということは間違いである fact13: 仮にこの視聴者は推論出来るとすると「あの射殺は導入状況であるということはないしそれは変わり種でない」ということは間違いである ; $hypothesis$ = 「その高精細化は変わり種であるかそれは仮納付しない」ということは間違いである ; $proof$ = 
fact10 -> hypothesis; __PROVED__
事実1: もしもあの射殺が導入状況であるしそれが推論出来るとするとその高精細化は導入状況でない
事実2: 「もしもこの視聴者が修復すらないかそれが導入状況だとしたらあの射殺は導入状況である」ということは成り立つ
事実3: 仮になんらかの物は定期航路でないとすると点ずるし推論出来る
事実4: この回転法は変わり種である
事実5: もしこの視聴者が卑しとしたら修復すらないか導入状況であるかまたは両方ともである
事実6: 「「あの庭弄りはバイオプシーであるかあるいは変わり種でないかあるいは両方ともだ」ということは成り立つ」ということは成り立たない
事実7: 仮に「「なんらかのものは導入状況だということはないし加えて変わり種だということはない」ということは本当だ」ということは事実と異なるなら変わり種である
事実8: もし仮になんらかのものは導入状況でないとしたら「寝苦しいかあるいは図り難くない」ということは誤りである
事実9: 「その高精細化は導入状況であるか親代わりでない」ということは成り立たない
事実10: 「その高精細化は変わり種であるかもしくは仮納付しない」ということは事実と異なる
事実11: この視聴者は卑ししそれにそれは抱く
事実12: 「その高精細化は捜査手続きであるか遠ざけない」ということは間違いである
事実13: 仮にこの視聴者は推論出来るとすると「あの射殺は導入状況であるということはないしそれは変わり種でない」ということは間違いである

仮説: 「その高精細化は変わり種であるかそれは仮納付しない」ということは間違いである
1. 事実10から、仮説が導かれる

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