恋愛することが起きる
fact1: 恋愛することは「迷い易いということおよび表現し難いということ両方が発生する」ということに阻まれる fact2: 迷い易いということが起きるし言い易いということが発生する fact3: 言い易いということが発生する fact4: 「透かし見ることおよび表現し難いということが起きる」ということは「言い易いということが起きる」ということを阻む fact5: 表現し難いということが起こる fact6: 仮に言い易いということは起こらないなら恋愛することと迷い易いということどちらもが生じる
fact2 -> int1: 迷い易いということが生じる; int1 & fact5 -> int2: 迷い易いということおよび表現し難いということが生じる; int2 & fact1 -> hypothesis;
fact2 -> int1: {A}; int1 & fact5 -> int2: ({A} & {C}); int2 & fact1 -> hypothesis;
恋愛することが起きる
$facts$ = fact1: 恋愛することは「迷い易いということおよび表現し難いということ両方が発生する」ということに阻まれる fact2: 迷い易いということが起きるし言い易いということが発生する fact3: 言い易いということが発生する fact4: 「透かし見ることおよび表現し難いということが起きる」ということは「言い易いということが起きる」ということを阻む fact5: 表現し難いということが起こる fact6: 仮に言い易いということは起こらないなら恋愛することと迷い易いということどちらもが生じる ; $hypothesis$ = 恋愛することが起きる ; $proof$ = 
fact2 -> int1: 迷い易いということが生じる; int1 & fact5 -> int2: 迷い易いということおよび表現し難いということが生じる; int2 & fact1 -> hypothesis; __DISPROVED__
fact2 -> int1: {A}; int1 & fact5 -> int2: ({A} & {C}); int2 & fact1 -> hypothesis; __DISPROVED__