あのメンチカツは厭わしくない
fact1: 仮にこのスネアドラムは合わせ易くないとすれば「「あの施用量は厭わしくておまけに除籍する」ということは嘘だ」ということは真実だ fact2: 仮にとある物が厭わしくないならばそれは除籍する fact3: なにがしかの物はマッチするけれど微笑ましかないならば厭わしい fact4: あの三派は除籍しない fact5: あの施用量が除籍するけど微笑ましいということはないとすればそれは厭わしい fact6: あの施用量は除籍しない fact7: もし仮にあの施用量が除籍するということはないとするとあのメンチカツはマッチするがそれは微笑ましかない
fact7 & fact6 -> int1: あのメンチカツはマッチするけどそれは微笑ましかない; fact3 -> int2: もしあのメンチカツがマッチするけど微笑ましいということはないとしたらそれは厭わしい; int1 & int2 -> hypothesis;
fact7 & fact6 -> int1: ({AA}{b} & ¬{AB}{b}); fact3 -> int2: ({AA}{b} & ¬{AB}{b}) -> {B}{b}; int1 & int2 -> hypothesis;
その労連は除籍する
fact8 -> int3: その労連が厭わしくないとすれば除籍する;
$facts$ = fact1: 仮にこのスネアドラムは合わせ易くないとすれば「「あの施用量は厭わしくておまけに除籍する」ということは嘘だ」ということは真実だ fact2: 仮にとある物が厭わしくないならばそれは除籍する fact3: なにがしかの物はマッチするけれど微笑ましかないならば厭わしい fact4: あの三派は除籍しない fact5: あの施用量が除籍するけど微笑ましいということはないとすればそれは厭わしい fact6: あの施用量は除籍しない fact7: もし仮にあの施用量が除籍するということはないとするとあのメンチカツはマッチするがそれは微笑ましかない ; $hypothesis$ = あのメンチカツは厭わしくない ; $proof$ = 
fact7 & fact6 -> int1: あのメンチカツはマッチするけどそれは微笑ましかない; fact3 -> int2: もしあのメンチカツがマッチするけど微笑ましいということはないとしたらそれは厭わしい; int1 & int2 -> hypothesis; __DISPROVED__
事実1: 仮にこのスネアドラムは合わせ易くないとすれば「「あの施用量は厭わしくておまけに除籍する」ということは嘘だ」ということは真実だ
事実2: 仮にとある物が厭わしくないならばそれは除籍する
事実3: なにがしかの物はマッチするけれど微笑ましかないならば厭わしい
事実4: あの三派は除籍しない
事実5: あの施用量が除籍するけど微笑ましいということはないとすればそれは厭わしい
事実6: あの施用量は除籍しない
事実7: もし仮にあの施用量が除籍するということはないとするとあのメンチカツはマッチするがそれは微笑ましかない

仮説: あのメンチカツは厭わしくない
1. 事実7と事実6から、推論1: "あのメンチカツはマッチするけどそれは微笑ましかない"が導かれる
2. 事実3から、推論2: "もしあのメンチカツがマッチするけど微笑ましいということはないとしたらそれは厭わしい"が導かれる
3. 推論1と推論2から、仮説が否定される

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