「この審査請求はＥＸＰでない」ということは成り立つ
fact1: 「この審査請求は魔法陣でない一方でそれは手緩い」ということは間違っている fact2: 「あの低成長は捏ね上げないけど動作確認である」ということは誤りだ fact3: その証券的債権はＥＸＰでない fact4: もしもなにかは手伝えないとすれば助け合いでない fact5: もしも「あるものは手伝えないが他領である」ということは成り立たないとするとそれは他領でない fact6: もし仮に何らかの物は助け合いであるということはないとすればＥＸＰであるし他領だ fact7: もし仮にこの審査請求が捏ね上げないならそれはＥＸＰだということはない fact8: もしこの審査請求が当該瑕疵ならそれは助け合いだ fact9: 「この空汁は飯詰めでないがしかし捏ね上げる」ということは真実でないとすればそれはすこくない fact10: もし仮に「この審査請求は火成でない一方でそれは捏ね上げる」ということは確かでないならばＥＸＰでない fact11: 「「この審査請求は火成でないけれど捏ね上げる」ということは成り立たない」ということは確かである fact12: 「この審査請求はリークしないがしかしそれは突き崩せる」ということは成り立たない fact13: 仮に何らかの物は助け合いであるとすると「手伝えないし他領である」ということは間違っている
fact10 & fact11 -> hypothesis;
「この中核技術はＥＸＰでない一方で物理的状況だ」ということは成り立たない
fact14 -> int1: もし「この審査請求は手伝えないがしかし他領である」ということは間違いだとすればそれは他領でない; fact15 -> int2: もし仮にこの審査請求は助け合いであるとすると「手伝えないしまた他領である」ということは成り立たない;
$facts$ = fact1: 「この審査請求は魔法陣でない一方でそれは手緩い」ということは間違っている fact2: 「あの低成長は捏ね上げないけど動作確認である」ということは誤りだ fact3: その証券的債権はＥＸＰでない fact4: もしもなにかは手伝えないとすれば助け合いでない fact5: もしも「あるものは手伝えないが他領である」ということは成り立たないとするとそれは他領でない fact6: もし仮に何らかの物は助け合いであるということはないとすればＥＸＰであるし他領だ fact7: もし仮にこの審査請求が捏ね上げないならそれはＥＸＰだということはない fact8: もしこの審査請求が当該瑕疵ならそれは助け合いだ fact9: 「この空汁は飯詰めでないがしかし捏ね上げる」ということは真実でないとすればそれはすこくない fact10: もし仮に「この審査請求は火成でない一方でそれは捏ね上げる」ということは確かでないならばＥＸＰでない fact11: 「「この審査請求は火成でないけれど捏ね上げる」ということは成り立たない」ということは確かである fact12: 「この審査請求はリークしないがしかしそれは突き崩せる」ということは成り立たない fact13: 仮に何らかの物は助け合いであるとすると「手伝えないし他領である」ということは間違っている ; $hypothesis$ = 「この審査請求はＥＸＰでない」ということは成り立つ ; $proof$ = 
fact10 & fact11 -> hypothesis; __PROVED__
事実1: 「この審査請求は魔法陣でない一方でそれは手緩い」ということは間違っている
事実2: 「あの低成長は捏ね上げないけど動作確認である」ということは誤りだ
事実3: その証券的債権はＥＸＰでない
事実4: もしもなにかは手伝えないとすれば助け合いでない
事実5: もしも「あるものは手伝えないが他領である」ということは成り立たないとするとそれは他領でない
事実6: もし仮に何らかの物は助け合いであるということはないとすればＥＸＰであるし他領だ
事実7: もし仮にこの審査請求が捏ね上げないならそれはＥＸＰだということはない
事実8: もしこの審査請求が当該瑕疵ならそれは助け合いだ
事実9: 「この空汁は飯詰めでないがしかし捏ね上げる」ということは真実でないとすればそれはすこくない
事実10: もし仮に「この審査請求は火成でない一方でそれは捏ね上げる」ということは確かでないならばＥＸＰでない
事実11: 「「この審査請求は火成でないけれど捏ね上げる」ということは成り立たない」ということは確かである
事実12: 「この審査請求はリークしないがしかしそれは突き崩せる」ということは成り立たない
事実13: 仮に何らかの物は助け合いであるとすると「手伝えないし他領である」ということは間違っている

仮説: 「この審査請求はＥＸＰでない」ということは成り立つ
1. 事実10と事実11から、仮説が導かれる

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