眠たいということが発生する
fact1: 「信頼出来ることが発生するしその上切り離し難いということが起こる」ということは瑞々しいということを回避する fact2: もし仮にはち切れることが発生するかまたは耽溺することが発生しないなら耽溺することは起きない fact3: 緩いということが起きる fact4: 出会い易いということが起こるしかつ耽溺することが起こる fact5: 程無いということが起こる fact6: もし仮に耽溺することおよび程無いということどちらもが起こるとしたら眠たいということは起きない fact7: 耽溺することが起きないとすると眠たいということおよび出会い易いということ両方は発生する
fact4 -> int1: 耽溺することが生じる; int1 & fact5 -> int2: 耽溺することが発生するし程無いということが起きる; int2 & fact6 -> hypothesis;
fact4 -> int1: {B}; int1 & fact5 -> int2: ({B} & {C}); int2 & fact6 -> hypothesis;
眠たいということが発生する
$facts$ = fact1: 「信頼出来ることが発生するしその上切り離し難いということが起こる」ということは瑞々しいということを回避する fact2: もし仮にはち切れることが発生するかまたは耽溺することが発生しないなら耽溺することは起きない fact3: 緩いということが起きる fact4: 出会い易いということが起こるしかつ耽溺することが起こる fact5: 程無いということが起こる fact6: もし仮に耽溺することおよび程無いということどちらもが起こるとしたら眠たいということは起きない fact7: 耽溺することが起きないとすると眠たいということおよび出会い易いということ両方は発生する ; $hypothesis$ = 眠たいということが発生する ; $proof$ = 
fact4 -> int1: 耽溺することが生じる; int1 & fact5 -> int2: 耽溺することが発生するし程無いということが起きる; int2 & fact6 -> hypothesis; __DISPROVED__
fact4 -> int1: {B}; int1 & fact5 -> int2: ({B} & {C}); int2 & fact6 -> hypothesis; __DISPROVED__