そのバーラウンジは入り掛ける
fact1: そのバーラウンジは煽るということはない fact2: もし「強調しない」ものがあるならあの瀰漫性腫大は入り掛けない fact3: そのバーラウンジは帆船でない fact4: この焼き蕎麦は入り掛けない fact5: 仮にこの十七条決定が臣であるということはないとすればそのバーラウンジは入り掛けるしおまけにリポートである fact6: もし「忘れ難いということはない」ものがあるとすればあの抗原検査陽性者は遅延型過敏反応でない fact7: 「入り掛ける」物はある fact8: もしも「とあるものは断行するし加えてそれは拙い」ということは成り立たないとするとそれは臣でない fact9: そのバーラウンジはさらっとするということはない fact10: この権能は入り掛けない fact11: もし「リポートでない」物があればそのバーラウンジは入り掛けない fact12: 「リポートでない」物はある fact13: 「入り掛けない」ものはある
fact12 & fact11 -> hypothesis;
fact12 & fact11 -> hypothesis;
そのバーラウンジは入り掛ける
fact14 -> int1: 「この十七条決定は断行するしまた拙い」ということは事実と異なればそれは臣でない;
$facts$ = fact1: そのバーラウンジは煽るということはない fact2: もし「強調しない」ものがあるならあの瀰漫性腫大は入り掛けない fact3: そのバーラウンジは帆船でない fact4: この焼き蕎麦は入り掛けない fact5: 仮にこの十七条決定が臣であるということはないとすればそのバーラウンジは入り掛けるしおまけにリポートである fact6: もし「忘れ難いということはない」ものがあるとすればあの抗原検査陽性者は遅延型過敏反応でない fact7: 「入り掛ける」物はある fact8: もしも「とあるものは断行するし加えてそれは拙い」ということは成り立たないとするとそれは臣でない fact9: そのバーラウンジはさらっとするということはない fact10: この権能は入り掛けない fact11: もし「リポートでない」物があればそのバーラウンジは入り掛けない fact12: 「リポートでない」物はある fact13: 「入り掛けない」ものはある ; $hypothesis$ = そのバーラウンジは入り掛ける ; $proof$ = 
fact12 & fact11 -> hypothesis; __DISPROVED__
事実1: そのバーラウンジは煽るということはない
事実2: もし「強調しない」ものがあるならあの瀰漫性腫大は入り掛けない
事実3: そのバーラウンジは帆船でない
事実4: この焼き蕎麦は入り掛けない
事実5: 仮にこの十七条決定が臣であるということはないとすればそのバーラウンジは入り掛けるしおまけにリポートである
事実6: もし「忘れ難いということはない」ものがあるとすればあの抗原検査陽性者は遅延型過敏反応でない
事実7: 「入り掛ける」物はある
事実8: もしも「とあるものは断行するし加えてそれは拙い」ということは成り立たないとするとそれは臣でない
事実9: そのバーラウンジはさらっとするということはない
事実10: この権能は入り掛けない
事実11: もし「リポートでない」物があればそのバーラウンジは入り掛けない
事実12: 「リポートでない」物はある
事実13: 「入り掛けない」ものはある

仮説: そのバーラウンジは入り掛ける
1. 事実12と事実11から、仮説が否定される

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