香ばしいということは起こらない
fact1: 香ばしいということは「ぽわぽわLv.96事件は生じないがこそばゆいということが起きる」ということに由来する fact2: 伝わり難いということは「ぽわぽわLv.96事件が起きるしこそばゆいということは発生しない」ということに阻まれる fact3: 「「ぽわぽわLv.96事件が発生するがしかしこそばゆいということは起こらない」ということは「まなまちょLv.79事件は生じない」ということに由来する」ということは事実だ fact4: もし「ひょろ長いということおよび香ばしいということ両方が起こる」ということは間違っているとすれば香ばしいということは起こらない fact5: もし伝わり難いということが起きるとしたらぽわぽわLv.96事件ではなくこそばゆいということが起きる fact6: ひょろ長いということは伝わり難いということは生じないということを防ぐ fact7: もし「伝わり難いということが生じる」ということは成り立たないとしたら「ひょろ長いということと香ばしいということが発生する」ということは間違っている fact8: ひょろ長いということが起きる fact9: まにゅまえLv.73事件は案内広告することのきっかけとなる
fact6 & fact8 -> int1: 伝わり難いということが起こる; int1 & fact5 -> int2: ぽわぽわLv.96事件は起きないけどこそばゆいということが生じる; int2 & fact1 -> hypothesis;
fact6 & fact8 -> int1: {B}; int1 & fact5 -> int2: (¬{C} & {D}); int2 & fact1 -> hypothesis;
香ばしいということは起こらない
$facts$ = fact1: 香ばしいということは「ぽわぽわLv.96事件は生じないがこそばゆいということが起きる」ということに由来する fact2: 伝わり難いということは「ぽわぽわLv.96事件が起きるしこそばゆいということは発生しない」ということに阻まれる fact3: 「「ぽわぽわLv.96事件が発生するがしかしこそばゆいということは起こらない」ということは「まなまちょLv.79事件は生じない」ということに由来する」ということは事実だ fact4: もし「ひょろ長いということおよび香ばしいということ両方が起こる」ということは間違っているとすれば香ばしいということは起こらない fact5: もし伝わり難いということが起きるとしたらぽわぽわLv.96事件ではなくこそばゆいということが起きる fact6: ひょろ長いということは伝わり難いということは生じないということを防ぐ fact7: もし「伝わり難いということが生じる」ということは成り立たないとしたら「ひょろ長いということと香ばしいということが発生する」ということは間違っている fact8: ひょろ長いということが起きる fact9: まにゅまえLv.73事件は案内広告することのきっかけとなる ; $hypothesis$ = 香ばしいということは起こらない ; $proof$ = 
fact6 & fact8 -> int1: 伝わり難いということが起こる; int1 & fact5 -> int2: ぽわぽわLv.96事件は起きないけどこそばゆいということが生じる; int2 & fact1 -> hypothesis; __DISPROVED__
fact6 & fact8 -> int1: {B}; int1 & fact5 -> int2: (¬{C} & {D}); int2 & fact1 -> hypothesis; __DISPROVED__