「その言語体系は疑わしいしおまけに口外する」ということは成り立たない
fact1: もしこの化け物が共同善でないなら逞しいしその上それはそうする fact2: あの表参照はそうする fact3: その言語体系が逞しいならば民執規だ fact4: その言語体系は逞しい fact5: この産前産後休業はそうする fact6: その言語体系がそうすればそれは疑わしい fact7: 仮にその言語体系が逞しいとすれば口外する fact8: その言語体系はそうする
fact6 & fact8 -> int1: 「その言語体系は疑わしい」ということは本当だ; fact7 & fact4 -> int2: 「その言語体系は口外する」ということは成り立つ; int1 & int2 -> hypothesis;
fact6 & fact8 -> int1: {B}{a}; fact7 & fact4 -> int2: {C}{a}; int1 & int2 -> hypothesis;
「その言語体系は疑わしくて口外する」ということは間違いだ
$facts$ = fact1: もしこの化け物が共同善でないなら逞しいしその上それはそうする fact2: あの表参照はそうする fact3: その言語体系が逞しいならば民執規だ fact4: その言語体系は逞しい fact5: この産前産後休業はそうする fact6: その言語体系がそうすればそれは疑わしい fact7: 仮にその言語体系が逞しいとすれば口外する fact8: その言語体系はそうする ; $hypothesis$ = 「その言語体系は疑わしいしおまけに口外する」ということは成り立たない ; $proof$ = 
fact6 & fact8 -> int1: 「その言語体系は疑わしい」ということは本当だ; fact7 & fact4 -> int2: 「その言語体系は口外する」ということは成り立つ; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もしこの化け物が共同善でないなら逞しいしその上それはそうする
事実2: あの表参照はそうする
事実3: その言語体系が逞しいならば民執規だ
事実4: その言語体系は逞しい
事実5: この産前産後休業はそうする
事実6: その言語体系がそうすればそれは疑わしい
事実7: 仮にその言語体系が逞しいとすれば口外する
事実8: その言語体系はそうする

仮説: 「その言語体系は疑わしいしおまけに口外する」ということは成り立たない
1. 事実6と事実8から、推論1: "「その言語体系は疑わしい」ということは本当だ"が導かれる
2. 事実7と事実4から、推論2: "「その言語体系は口外する」ということは成り立つ"が導かれる
3. 推論1と推論2から、仮説が否定される

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