あの宇宙神はトーストしないけど免ずる
fact1: もしも「齎し得るし擬制する」物があるとしたらあの宇宙神はトーストしない fact2: もしもその州毎が軽いとすればあの十月半ばは軽い fact3: あの当該市町村長が齎し得ないしかつ厚ぼったいということはないとすればあの宇宙神は厚ぼったい fact4: 「その州毎は遣らかさない一方でそれは印刷し為さる」ということは嘘だ fact5: もし何らかのものが偽陽性でないし異変無しでないなら「それは泡箱でない」ということは成り立たない fact6: 「齎し得るししかも擬制する」物はある fact7: 「擬制する」物はある fact8: 「「齎し得る」ということは成り立つ」ものはある fact9: 仮に「「その州毎は遣らかすということはないがしかし印刷し為さる」ということは事実だ」ということは成り立たないならそれは軽い fact10: もしも「なにかは免ずるけれどトーストしない」ということは偽だとしたら擬制しない fact11: もし仮にその十月半ばが軽いとするとあの宇宙神は食べ易い fact12: もしあの宇宙神は泡箱であるとしたら免ずる fact13: なにがしかの物は泡箱であるとすれば「「あの当該市町村長は免ずるけどそれはトーストしない」ということは成り立たない」ということは成り立つ fact14: 仮に「この第三次吉田内閣は内容である」ということは間違っていないならば偽陽性でないし加えて異変無しでない fact15: この第三次吉田内閣は内容である fact16: あの宇宙神は泡箱だ
fact6 & fact1 -> int1: あの宇宙神はトーストしない; fact16 & fact12 -> int2: あの宇宙神は免ずる; int1 & int2 -> hypothesis;
とあるものは食べ易いしその上厚ぼったい
fact26 & fact17 -> int3: その州毎は軽い; fact20 & int3 -> int4: その十月半ばは軽い; fact23 & int4 -> int5: あの宇宙神は食べ易い; fact25 -> int6: 「あの当該市町村長は免ずるけれどトーストするということはない」ということは偽であるなら「擬制するということはない」ということは真実である; fact24 -> int7: もしもこの第三次吉田内閣が偽陽性でなくて異変無しだということはないとすればそれは泡箱だ; fact22 & fact21 -> int8: この第三次吉田内閣は偽陽性でなくてそれは異変無しでない; int7 & int8 -> int9: この第三次吉田内閣は泡箱だ; int9 -> int10: とあるものは泡箱だ; int10 & fact19 -> int11: 「あの当該市町村長は免ずるがトーストするということはない」ということは成り立つということはない; int6 & int11 -> int12: あの当該市町村長は擬制するということはない;
$facts$ = fact1: もしも「齎し得るし擬制する」物があるとしたらあの宇宙神はトーストしない fact2: もしもその州毎が軽いとすればあの十月半ばは軽い fact3: あの当該市町村長が齎し得ないしかつ厚ぼったいということはないとすればあの宇宙神は厚ぼったい fact4: 「その州毎は遣らかさない一方でそれは印刷し為さる」ということは嘘だ fact5: もし何らかのものが偽陽性でないし異変無しでないなら「それは泡箱でない」ということは成り立たない fact6: 「齎し得るししかも擬制する」物はある fact7: 「擬制する」物はある fact8: 「「齎し得る」ということは成り立つ」ものはある fact9: 仮に「「その州毎は遣らかすということはないがしかし印刷し為さる」ということは事実だ」ということは成り立たないならそれは軽い fact10: もしも「なにかは免ずるけれどトーストしない」ということは偽だとしたら擬制しない fact11: もし仮にその十月半ばが軽いとするとあの宇宙神は食べ易い fact12: もしあの宇宙神は泡箱であるとしたら免ずる fact13: なにがしかの物は泡箱であるとすれば「「あの当該市町村長は免ずるけどそれはトーストしない」ということは成り立たない」ということは成り立つ fact14: 仮に「この第三次吉田内閣は内容である」ということは間違っていないならば偽陽性でないし加えて異変無しでない fact15: この第三次吉田内閣は内容である fact16: あの宇宙神は泡箱だ ; $hypothesis$ = あの宇宙神はトーストしないけど免ずる ; $proof$ = 
fact6 & fact1 -> int1: あの宇宙神はトーストしない; fact16 & fact12 -> int2: あの宇宙神は免ずる; int1 & int2 -> hypothesis; __PROVED__
事実1: もしも「齎し得るし擬制する」物があるとしたらあの宇宙神はトーストしない
事実2: もしもその州毎が軽いとすればあの十月半ばは軽い
事実3: あの当該市町村長が齎し得ないしかつ厚ぼったいということはないとすればあの宇宙神は厚ぼったい
事実4: 「その州毎は遣らかさない一方でそれは印刷し為さる」ということは嘘だ
事実5: もし何らかのものが偽陽性でないし異変無しでないなら「それは泡箱でない」ということは成り立たない
事実6: 「齎し得るししかも擬制する」物はある
事実7: 「擬制する」物はある
事実8: 「「齎し得る」ということは成り立つ」ものはある
事実9: 仮に「「その州毎は遣らかすということはないがしかし印刷し為さる」ということは事実だ」ということは成り立たないならそれは軽い
事実10: もしも「なにかは免ずるけれどトーストしない」ということは偽だとしたら擬制しない
事実11: もし仮にその十月半ばが軽いとするとあの宇宙神は食べ易い
事実12: もしあの宇宙神は泡箱であるとしたら免ずる
事実13: なにがしかの物は泡箱であるとすれば「「あの当該市町村長は免ずるけどそれはトーストしない」ということは成り立たない」ということは成り立つ
事実14: 仮に「この第三次吉田内閣は内容である」ということは間違っていないならば偽陽性でないし加えて異変無しでない
事実15: この第三次吉田内閣は内容である
事実16: あの宇宙神は泡箱だ

仮説: あの宇宙神はトーストしないけど免ずる
1. 事実6と事実1から、推論1: "あの宇宙神はトーストしない"が導かれる
2. 事実16と事実12から、推論2: "あの宇宙神は免ずる"が導かれる
3. 推論1と推論2から、仮説が導かれる

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