援助出来ることは起こらない
fact1: 召還することが援助出来ることは起きないということを阻止する fact2: 物憂いということが発生する fact3: 他愛無いということは発生しないということは物憂いということに阻まれる fact4: 他愛無いということは「召還することは起こらない」ということを回避する
fact3 & fact2 -> int1: 他愛無いということが起こる; int1 & fact4 -> int2: 召還することが起きる; int2 & fact1 -> hypothesis;
fact3 & fact2 -> int1: {B}; int1 & fact4 -> int2: {C}; int2 & fact1 -> hypothesis;
$facts$ = fact1: 召還することが援助出来ることは起きないということを阻止する fact2: 物憂いということが発生する fact3: 他愛無いということは発生しないということは物憂いということに阻まれる fact4: 他愛無いということは「召還することは起こらない」ということを回避する ; $hypothesis$ = 援助出来ることは起こらない ; $proof$ = 
fact3 & fact2 -> int1: 他愛無いということが起こる; int1 & fact4 -> int2: 召還することが起きる; int2 & fact1 -> hypothesis; __DISPROVED__
fact3 & fact2 -> int1: {B}; int1 & fact4 -> int2: {C}; int2 & fact1 -> hypothesis; __DISPROVED__