その証左は掛け替える
fact1: もし「その独身男性は泣き止む一方でそれは面白おかしくない」ということは事実でないとすればこの常備薬は掛け替えない fact2: 仮にその証左は泣き止まないとすれば「その独身男性は捕らわれ易いがしかし掛け替えない」ということは間違いだ fact3: もしもこの常備薬は溜井絵図でないなら「その独身男性は泣き止まないが申し訳無い」ということは成り立たない fact4: その証左は御召さない fact5: この介護給付費は泣き止まない fact6: もしもその独身男性は泣き止まないとすると「この常備薬は捕らわれ易いしおまけに面白おかしい」ということは誤りである fact7: その証左は泣き止まない fact8: もし仮にその独身男性は捕らわれ易くないなら「この常備薬は泣き止むけど掛け替えない」ということは確かでない fact9: その証左は持久戦だということはない fact10: その独身男性は泣き止まない fact11: その独身男性は掛け替えないとしたら「この常備薬は面白おかしいがしかし泣き止まない」ということは成り立たない fact12: もしも「その独身男性は泣き止まないが申し訳無い」ということは嘘ならその証左は掛け替える fact13: その独身男性は掛け替えない fact14: もし仮にこの常備薬が面白おかしいとするとその証左は掛け替えない fact15: 「その独身男性は掛け替えるけれどそれは泣き止まない」ということは偽だ fact16: もしもその独身男性は泣き止まないとすれば「この常備薬は捕らわれ易い一方で面白おかしくない」ということは誤っている fact17: 仮に「この常備薬は捕らわれ易いけれど泣き止まない」ということは誤っているとしたらその独身男性は面白おかしくない fact18: 「その証左は掛け替える一方で面白おかしくない」ということは誤っている fact19: もし仮に「この常備薬は捕らわれ易いけれど面白おかしくない」ということは本当でないとしたらその証左は掛け替えない fact20: 「その独身男性は捕らわれ易くない」ということは本当だ fact21: 「この常備薬は捕らわれ易くてさらに面白おかしい」ということは間違いだ
fact16 & fact10 -> int1: 「この常備薬は捕らわれ易い一方で面白おかしくない」ということは事実と異なる; int1 & fact19 -> hypothesis;
その証左は掛け替える
$facts$ = fact1: もし「その独身男性は泣き止む一方でそれは面白おかしくない」ということは事実でないとすればこの常備薬は掛け替えない fact2: 仮にその証左は泣き止まないとすれば「その独身男性は捕らわれ易いがしかし掛け替えない」ということは間違いだ fact3: もしもこの常備薬は溜井絵図でないなら「その独身男性は泣き止まないが申し訳無い」ということは成り立たない fact4: その証左は御召さない fact5: この介護給付費は泣き止まない fact6: もしもその独身男性は泣き止まないとすると「この常備薬は捕らわれ易いしおまけに面白おかしい」ということは誤りである fact7: その証左は泣き止まない fact8: もし仮にその独身男性は捕らわれ易くないなら「この常備薬は泣き止むけど掛け替えない」ということは確かでない fact9: その証左は持久戦だということはない fact10: その独身男性は泣き止まない fact11: その独身男性は掛け替えないとしたら「この常備薬は面白おかしいがしかし泣き止まない」ということは成り立たない fact12: もしも「その独身男性は泣き止まないが申し訳無い」ということは嘘ならその証左は掛け替える fact13: その独身男性は掛け替えない fact14: もし仮にこの常備薬が面白おかしいとするとその証左は掛け替えない fact15: 「その独身男性は掛け替えるけれどそれは泣き止まない」ということは偽だ fact16: もしもその独身男性は泣き止まないとすれば「この常備薬は捕らわれ易い一方で面白おかしくない」ということは誤っている fact17: 仮に「この常備薬は捕らわれ易いけれど泣き止まない」ということは誤っているとしたらその独身男性は面白おかしくない fact18: 「その証左は掛け替える一方で面白おかしくない」ということは誤っている fact19: もし仮に「この常備薬は捕らわれ易いけれど面白おかしくない」ということは本当でないとしたらその証左は掛け替えない fact20: 「その独身男性は捕らわれ易くない」ということは本当だ fact21: 「この常備薬は捕らわれ易くてさらに面白おかしい」ということは間違いだ ; $hypothesis$ = その証左は掛け替える ; $proof$ = 
fact16 & fact10 -> int1: 「この常備薬は捕らわれ易い一方で面白おかしくない」ということは事実と異なる; int1 & fact19 -> hypothesis; __DISPROVED__
事実1: もし「その独身男性は泣き止む一方でそれは面白おかしくない」ということは事実でないとすればこの常備薬は掛け替えない
事実2: 仮にその証左は泣き止まないとすれば「その独身男性は捕らわれ易いがしかし掛け替えない」ということは間違いだ
事実3: もしもこの常備薬は溜井絵図でないなら「その独身男性は泣き止まないが申し訳無い」ということは成り立たない
事実4: その証左は御召さない
事実5: この介護給付費は泣き止まない
事実6: もしもその独身男性は泣き止まないとすると「この常備薬は捕らわれ易いしおまけに面白おかしい」ということは誤りである
事実7: その証左は泣き止まない
事実8: もし仮にその独身男性は捕らわれ易くないなら「この常備薬は泣き止むけど掛け替えない」ということは確かでない
事実9: その証左は持久戦だということはない
事実10: その独身男性は泣き止まない
事実11: その独身男性は掛け替えないとしたら「この常備薬は面白おかしいがしかし泣き止まない」ということは成り立たない
事実12: もしも「その独身男性は泣き止まないが申し訳無い」ということは嘘ならその証左は掛け替える
事実13: その独身男性は掛け替えない
事実14: もし仮にこの常備薬が面白おかしいとするとその証左は掛け替えない
事実15: 「その独身男性は掛け替えるけれどそれは泣き止まない」ということは偽だ
事実16: もしもその独身男性は泣き止まないとすれば「この常備薬は捕らわれ易い一方で面白おかしくない」ということは誤っている
事実17: 仮に「この常備薬は捕らわれ易いけれど泣き止まない」ということは誤っているとしたらその独身男性は面白おかしくない
事実18: 「その証左は掛け替える一方で面白おかしくない」ということは誤っている
事実19: もし仮に「この常備薬は捕らわれ易いけれど面白おかしくない」ということは本当でないとしたらその証左は掛け替えない
事実20: 「その独身男性は捕らわれ易くない」ということは本当だ
事実21: 「この常備薬は捕らわれ易くてさらに面白おかしい」ということは間違いだ

仮説: その証左は掛け替える
1. 事実16と事実10から、推論1: "「この常備薬は捕らわれ易い一方で面白おかしくない」ということは事実と異なる"が導かれる
2. 推論1と事実19から、仮説が否定される

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