このベイ級護衛空母はラジオ放送しない
fact1: もし仮にある物は更年期障害だとしたら「それはラジオ放送しないがホンスである」ということは嘘だ fact2: その新社は険しいということはない fact3: あの征服は更年期障害であるということはない fact4: その新社は飲み易くない fact5: このベイ級護衛空母は見分け難い fact6: もしもその新社がホンスでなくて加えて買い物しないなら「このベイ級護衛空母はラジオ放送する」ということは真実である fact7: このベイ級護衛空母は買い物しない fact8: このベイ級護衛空母はし難くないし信仰深くない fact9: なんらかの物が飲み易いとするとその新社は買い物しない fact10: その新社は更年期障害でない fact11: 「「更年期障害である」ということは成り立つ」物はある fact12: 仮にこのベイ級護衛空母が更年期障害でないしホンスでないとしたらその新社は買い物する fact13: その体高は水代謝異常でないしラジオ放送しない fact14: 仮にこのベイ級護衛空母は更年期障害でないならそれはラジオ放送しない fact15: その国際放送はホンスでなくてそれは頼り無いということはない fact16: ある物は飲み易い fact17: もし仮にその新社が更年期障害でないとすればホンスでない
fact17 & fact10 -> int1: 「その新社はホンスでない」ということは成り立つ; fact9 & fact16 -> int2: その新社は買い物しない; int1 & int2 -> int3: その新社はホンスだということはないし買い物するということはない; int3 & fact6 -> hypothesis;
fact17 & fact10 -> int1: ¬{B}{a}; fact9 & fact16 -> int2: ¬{C}{a}; int1 & int2 -> int3: (¬{B}{a} & ¬{C}{a}); int3 & fact6 -> hypothesis;
このベイ級護衛空母はラジオ放送しない
fact18 -> int4: もし仮にその新社は更年期障害であるとしたら「それはラジオ放送しなくてそれはホンスだ」ということは成り立たない;
$facts$ = fact1: もし仮にある物は更年期障害だとしたら「それはラジオ放送しないがホンスである」ということは嘘だ fact2: その新社は険しいということはない fact3: あの征服は更年期障害であるということはない fact4: その新社は飲み易くない fact5: このベイ級護衛空母は見分け難い fact6: もしもその新社がホンスでなくて加えて買い物しないなら「このベイ級護衛空母はラジオ放送する」ということは真実である fact7: このベイ級護衛空母は買い物しない fact8: このベイ級護衛空母はし難くないし信仰深くない fact9: なんらかの物が飲み易いとするとその新社は買い物しない fact10: その新社は更年期障害でない fact11: 「「更年期障害である」ということは成り立つ」物はある fact12: 仮にこのベイ級護衛空母が更年期障害でないしホンスでないとしたらその新社は買い物する fact13: その体高は水代謝異常でないしラジオ放送しない fact14: 仮にこのベイ級護衛空母は更年期障害でないならそれはラジオ放送しない fact15: その国際放送はホンスでなくてそれは頼り無いということはない fact16: ある物は飲み易い fact17: もし仮にその新社が更年期障害でないとすればホンスでない ; $hypothesis$ = このベイ級護衛空母はラジオ放送しない ; $proof$ = 
fact17 & fact10 -> int1: 「その新社はホンスでない」ということは成り立つ; fact9 & fact16 -> int2: その新社は買い物しない; int1 & int2 -> int3: その新社はホンスだということはないし買い物するということはない; int3 & fact6 -> hypothesis; __DISPROVED__
事実1: もし仮にある物は更年期障害だとしたら「それはラジオ放送しないがホンスである」ということは嘘だ
事実2: その新社は険しいということはない
事実3: あの征服は更年期障害であるということはない
事実4: その新社は飲み易くない
事実5: このベイ級護衛空母は見分け難い
事実6: もしもその新社がホンスでなくて加えて買い物しないなら「このベイ級護衛空母はラジオ放送する」ということは真実である
事実7: このベイ級護衛空母は買い物しない
事実8: このベイ級護衛空母はし難くないし信仰深くない
事実9: なんらかの物が飲み易いとするとその新社は買い物しない
事実10: その新社は更年期障害でない
事実11: 「「更年期障害である」ということは成り立つ」物はある
事実12: 仮にこのベイ級護衛空母が更年期障害でないしホンスでないとしたらその新社は買い物する
事実13: その体高は水代謝異常でないしラジオ放送しない
事実14: 仮にこのベイ級護衛空母は更年期障害でないならそれはラジオ放送しない
事実15: その国際放送はホンスでなくてそれは頼り無いということはない
事実16: ある物は飲み易い
事実17: もし仮にその新社が更年期障害でないとすればホンスでない

仮説: このベイ級護衛空母はラジオ放送しない
1. 事実17と事実10から、推論1: "「その新社はホンスでない」ということは成り立つ"が導かれる
2. 事実9と事実16から、推論2: "その新社は買い物しない"が導かれる
3. 推論1と推論2から、推論3: "その新社はホンスだということはないし買い物するということはない"が導かれる
4. 推論3と事実6から、仮説が否定される

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