もどかしいということは発生しない
fact1: 着易いということが起こるしかつぷくぷなLv.63事件が生じる fact2: しつこいということおよび結了すること両方が起きる fact3: もどかしいということは起きないということはしつこいということに阻まれる
fact2 -> int1: しつこいということが生じる; int1 & fact3 -> hypothesis;
fact2 -> int1: {A}; int1 & fact3 -> hypothesis;
$facts$ = fact1: 着易いということが起こるしかつぷくぷなLv.63事件が生じる fact2: しつこいということおよび結了すること両方が起きる fact3: もどかしいということは起きないということはしつこいということに阻まれる ; $hypothesis$ = もどかしいということは発生しない ; $proof$ = 
fact2 -> int1: しつこいということが生じる; int1 & fact3 -> hypothesis; __DISPROVED__
fact2 -> int1: {A}; int1 & fact3 -> hypothesis; __DISPROVED__