「なにかは慈愛深くないし着座しない」ということは嘘である
fact1: 「慈愛深いし加えて着座しない」ものはある fact2: もしも「あの内臓感覚は荒々しくない」ということは事実であるとすればあのＴＥＭは慈愛深くない fact3: なにかはマン‐Ｈアワーである fact4: 「マン‐Ｈアワーである」ものがあればあの内臓感覚は輸出国でない一方でそれは泊まり込む fact5: もしあの内臓感覚が荒々しくないならあのＴＥＭは慈愛深くなくて着座しない fact6: 「あの内臓感覚は荒々しいということはない」ということは誤りであるということはない fact7: 「なにがしかの物は荒々しくない」ということは確かである
fact5 & fact6 -> int1: あのＴＥＭは慈愛深くなくてそれは着座しない; int1 -> hypothesis;
fact5 & fact6 -> int1: (¬{AA}{b} & ¬{AB}{b}); int1 -> hypothesis;
なにがしかのものは輸出国でなくて更に反腐敗でない
fact8 & fact9 -> int2: あの内臓感覚は輸出国でないけど泊まり込む; int2 -> int3: あの内臓感覚は輸出国だということはない;
$facts$ = fact1: 「慈愛深いし加えて着座しない」ものはある fact2: もしも「あの内臓感覚は荒々しくない」ということは事実であるとすればあのＴＥＭは慈愛深くない fact3: なにかはマン‐Ｈアワーである fact4: 「マン‐Ｈアワーである」ものがあればあの内臓感覚は輸出国でない一方でそれは泊まり込む fact5: もしあの内臓感覚が荒々しくないならあのＴＥＭは慈愛深くなくて着座しない fact6: 「あの内臓感覚は荒々しいということはない」ということは誤りであるということはない fact7: 「なにがしかの物は荒々しくない」ということは確かである ; $hypothesis$ = 「なにかは慈愛深くないし着座しない」ということは嘘である ; $proof$ = 
fact5 & fact6 -> int1: あのＴＥＭは慈愛深くなくてそれは着座しない; int1 -> hypothesis; __DISPROVED__
事実1: 「慈愛深いし加えて着座しない」ものはある
事実2: もしも「あの内臓感覚は荒々しくない」ということは事実であるとすればあのＴＥＭは慈愛深くない
事実3: なにかはマン‐Ｈアワーである
事実4: 「マン‐Ｈアワーである」ものがあればあの内臓感覚は輸出国でない一方でそれは泊まり込む
事実5: もしあの内臓感覚が荒々しくないならあのＴＥＭは慈愛深くなくて着座しない
事実6: 「あの内臓感覚は荒々しいということはない」ということは誤りであるということはない
事実7: 「なにがしかの物は荒々しくない」ということは確かである

仮説: 「なにかは慈愛深くないし着座しない」ということは嘘である
1. 事実5と事実6から、推論1: "あのＴＥＭは慈愛深くなくてそれは着座しない"が導かれる
2. 推論1から、仮説が否定される

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