あの派遣は筋緊張低下である
fact1: この染影は筋緊張低下だ fact2: もし仮に「この高所得者はモルモットであるということはないけれどそれは古い」ということは成り立つということはないならこの染影は極小化である fact3: 仮にあの派遣は古くないとすれば「極小化でないしそれはモルモットでない」ということは成り立たない fact4: 「この高所得者は古くないがそれはモルモットだ」ということは嘘だ fact5: 「この高所得者は古くない一方で極小化だ」ということは間違っているとすればあの派遣は筋緊張低下だ fact6: この染影はモルモットである fact7: もしこの高所得者が極小化でないならばあの派遣は筋緊張低下だ fact8: 「「あの派遣は筋緊張低下でないけどそれは極小化だ」ということは正しい」ということは誤っている fact9: 「「助けるししかも認識す」ということは成り立たない」物はある fact10: 仮に「この染影は古くない一方で筋緊張低下だ」ということは誤っているとするとあの派遣はモルモットだ fact11: この染影は四巻末だ fact12: 仮に「モルモットである」ものはあるとすると「この高所得者は古くないけどそれは極小化である」ということは間違いである fact13: もし仮に「止まれる」物があるとすればあのリーフスプリング式サスペンションは苦慮するししかも古い fact14: もし「「助けるししかも認識す」ということは確かでない」物があるとすればそのＳＡＹは止まれる
fact6 -> int1: 「モルモットな」物はある; int1 & fact12 -> int2: 「この高所得者は古くないがしかし極小化である」ということは正しくない; int2 & fact5 -> hypothesis;
あの派遣は筋緊張低下でない
fact17 & fact16 -> int3: そのＳＡＹは止まれる; int3 -> int4: あるものは止まれる; int4 & fact15 -> int5: このリーフスプリング式サスペンションは苦慮するししかも古い; int5 -> int6: このリーフスプリング式サスペンションは古い; int6 -> int7: 「古い」ものはある;
$facts$ = fact1: この染影は筋緊張低下だ fact2: もし仮に「この高所得者はモルモットであるということはないけれどそれは古い」ということは成り立つということはないならこの染影は極小化である fact3: 仮にあの派遣は古くないとすれば「極小化でないしそれはモルモットでない」ということは成り立たない fact4: 「この高所得者は古くないがそれはモルモットだ」ということは嘘だ fact5: 「この高所得者は古くない一方で極小化だ」ということは間違っているとすればあの派遣は筋緊張低下だ fact6: この染影はモルモットである fact7: もしこの高所得者が極小化でないならばあの派遣は筋緊張低下だ fact8: 「「あの派遣は筋緊張低下でないけどそれは極小化だ」ということは正しい」ということは誤っている fact9: 「「助けるししかも認識す」ということは成り立たない」物はある fact10: 仮に「この染影は古くない一方で筋緊張低下だ」ということは誤っているとするとあの派遣はモルモットだ fact11: この染影は四巻末だ fact12: 仮に「モルモットである」ものはあるとすると「この高所得者は古くないけどそれは極小化である」ということは間違いである fact13: もし仮に「止まれる」物があるとすればあのリーフスプリング式サスペンションは苦慮するししかも古い fact14: もし「「助けるししかも認識す」ということは確かでない」物があるとすればそのＳＡＹは止まれる ; $hypothesis$ = あの派遣は筋緊張低下である ; $proof$ = 
fact6 -> int1: 「モルモットな」物はある; int1 & fact12 -> int2: 「この高所得者は古くないがしかし極小化である」ということは正しくない; int2 & fact5 -> hypothesis; __PROVED__
事実1: この染影は筋緊張低下だ
事実2: もし仮に「この高所得者はモルモットであるということはないけれどそれは古い」ということは成り立つということはないならこの染影は極小化である
事実3: 仮にあの派遣は古くないとすれば「極小化でないしそれはモルモットでない」ということは成り立たない
事実4: 「この高所得者は古くないがそれはモルモットだ」ということは嘘だ
事実5: 「この高所得者は古くない一方で極小化だ」ということは間違っているとすればあの派遣は筋緊張低下だ
事実6: この染影はモルモットである
事実7: もしこの高所得者が極小化でないならばあの派遣は筋緊張低下だ
事実8: 「「あの派遣は筋緊張低下でないけどそれは極小化だ」ということは正しい」ということは誤っている
事実9: 「「助けるししかも認識す」ということは成り立たない」物はある
事実10: 仮に「この染影は古くない一方で筋緊張低下だ」ということは誤っているとするとあの派遣はモルモットだ
事実11: この染影は四巻末だ
事実12: 仮に「モルモットである」ものはあるとすると「この高所得者は古くないけどそれは極小化である」ということは間違いである
事実13: もし仮に「止まれる」物があるとすればあのリーフスプリング式サスペンションは苦慮するししかも古い
事実14: もし「「助けるししかも認識す」ということは確かでない」物があるとすればそのＳＡＹは止まれる

仮説: あの派遣は筋緊張低下である
1. 事実6から、推論1: "「モルモットな」物はある"が導かれる
2. 推論1と事実12から、推論2: "「この高所得者は古くないがしかし極小化である」ということは正しくない"が導かれる
3. 推論2と事実5から、仮説が導かれる

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