「もし仮に「残すしその上倹しい」ということは成り立たないならシステムリソースでない」ものはある
fact1: 「もし仮に倹しかないならシステムリソースでない」物はある fact2: 「もし「寿ぐしその上明るい」ということは成り立たないとすると補強しない」ものはある fact3: 「もしも残さないならシステムリソースでない」物はある fact4: 「「残すしさらに倹しい」ということは正しくないならばシステムリソースな」ものはある fact5: もし仮に「あの三角筋は残すし更にそれは倹しい」ということは誤りであるならシステムリソースでない fact6: 「もし仮に「憎くて復調する」ということは成り立たないなら下賜しない」ものはある fact7: もしも「この金利上昇は図太いししかも浮気する」ということは正しくないとすればそれはシステムリソースだということはない fact8: 仮に「なにかは違反建築物でその上錆無い」ということは誤りだとすればそれは総務部であるということはない fact9: もし仮に「この山師達は居候するしまたそれはＳＰＥＣＴである」ということは成り立つということはないとすればあくどくない fact10: もしも「あの三角筋は討伐するしおまけに口説く」ということは嘘だとすると「それは真っ暗くない」ということは事実だ fact11: もしも「その大型投資は終了画面でしかも間断無い」ということは成り立たないならばそれは回転しない fact12: もしもあの三角筋は残すし倹しいとするとそれはシステムリソースでない fact13: もしも「あの三角筋は残すし倹しい」ということは成り立たないならばそれはシステムリソースだ fact14: 「もし「復調するしその上戻り給う」ということは間違っていれば称うない」ものはある fact15: 「もしも残すしそれに倹しいとすればシステムリソースでない」ものはある fact16: もし仮に「あの三角筋は揺るぎなくてちっこい」ということは事実でないとすれば残さない fact17: もし仮に「あの三角筋はシステムリソースであるしおまけに離人症である」ということは嘘だとすればそれは利用され易くない fact18: あの三角筋が残さないならそれはシステムリソースでない
fact5 -> hypothesis;
fact5 -> hypothesis;
「「違反建築物であるし加えて錆無い」ということは成り立たないとすれば総務部であるということはない」物はある
fact19 -> int1: 「あのＨＤＣは違反建築物であるしおまけに錆無い」ということは事実と異なるとすれば総務部でない; int1 -> hypothesis;
$facts$ = fact1: 「もし仮に倹しかないならシステムリソースでない」物はある fact2: 「もし「寿ぐしその上明るい」ということは成り立たないとすると補強しない」ものはある fact3: 「もしも残さないならシステムリソースでない」物はある fact4: 「「残すしさらに倹しい」ということは正しくないならばシステムリソースな」ものはある fact5: もし仮に「あの三角筋は残すし更にそれは倹しい」ということは誤りであるならシステムリソースでない fact6: 「もし仮に「憎くて復調する」ということは成り立たないなら下賜しない」ものはある fact7: もしも「この金利上昇は図太いししかも浮気する」ということは正しくないとすればそれはシステムリソースだということはない fact8: 仮に「なにかは違反建築物でその上錆無い」ということは誤りだとすればそれは総務部であるということはない fact9: もし仮に「この山師達は居候するしまたそれはＳＰＥＣＴである」ということは成り立つということはないとすればあくどくない fact10: もしも「あの三角筋は討伐するしおまけに口説く」ということは嘘だとすると「それは真っ暗くない」ということは事実だ fact11: もしも「その大型投資は終了画面でしかも間断無い」ということは成り立たないならばそれは回転しない fact12: もしもあの三角筋は残すし倹しいとするとそれはシステムリソースでない fact13: もしも「あの三角筋は残すし倹しい」ということは成り立たないならばそれはシステムリソースだ fact14: 「もし「復調するしその上戻り給う」ということは間違っていれば称うない」ものはある fact15: 「もしも残すしそれに倹しいとすればシステムリソースでない」ものはある fact16: もし仮に「あの三角筋は揺るぎなくてちっこい」ということは事実でないとすれば残さない fact17: もし仮に「あの三角筋はシステムリソースであるしおまけに離人症である」ということは嘘だとすればそれは利用され易くない fact18: あの三角筋が残さないならそれはシステムリソースでない ; $hypothesis$ = 「もし仮に「残すしその上倹しい」ということは成り立たないならシステムリソースでない」ものはある ; $proof$ = 
fact5 -> hypothesis; __PROVED__
事実1: 「もし仮に倹しかないならシステムリソースでない」物はある
事実2: 「もし「寿ぐしその上明るい」ということは成り立たないとすると補強しない」ものはある
事実3: 「もしも残さないならシステムリソースでない」物はある
事実4: 「「残すしさらに倹しい」ということは正しくないならばシステムリソースな」ものはある
事実5: もし仮に「あの三角筋は残すし更にそれは倹しい」ということは誤りであるならシステムリソースでない
事実6: 「もし仮に「憎くて復調する」ということは成り立たないなら下賜しない」ものはある
事実7: もしも「この金利上昇は図太いししかも浮気する」ということは正しくないとすればそれはシステムリソースだということはない
事実8: 仮に「なにかは違反建築物でその上錆無い」ということは誤りだとすればそれは総務部であるということはない
事実9: もし仮に「この山師達は居候するしまたそれはＳＰＥＣＴである」ということは成り立つということはないとすればあくどくない
事実10: もしも「あの三角筋は討伐するしおまけに口説く」ということは嘘だとすると「それは真っ暗くない」ということは事実だ
事実11: もしも「その大型投資は終了画面でしかも間断無い」ということは成り立たないならばそれは回転しない
事実12: もしもあの三角筋は残すし倹しいとするとそれはシステムリソースでない
事実13: もしも「あの三角筋は残すし倹しい」ということは成り立たないならばそれはシステムリソースだ
事実14: 「もし「復調するしその上戻り給う」ということは間違っていれば称うない」ものはある
事実15: 「もしも残すしそれに倹しいとすればシステムリソースでない」ものはある
事実16: もし仮に「あの三角筋は揺るぎなくてちっこい」ということは事実でないとすれば残さない
事実17: もし仮に「あの三角筋はシステムリソースであるしおまけに離人症である」ということは嘘だとすればそれは利用され易くない
事実18: あの三角筋が残さないならそれはシステムリソースでない

仮説: 「もし仮に「残すしその上倹しい」ということは成り立たないならシステムリソースでない」ものはある
1. 事実5から、仮説が導かれる

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