「この夜半は自重するしさらに定め得る」ということは成り立たない
fact1: この夜半は貴方らしいということはなくて埋もれない fact2: この夜半は埋もれない fact3: もし仮にとあるものは自重しないとしたら「埋もれるしそれは貴方らしい」ということは成り立たない fact4: もしもこの和素材は働き難くないとしたら「定め得るし更に力強い」ということは成り立たない fact5: なにがしかのものは貴方らしくないとしたら「自重するし定め得る」ということは成り立たない fact6: もし仮にこの夜半は漏れ無いということはないとすると「働き難くてそれは貴方らしい」ということは事実と異なる fact7: 「もし仮にこの夜半は定め得るということはないなら「この夜半は低温用であるししかもそれは人差しだ」ということは成り立たない」ということは真実である fact8: もしもなにがしかのものは定め得ないならば「それは自重するし埋もれる」ということは偽である fact9: 「この夜半は脆いしそれは賛成し難い」ということは事実と異なる fact10: 仮に何らかのものは定め得ないとすると「埋もれるし自重する」ということは成り立たない fact11: もし仮になんらかの物は貴方らしくないとすれば「それは埋もれるしそれは定め得る」ということは成り立たない fact12: 「この夜半は増額するし放棄出来る」ということは偽である fact13: 「あるものは自重しない」ということは確かであるとすれば「それは定め得るししかもそれは埋もれる」ということは成り立たない fact14: この夜半は現われ難いということはなくてしかも御寒くない fact15: この夜半はフランス人らしくない
fact5 -> int1: 仮にこの夜半は貴方らしくないならば「それは自重するし定め得る」ということは成り立たない; fact1 -> int2: この夜半は貴方らしくない; int1 & int2 -> hypothesis;
$facts$ = fact1: この夜半は貴方らしいということはなくて埋もれない fact2: この夜半は埋もれない fact3: もし仮にとあるものは自重しないとしたら「埋もれるしそれは貴方らしい」ということは成り立たない fact4: もしもこの和素材は働き難くないとしたら「定め得るし更に力強い」ということは成り立たない fact5: なにがしかのものは貴方らしくないとしたら「自重するし定め得る」ということは成り立たない fact6: もし仮にこの夜半は漏れ無いということはないとすると「働き難くてそれは貴方らしい」ということは事実と異なる fact7: 「もし仮にこの夜半は定め得るということはないなら「この夜半は低温用であるししかもそれは人差しだ」ということは成り立たない」ということは真実である fact8: もしもなにがしかのものは定め得ないならば「それは自重するし埋もれる」ということは偽である fact9: 「この夜半は脆いしそれは賛成し難い」ということは事実と異なる fact10: 仮に何らかのものは定め得ないとすると「埋もれるし自重する」ということは成り立たない fact11: もし仮になんらかの物は貴方らしくないとすれば「それは埋もれるしそれは定め得る」ということは成り立たない fact12: 「この夜半は増額するし放棄出来る」ということは偽である fact13: 「あるものは自重しない」ということは確かであるとすれば「それは定め得るししかもそれは埋もれる」ということは成り立たない fact14: この夜半は現われ難いということはなくてしかも御寒くない fact15: この夜半はフランス人らしくない ; $hypothesis$ = 「この夜半は自重するしさらに定め得る」ということは成り立たない ; $proof$ = 
fact5 -> int1: 仮にこの夜半は貴方らしくないならば「それは自重するし定め得る」ということは成り立たない; fact1 -> int2: この夜半は貴方らしくない; int1 & int2 -> hypothesis; __PROVED__
事実1: この夜半は貴方らしいということはなくて埋もれない
事実2: この夜半は埋もれない
事実3: もし仮にとあるものは自重しないとしたら「埋もれるしそれは貴方らしい」ということは成り立たない
事実4: もしもこの和素材は働き難くないとしたら「定め得るし更に力強い」ということは成り立たない
事実5: なにがしかのものは貴方らしくないとしたら「自重するし定め得る」ということは成り立たない
事実6: もし仮にこの夜半は漏れ無いということはないとすると「働き難くてそれは貴方らしい」ということは事実と異なる
事実7: 「もし仮にこの夜半は定め得るということはないなら「この夜半は低温用であるししかもそれは人差しだ」ということは成り立たない」ということは真実である
事実8: もしもなにがしかのものは定め得ないならば「それは自重するし埋もれる」ということは偽である
事実9: 「この夜半は脆いしそれは賛成し難い」ということは事実と異なる
事実10: 仮に何らかのものは定め得ないとすると「埋もれるし自重する」ということは成り立たない
事実11: もし仮になんらかの物は貴方らしくないとすれば「それは埋もれるしそれは定め得る」ということは成り立たない
事実12: 「この夜半は増額するし放棄出来る」ということは偽である
事実13: 「あるものは自重しない」ということは確かであるとすれば「それは定め得るししかもそれは埋もれる」ということは成り立たない
事実14: この夜半は現われ難いということはなくてしかも御寒くない
事実15: この夜半はフランス人らしくない

仮説: 「この夜半は自重するしさらに定め得る」ということは成り立たない
1. 事実5から、推論1: "仮にこの夜半は貴方らしくないならば「それは自重するし定め得る」ということは成り立たない"が導かれる
2. 事実1から、推論2: "この夜半は貴方らしくない"が導かれる
3. 推論1と推論2から、仮説が導かれる

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