この標柱はＫＢでない
fact1: この標柱は言語文化である fact2: 「この標柱は口喧しい」ということは成り立つ fact3: このエープリルはＫＢだ fact4: あの心耳はＫＢだ fact5: その展望台はＫＢだ fact6: あの危難はＫＢだ fact7: その新鉱山長はＫＢだ fact8: この標柱は理屈っぽい fact9: その生体組織はＫＢである fact10: もしも何らかの物は幅広くないとすると「それは侵犯しないしＫＢである」ということは嘘だ fact11: 何らかの物が侵犯しないとすればそれは幅広いしＫＢだ fact12: この標柱は切り替え時間である fact13: 「この標柱は姦しい」ということは事実と異ならない fact14: この標柱はＫＢだ
fact14 -> hypothesis;
fact14 -> hypothesis;
この主観説はＫＢだ
fact15 -> int1: 仮に「この主観説は侵犯しない」ということは本当であるならば幅広いしＫＢである;
$facts$ = fact1: この標柱は言語文化である fact2: 「この標柱は口喧しい」ということは成り立つ fact3: このエープリルはＫＢだ fact4: あの心耳はＫＢだ fact5: その展望台はＫＢだ fact6: あの危難はＫＢだ fact7: その新鉱山長はＫＢだ fact8: この標柱は理屈っぽい fact9: その生体組織はＫＢである fact10: もしも何らかの物は幅広くないとすると「それは侵犯しないしＫＢである」ということは嘘だ fact11: 何らかの物が侵犯しないとすればそれは幅広いしＫＢだ fact12: この標柱は切り替え時間である fact13: 「この標柱は姦しい」ということは事実と異ならない fact14: この標柱はＫＢだ ; $hypothesis$ = この標柱はＫＢでない ; $proof$ = 
fact14 -> hypothesis; __DISPROVED__
事実1: この標柱は言語文化である
事実2: 「この標柱は口喧しい」ということは成り立つ
事実3: このエープリルはＫＢだ
事実4: あの心耳はＫＢだ
事実5: その展望台はＫＢだ
事実6: あの危難はＫＢだ
事実7: その新鉱山長はＫＢだ
事実8: この標柱は理屈っぽい
事実9: その生体組織はＫＢである
事実10: もしも何らかの物は幅広くないとすると「それは侵犯しないしＫＢである」ということは嘘だ
事実11: 何らかの物が侵犯しないとすればそれは幅広いしＫＢだ
事実12: この標柱は切り替え時間である
事実13: 「この標柱は姦しい」ということは事実と異ならない
事実14: この標柱はＫＢだ

仮説: この標柱はＫＢでない
1. 事実14から、仮説が否定される

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