この貿易赤字は切り出さない
fact1: そのＮＨＫ特集が叩き合うけど訪れないとするとこの貿易赤字は切り出す fact2: そのＮＨＫ特集がいじらしくないとしたらそれは叩き合わなくてしかも訪れない fact3: そのＮＨＫ特集は叩き合わない fact4: もしもそのＮＨＫ特集が叩き合わないしまた訪れないとすればあの貿易赤字は切り出す fact5: もし仮にそのＮＨＫ特集が味気無いとするとこの貿易赤字は切り出すということはないがいじらしい fact6: そのＮＨＫ特集はいじらしくない
fact2 & fact6 -> int1: そのＮＨＫ特集は叩き合わないし訪れない; int1 & fact4 -> hypothesis;
fact2 & fact6 -> int1: (¬{AA}{a} & ¬{AB}{a}); int1 & fact4 -> hypothesis;
この貿易赤字は切り出さない
$facts$ = fact1: そのＮＨＫ特集が叩き合うけど訪れないとするとこの貿易赤字は切り出す fact2: そのＮＨＫ特集がいじらしくないとしたらそれは叩き合わなくてしかも訪れない fact3: そのＮＨＫ特集は叩き合わない fact4: もしもそのＮＨＫ特集が叩き合わないしまた訪れないとすればあの貿易赤字は切り出す fact5: もし仮にそのＮＨＫ特集が味気無いとするとこの貿易赤字は切り出すということはないがいじらしい fact6: そのＮＨＫ特集はいじらしくない ; $hypothesis$ = この貿易赤字は切り出さない ; $proof$ = 
fact2 & fact6 -> int1: そのＮＨＫ特集は叩き合わないし訪れない; int1 & fact4 -> hypothesis; __DISPROVED__
事実1: そのＮＨＫ特集が叩き合うけど訪れないとするとこの貿易赤字は切り出す
事実2: そのＮＨＫ特集がいじらしくないとしたらそれは叩き合わなくてしかも訪れない
事実3: そのＮＨＫ特集は叩き合わない
事実4: もしもそのＮＨＫ特集が叩き合わないしまた訪れないとすればあの貿易赤字は切り出す
事実5: もし仮にそのＮＨＫ特集が味気無いとするとこの貿易赤字は切り出すということはないがいじらしい
事実6: そのＮＨＫ特集はいじらしくない

仮説: この貿易赤字は切り出さない
1. 事実2と事実6から、推論1: "そのＮＨＫ特集は叩き合わないし訪れない"が導かれる
2. 推論1と事実4から、仮説が否定される

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