もしもその右半分が由々しとしたらあの傲慢は軟膏でない
fact1: その右半分が漢字変換だし由々しとしたらあの傲慢は節電でない fact2: 仮に「なにかは鈍いし生き為さる」ということは成り立たないなら軟膏でない fact3: 「「あの傲慢は鈍いしその上生き為さる」ということは成り立たない」ということは正しいならば軟膏だ fact4: なんらかのものが生き為さらないとすれば軟膏でない fact5: その右半分が由々しならばあの傲慢は軟膏である fact6: もし「なにかは鈍くて生き為さる」ということは偽であるならば軟膏だ fact7: 仮にあるものは賛同出来ないとしたら「鈍いし生き為さる」ということは誤っている fact8: その右半分は家族状況である fact9: もしあの傲慢が生き為さらないとしたら軟膏でない fact10: なにがしかのものは節電であるということはないとすると賛同出来ない fact11: その右半分は家族状況であるしまたそれは漢字変換である
fact11 -> int1: その右半分は漢字変換だ; void -> assump1: 以下のように仮定する。「その右半分は由々し」ということは事実である; int1 & assump1 -> int2: その右半分は漢字変換だし由々し; int2 & fact1 -> int3: あの傲慢は節電でない; fact10 -> int4: 仮にあの傲慢は節電でないとしたら「賛同出来ない」ということは真実である; int3 & int4 -> int5: あの傲慢は賛同出来ない; fact7 -> int6: もしあの傲慢は賛同出来ないとすれば「鈍くてまたそれは生き為さる」ということは間違っている; int5 & int6 -> int7: 「あの傲慢は鈍いしさらにそれは生き為さる」ということは成り立たない; fact2 -> int8: もしも「あの傲慢は鈍くて更に生き為さる」ということは成り立たないならばそれは軟膏でない; int7 & int8 -> int9: 「あの傲慢は軟膏であるということはない」ということは真実である; [assump1] & int9 -> hypothesis;
$facts$ = fact1: その右半分が漢字変換だし由々しとしたらあの傲慢は節電でない fact2: 仮に「なにかは鈍いし生き為さる」ということは成り立たないなら軟膏でない fact3: 「「あの傲慢は鈍いしその上生き為さる」ということは成り立たない」ということは正しいならば軟膏だ fact4: なんらかのものが生き為さらないとすれば軟膏でない fact5: その右半分が由々しならばあの傲慢は軟膏である fact6: もし「なにかは鈍くて生き為さる」ということは偽であるならば軟膏だ fact7: 仮にあるものは賛同出来ないとしたら「鈍いし生き為さる」ということは誤っている fact8: その右半分は家族状況である fact9: もしあの傲慢が生き為さらないとしたら軟膏でない fact10: なにがしかのものは節電であるということはないとすると賛同出来ない fact11: その右半分は家族状況であるしまたそれは漢字変換である ; $hypothesis$ = もしもその右半分が由々しとしたらあの傲慢は軟膏でない ; $proof$ = 
fact11 -> int1: その右半分は漢字変換だ; void -> assump1: 以下のように仮定する。「その右半分は由々し」ということは事実である; int1 & assump1 -> int2: その右半分は漢字変換だし由々し; int2 & fact1 -> int3: あの傲慢は節電でない; fact10 -> int4: 仮にあの傲慢は節電でないとしたら「賛同出来ない」ということは真実である; int3 & int4 -> int5: あの傲慢は賛同出来ない; fact7 -> int6: もしあの傲慢は賛同出来ないとすれば「鈍くてまたそれは生き為さる」ということは間違っている; int5 & int6 -> int7: 「あの傲慢は鈍いしさらにそれは生き為さる」ということは成り立たない; fact2 -> int8: もしも「あの傲慢は鈍くて更に生き為さる」ということは成り立たないならばそれは軟膏でない; int7 & int8 -> int9: 「あの傲慢は軟膏であるということはない」ということは真実である; [assump1] & int9 -> hypothesis; __PROVED__
事実1: その右半分が漢字変換だし由々しとしたらあの傲慢は節電でない
事実2: 仮に「なにかは鈍いし生き為さる」ということは成り立たないなら軟膏でない
事実3: 「「あの傲慢は鈍いしその上生き為さる」ということは成り立たない」ということは正しいならば軟膏だ
事実4: なんらかのものが生き為さらないとすれば軟膏でない
事実5: その右半分が由々しならばあの傲慢は軟膏である
事実6: もし「なにかは鈍くて生き為さる」ということは偽であるならば軟膏だ
事実7: 仮にあるものは賛同出来ないとしたら「鈍いし生き為さる」ということは誤っている
事実8: その右半分は家族状況である
事実9: もしあの傲慢が生き為さらないとしたら軟膏でない
事実10: なにがしかのものは節電であるということはないとすると賛同出来ない
事実11: その右半分は家族状況であるしまたそれは漢字変換である

仮説: もしもその右半分が由々しとしたらあの傲慢は軟膏でない
1. 事実11から、推論1: "その右半分は漢字変換だ"が導かれる
2. 仮定1: 以下のように仮定する。「その右半分は由々し」ということは事実である
3. 推論1と仮定1から、推論2: "その右半分は漢字変換だし由々し"が導かれる
4. 推論2と事実1から、推論3: "あの傲慢は節電でない"が導かれる
5. 事実10から、推論4: "仮にあの傲慢は節電でないとしたら「賛同出来ない」ということは真実である"が導かれる
6. 推論3と推論4から、推論5: "あの傲慢は賛同出来ない"が導かれる
7. 事実7から、推論6: "もしあの傲慢は賛同出来ないとすれば「鈍くてまたそれは生き為さる」ということは間違っている"が導かれる
8. 推論5と推論6から、推論7: "「あの傲慢は鈍いしさらにそれは生き為さる」ということは成り立たない"が導かれる
9. 事実2から、推論8: "もしも「あの傲慢は鈍くて更に生き為さる」ということは成り立たないならばそれは軟膏でない"が導かれる
10. 推論7と推論8から、推論9: "「あの傲慢は軟膏であるということはない」ということは真実である"が導かれる
11. [仮定1]と推論9から、仮説が導かれる

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