選択し易いということが発生する
fact1: 癒合することは起きないとすれば「選択し易いということが起きるし加えて悪いということが起きる」ということは成り立たない fact2: 脂っぽいということおよび重なり合うことが起きるは悪いということは起こらないということがきっかけだ fact3: 脂っぽいということと悪いということが起こる fact4: 「悪いということかまたは癒合することかまたは両方が発生する」ということは選択し易いということを防ぐ fact5: 癒合することは調べ易いということは起きないということに防がれる
fact3 -> int1: 悪いということが発生する; int1 -> int2: 悪いということが起こるか癒合することが生じるかまたは両方ともだ; int2 & fact4 -> hypothesis;
fact3 -> int1: {B}; int1 -> int2: ({B} v {C}); int2 & fact4 -> hypothesis;
重なり合うことが生じる
$facts$ = fact1: 癒合することは起きないとすれば「選択し易いということが起きるし加えて悪いということが起きる」ということは成り立たない fact2: 脂っぽいということおよび重なり合うことが起きるは悪いということは起こらないということがきっかけだ fact3: 脂っぽいということと悪いということが起こる fact4: 「悪いということかまたは癒合することかまたは両方が発生する」ということは選択し易いということを防ぐ fact5: 癒合することは調べ易いということは起きないということに防がれる ; $hypothesis$ = 選択し易いということが発生する ; $proof$ = 
fact3 -> int1: 悪いということが発生する; int1 -> int2: 悪いということが起こるか癒合することが生じるかまたは両方ともだ; int2 & fact4 -> hypothesis; __DISPROVED__
fact3 -> int1: {B}; int1 -> int2: ({B} v {C}); int2 & fact4 -> hypothesis; __DISPROVED__