聞こえ続けることが起きる
fact1: 猛々しいということが生じる fact2: 猛々しいということおよび絶え難いということどちらもが生じる fact3: 絶え難いということおよび発揮し易いということが発生するは聞こえ続けることを防ぐ fact4: 発揮し易いということが起きる fact5: もし「絶え難いということは起きない」ということは本当だとすれば人恋しいということおよび猛々しいということどちらもが起きる
fact2 -> int1: 絶え難いということが生じる; int1 & fact4 -> int2: 絶え難いということと発揮し易いということ両方が起こる; int2 & fact3 -> hypothesis;
fact2 -> int1: {B}; int1 & fact4 -> int2: ({B} & {C}); int2 & fact3 -> hypothesis;
人恋しいということが生じる
$facts$ = fact1: 猛々しいということが生じる fact2: 猛々しいということおよび絶え難いということどちらもが生じる fact3: 絶え難いということおよび発揮し易いということが発生するは聞こえ続けることを防ぐ fact4: 発揮し易いということが起きる fact5: もし「絶え難いということは起きない」ということは本当だとすれば人恋しいということおよび猛々しいということどちらもが起きる ; $hypothesis$ = 聞こえ続けることが起きる ; $proof$ = 
fact2 -> int1: 絶え難いということが生じる; int1 & fact4 -> int2: 絶え難いということと発揮し易いということ両方が起こる; int2 & fact3 -> hypothesis; __DISPROVED__
fact2 -> int1: {B}; int1 & fact4 -> int2: ({B} & {C}); int2 & fact3 -> hypothesis; __DISPROVED__