その事業主等は亡くさない
fact1: もしも「その竜吉公主は物らしいということはない」ということは事実ならそのマザコンは避け難くてそれは聞き易い fact2: もしもその門柱は避け難いなら「その事業主等は酔い易くないしその上物らしいない」ということは間違っている fact3: 仮にそのマザコンが家屋内だとすると取り引き履歴である fact4: もし仮にそのマザコンは避け難いとしたら「家屋内だ」ということは確かだ fact5: もし仮に「なにがしかの物は酔い易くなくてまたそれは物らしくない」ということは成り立たないとすると亡くさない fact6: もしその門柱が酔い易くないとするとその竜吉公主は物らしくない fact7: 仮にその門柱が酔い易いとしたらその事業主等は亡くす fact8: 「そのマザコンは取り引き履歴でない」ということは偽だということはない fact9: もしもその竜吉公主が家屋内でないならその門柱は聞き易くてそれに避け難い
void -> assump1: 以下のように仮定する。その門柱は酔い易いということはない; fact6 & assump1 -> int1: 「その竜吉公主は物らしいということはない」ということは正しい; int1 & fact1 -> int2: そのマザコンは避け難くてまた聞き易い; int2 -> int3: そのマザコンは避け難い; int3 & fact4 -> int4: そのマザコンは家屋内だ; int4 & fact3 -> int5: そのマザコンは取り引き履歴である; int5 & fact8 -> int6: これは矛盾である; [assump1] & int6 -> int7: その門柱は酔い易い; int7 & fact7 -> hypothesis;
その事業主等は亡くさない
fact11 -> int8: もしも「その事業主等は酔い易くなくてそれは物らしくない」ということは確かでないとすれば亡くすということはない;
$facts$ = fact1: もしも「その竜吉公主は物らしいということはない」ということは事実ならそのマザコンは避け難くてそれは聞き易い fact2: もしもその門柱は避け難いなら「その事業主等は酔い易くないしその上物らしいない」ということは間違っている fact3: 仮にそのマザコンが家屋内だとすると取り引き履歴である fact4: もし仮にそのマザコンは避け難いとしたら「家屋内だ」ということは確かだ fact5: もし仮に「なにがしかの物は酔い易くなくてまたそれは物らしくない」ということは成り立たないとすると亡くさない fact6: もしその門柱が酔い易くないとするとその竜吉公主は物らしくない fact7: 仮にその門柱が酔い易いとしたらその事業主等は亡くす fact8: 「そのマザコンは取り引き履歴でない」ということは偽だということはない fact9: もしもその竜吉公主が家屋内でないならその門柱は聞き易くてそれに避け難い ; $hypothesis$ = その事業主等は亡くさない ; $proof$ = 
void -> assump1: 以下のように仮定する。その門柱は酔い易いということはない; fact6 & assump1 -> int1: 「その竜吉公主は物らしいということはない」ということは正しい; int1 & fact1 -> int2: そのマザコンは避け難くてまた聞き易い; int2 -> int3: そのマザコンは避け難い; int3 & fact4 -> int4: そのマザコンは家屋内だ; int4 & fact3 -> int5: そのマザコンは取り引き履歴である; int5 & fact8 -> int6: これは矛盾である; [assump1] & int6 -> int7: その門柱は酔い易い; int7 & fact7 -> hypothesis; __DISPROVED__
事実1: もしも「その竜吉公主は物らしいということはない」ということは事実ならそのマザコンは避け難くてそれは聞き易い
事実2: もしもその門柱は避け難いなら「その事業主等は酔い易くないしその上物らしいない」ということは間違っている
事実3: 仮にそのマザコンが家屋内だとすると取り引き履歴である
事実4: もし仮にそのマザコンは避け難いとしたら「家屋内だ」ということは確かだ
事実5: もし仮に「なにがしかの物は酔い易くなくてまたそれは物らしくない」ということは成り立たないとすると亡くさない
事実6: もしその門柱が酔い易くないとするとその竜吉公主は物らしくない
事実7: 仮にその門柱が酔い易いとしたらその事業主等は亡くす
事実8: 「そのマザコンは取り引き履歴でない」ということは偽だということはない
事実9: もしもその竜吉公主が家屋内でないならその門柱は聞き易くてそれに避け難い

仮説: その事業主等は亡くさない
1. 仮定1: 以下のように仮定する。その門柱は酔い易いということはない
2. 事実6と仮定1から、推論1: "「その竜吉公主は物らしいということはない」ということは正しい"が導かれる
3. 推論1と事実1から、推論2: "そのマザコンは避け難くてまた聞き易い"が導かれる
4. 推論2から、推論3: "そのマザコンは避け難い"が導かれる
5. 推論3と事実4から、推論4: "そのマザコンは家屋内だ"が導かれる
6. 推論4と事実3から、推論5: "そのマザコンは取り引き履歴である"が導かれる
7. 推論5と事実8から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "その門柱は酔い易い"が導かれる
9. 推論7と事実7から、仮説が否定される

よって、仮説が否定されました。