そのソフロリミナルは回りくどくない
fact1: もしも学長が汚らわしくないとすればそれは回りくどい fact2: その公社債は気遣いであるとすれば「そのソフロリミナルは成り易いかそれは委託出来ない」ということは事実と異なる fact3: この盆踊りは学長でない fact4: あのバイザーは汚らわしい fact5: 仮にこの盆踊りが早起きするならばあの公社債は尊い fact6: 仮にこの盆踊りが横浜公演であるとするとそのソフロリミナルは学長だがしかし汚らわしいということはない fact7: もしも「「その公社債は横浜公演でないか早起きするということはない」ということは間違いである」ということは誤っていないとすると「この盆踊りは横浜公演である」ということは確かだ fact8: もし「そのソフロリミナルは尊いということはない」ということは正しいとしたら回りくどいかもしくは委託出来るかあるいはどちらもだ fact9: もしもこの盆踊りは横浜公演であるならば「その公社債は尊い」ということは成り立つ fact10: もしその公社債が尊いとすればそれは気遣いだ fact11: 仮にこの盆踊りが汚らわしいとすれば学長である fact12: もし仮に「そのソフロリミナルは成り易いかまたは委託出来ない」ということは誤りであるなら回りくどくない fact13: もしこの盆踊りが汚らわしくないならばそれは早起きするかもしくは横浜公演である
void -> assump1: 以下のように仮定する。この盆踊りは汚らわしい; fact11 & assump1 -> int1: 「この盆踊りは学長である」ということは確かである; int1 & fact3 -> int2: これは矛盾である; [assump1] & int2 -> int3: この盆踊りは汚らわしくない; int3 & fact13 -> int4: この盆踊りは早起きするかあるいは横浜公演である; int4 & fact5 & fact9 -> int5: その公社債は尊い; int5 & fact10 -> int6: その公社債は気遣いだ; int6 & fact2 -> int7: 「そのソフロリミナルは成り易いか委託出来ないかどちらもだ」ということは成り立たない; int7 & fact12 -> hypothesis;
そのソフロリミナルは回りくどい
fact15 -> int8: 仮にそのソフロリミナルが学長だけれどそれは汚らわしくないとすれば「それは回りくどい」ということは真実である;
$facts$ = fact1: もしも学長が汚らわしくないとすればそれは回りくどい fact2: その公社債は気遣いであるとすれば「そのソフロリミナルは成り易いかそれは委託出来ない」ということは事実と異なる fact3: この盆踊りは学長でない fact4: あのバイザーは汚らわしい fact5: 仮にこの盆踊りが早起きするならばあの公社債は尊い fact6: 仮にこの盆踊りが横浜公演であるとするとそのソフロリミナルは学長だがしかし汚らわしいということはない fact7: もしも「「その公社債は横浜公演でないか早起きするということはない」ということは間違いである」ということは誤っていないとすると「この盆踊りは横浜公演である」ということは確かだ fact8: もし「そのソフロリミナルは尊いということはない」ということは正しいとしたら回りくどいかもしくは委託出来るかあるいはどちらもだ fact9: もしもこの盆踊りは横浜公演であるならば「その公社債は尊い」ということは成り立つ fact10: もしその公社債が尊いとすればそれは気遣いだ fact11: 仮にこの盆踊りが汚らわしいとすれば学長である fact12: もし仮に「そのソフロリミナルは成り易いかまたは委託出来ない」ということは誤りであるなら回りくどくない fact13: もしこの盆踊りが汚らわしくないならばそれは早起きするかもしくは横浜公演である ; $hypothesis$ = そのソフロリミナルは回りくどくない ; $proof$ = 
void -> assump1: 以下のように仮定する。この盆踊りは汚らわしい; fact11 & assump1 -> int1: 「この盆踊りは学長である」ということは確かである; int1 & fact3 -> int2: これは矛盾である; [assump1] & int2 -> int3: この盆踊りは汚らわしくない; int3 & fact13 -> int4: この盆踊りは早起きするかあるいは横浜公演である; int4 & fact5 & fact9 -> int5: その公社債は尊い; int5 & fact10 -> int6: その公社債は気遣いだ; int6 & fact2 -> int7: 「そのソフロリミナルは成り易いか委託出来ないかどちらもだ」ということは成り立たない; int7 & fact12 -> hypothesis; __PROVED__
事実1: もしも学長が汚らわしくないとすればそれは回りくどい
事実2: その公社債は気遣いであるとすれば「そのソフロリミナルは成り易いかそれは委託出来ない」ということは事実と異なる
事実3: この盆踊りは学長でない
事実4: あのバイザーは汚らわしい
事実5: 仮にこの盆踊りが早起きするならばあの公社債は尊い
事実6: 仮にこの盆踊りが横浜公演であるとするとそのソフロリミナルは学長だがしかし汚らわしいということはない
事実7: もしも「「その公社債は横浜公演でないか早起きするということはない」ということは間違いである」ということは誤っていないとすると「この盆踊りは横浜公演である」ということは確かだ
事実8: もし「そのソフロリミナルは尊いということはない」ということは正しいとしたら回りくどいかもしくは委託出来るかあるいはどちらもだ
事実9: もしもこの盆踊りは横浜公演であるならば「その公社債は尊い」ということは成り立つ
事実10: もしその公社債が尊いとすればそれは気遣いだ
事実11: 仮にこの盆踊りが汚らわしいとすれば学長である
事実12: もし仮に「そのソフロリミナルは成り易いかまたは委託出来ない」ということは誤りであるなら回りくどくない
事実13: もしこの盆踊りが汚らわしくないならばそれは早起きするかもしくは横浜公演である

仮説: そのソフロリミナルは回りくどくない
1. 仮定1: 以下のように仮定する。この盆踊りは汚らわしい
2. 事実11と仮定1から、推論1: "「この盆踊りは学長である」ということは確かである"が導かれる
3. 推論1と事実3から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "この盆踊りは汚らわしくない"が導かれる
5. 推論3と事実13から、推論4: "この盆踊りは早起きするかあるいは横浜公演である"が導かれる
6. 推論4と事実5と事実9から、推論5: "その公社債は尊い"が導かれる
7. 推論5と事実10から、推論6: "その公社債は気遣いだ"が導かれる
8. 推論6と事実2から、推論7: "「そのソフロリミナルは成り易いか委託出来ないかどちらもだ」ということは成り立たない"が導かれる
9. 推論7と事実12から、仮説が導かれる

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