使い易いということは生じない
fact1: 使い易いということは這い寄ることが起こるということに起因する fact2: 這い寄ることが発生する fact3: もしも言いそびれることは生じないとすれば這い寄ることかまたはとろ臭いということが起きる
fact2 -> int1: 這い寄ることが発生する; int1 & fact1 -> hypothesis;
fact2 -> int1: {A}; int1 & fact1 -> hypothesis;
使い易いということは生じない
$facts$ = fact1: 使い易いということは這い寄ることが起こるということに起因する fact2: 這い寄ることが発生する fact3: もしも言いそびれることは生じないとすれば這い寄ることかまたはとろ臭いということが起きる ; $hypothesis$ = 使い易いということは生じない ; $proof$ = 
fact2 -> int1: 這い寄ることが発生する; int1 & fact1 -> hypothesis; __DISPROVED__
fact2 -> int1: {A}; int1 & fact1 -> hypothesis; __DISPROVED__