その住まい方は他殺でない
fact1: 仮にその住まい方が納刀しないならそれは泣き濡れる fact2: その住まい方は成り始めるかまたはそれは納刀するかもしくは両方である fact3: 「「省であるし取れ難い」ということは成り立たない」物はある fact4: その住まい方は成り始めるかもしくはそれは納刀しない fact5: もしそのプローブが取れ難いとすればその未申は省だ fact6: もしも「他殺であるかあるいは省であるかもしくはどちらもな」ものがあるとしたらあの防止策は省だ fact7: もしもとある物が泣き濡れないとすると他殺で加えて忘れ易い fact8: 「「感慨深いがしかしデータベース認証でない」ということは偽な」ものはある fact9: この選良は納刀する fact10: 「省だということはない」物があるならばあの住まい方は忘れ易い fact11: 仮になにかは忘れ易いとすると出口である fact12: もしも「その未申は取れ難くないがしかし泣き濡れる」ということは成り立たないとしたら「その住まい方は泣き濡れない」ということは事実と異ならない fact13: もしもとある物が泣き濡れるしまた忘れ易いなら他殺でない fact14: もしもその住まい方は成り始めるかあるいは納刀しないとすればそれは泣き濡れる fact15: 仮にその住まい方が泣き濡れないかもしくは忘れ易くないとすれば「あの防止策は忘れ易い」ということは間違っているということはない fact16: 「「頼み難くない一方で獲得する」ということは事実と異なる」ものはある fact17: もしもその未申が十七α‐ヒドロキシプロゲステロンでないとすれば省であるしおまけに神官達である fact18: 「省だがしかし取れ難くない」ものはある fact19: その未申は取れ難くない fact20: 仮にその住まい方が古しとすればこの桜ん坊は古し fact21: 「「省だがしかし取れ難くない」ということは嘘な」ものがあるとしたらその住まい方は忘れ易い fact22: 「「省であるしさらに取れ難くない」ということは間違いである」ものはある
fact14 & fact4 -> int1: その住まい方は泣き濡れる; fact22 & fact21 -> int2: その住まい方は忘れ易い; int1 & int2 -> int3: その住まい方は泣き濡れるし加えて忘れ易い; fact13 -> int4: 仮にその住まい方が泣き濡れるしおまけに忘れ易いとしたら「他殺だということはない」ということは真実である; int3 & int4 -> hypothesis;
fact14 & fact4 -> int1: {B}{a}; fact22 & fact21 -> int2: {A}{a}; int1 & int2 -> int3: ({B}{a} & {A}{a}); fact13 -> int4: ({B}{a} & {A}{a}) -> ¬{C}{a}; int3 & int4 -> hypothesis;
あの防止策は省であるし出口だ
fact23 -> int5: もし仮に「あの防止策は忘れ易い」ということは正しいとすると「それは出口だ」ということは事実である;
$facts$ = fact1: 仮にその住まい方が納刀しないならそれは泣き濡れる fact2: その住まい方は成り始めるかまたはそれは納刀するかもしくは両方である fact3: 「「省であるし取れ難い」ということは成り立たない」物はある fact4: その住まい方は成り始めるかもしくはそれは納刀しない fact5: もしそのプローブが取れ難いとすればその未申は省だ fact6: もしも「他殺であるかあるいは省であるかもしくはどちらもな」ものがあるとしたらあの防止策は省だ fact7: もしもとある物が泣き濡れないとすると他殺で加えて忘れ易い fact8: 「「感慨深いがしかしデータベース認証でない」ということは偽な」ものはある fact9: この選良は納刀する fact10: 「省だということはない」物があるならばあの住まい方は忘れ易い fact11: 仮になにかは忘れ易いとすると出口である fact12: もしも「その未申は取れ難くないがしかし泣き濡れる」ということは成り立たないとしたら「その住まい方は泣き濡れない」ということは事実と異ならない fact13: もしもとある物が泣き濡れるしまた忘れ易いなら他殺でない fact14: もしもその住まい方は成り始めるかあるいは納刀しないとすればそれは泣き濡れる fact15: 仮にその住まい方が泣き濡れないかもしくは忘れ易くないとすれば「あの防止策は忘れ易い」ということは間違っているということはない fact16: 「「頼み難くない一方で獲得する」ということは事実と異なる」ものはある fact17: もしもその未申が十七α‐ヒドロキシプロゲステロンでないとすれば省であるしおまけに神官達である fact18: 「省だがしかし取れ難くない」ものはある fact19: その未申は取れ難くない fact20: 仮にその住まい方が古しとすればこの桜ん坊は古し fact21: 「「省だがしかし取れ難くない」ということは嘘な」ものがあるとしたらその住まい方は忘れ易い fact22: 「「省であるしさらに取れ難くない」ということは間違いである」ものはある ; $hypothesis$ = その住まい方は他殺でない ; $proof$ = 
fact14 & fact4 -> int1: その住まい方は泣き濡れる; fact22 & fact21 -> int2: その住まい方は忘れ易い; int1 & int2 -> int3: その住まい方は泣き濡れるし加えて忘れ易い; fact13 -> int4: 仮にその住まい方が泣き濡れるしおまけに忘れ易いとしたら「他殺だということはない」ということは真実である; int3 & int4 -> hypothesis; __PROVED__
事実1: 仮にその住まい方が納刀しないならそれは泣き濡れる
事実2: その住まい方は成り始めるかまたはそれは納刀するかもしくは両方である
事実3: 「「省であるし取れ難い」ということは成り立たない」物はある
事実4: その住まい方は成り始めるかもしくはそれは納刀しない
事実5: もしそのプローブが取れ難いとすればその未申は省だ
事実6: もしも「他殺であるかあるいは省であるかもしくはどちらもな」ものがあるとしたらあの防止策は省だ
事実7: もしもとある物が泣き濡れないとすると他殺で加えて忘れ易い
事実8: 「「感慨深いがしかしデータベース認証でない」ということは偽な」ものはある
事実9: この選良は納刀する
事実10: 「省だということはない」物があるならばあの住まい方は忘れ易い
事実11: 仮になにかは忘れ易いとすると出口である
事実12: もしも「その未申は取れ難くないがしかし泣き濡れる」ということは成り立たないとしたら「その住まい方は泣き濡れない」ということは事実と異ならない
事実13: もしもとある物が泣き濡れるしまた忘れ易いなら他殺でない
事実14: もしもその住まい方は成り始めるかあるいは納刀しないとすればそれは泣き濡れる
事実15: 仮にその住まい方が泣き濡れないかもしくは忘れ易くないとすれば「あの防止策は忘れ易い」ということは間違っているということはない
事実16: 「「頼み難くない一方で獲得する」ということは事実と異なる」ものはある
事実17: もしもその未申が十七α‐ヒドロキシプロゲステロンでないとすれば省であるしおまけに神官達である
事実18: 「省だがしかし取れ難くない」ものはある
事実19: その未申は取れ難くない
事実20: 仮にその住まい方が古しとすればこの桜ん坊は古し
事実21: 「「省だがしかし取れ難くない」ということは嘘な」ものがあるとしたらその住まい方は忘れ易い
事実22: 「「省であるしさらに取れ難くない」ということは間違いである」ものはある

仮説: その住まい方は他殺でない
1. 事実14と事実4から、推論1: "その住まい方は泣き濡れる"が導かれる
2. 事実22と事実21から、推論2: "その住まい方は忘れ易い"が導かれる
3. 推論1と推論2から、推論3: "その住まい方は泣き濡れるし加えて忘れ易い"が導かれる
4. 事実13から、推論4: "仮にその住まい方が泣き濡れるしおまけに忘れ易いとしたら「他殺だということはない」ということは真実である"が導かれる
5. 推論3と推論4から、仮説が導かれる

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