「住み難いということは起こらないけれど忘れ易いということが発生する」ということは間違いだ
fact1: 住み難いということは生じない fact2: 救助することは忘れ易いということは発生しないということを阻止する fact3: ぎこちないということが発生するかあるいは救助することは発生するかもしくは両方ともである fact4: 「忘れ易いということは生じない」ということはぎこちないということに防がれる
fact3 & fact4 & fact2 -> int1: 忘れ易いということが起こる; int1 & fact1 -> hypothesis;
fact3 & fact4 & fact2 -> int1: {C}; int1 & fact1 -> hypothesis;
$facts$ = fact1: 住み難いということは生じない fact2: 救助することは忘れ易いということは発生しないということを阻止する fact3: ぎこちないということが発生するかあるいは救助することは発生するかもしくは両方ともである fact4: 「忘れ易いということは生じない」ということはぎこちないということに防がれる ; $hypothesis$ = 「住み難いということは起こらないけれど忘れ易いということが発生する」ということは間違いだ ; $proof$ = 
fact3 & fact4 & fact2 -> int1: 忘れ易いということが起こる; int1 & fact1 -> hypothesis; __DISPROVED__
fact3 & fact4 & fact2 -> int1: {C}; int1 & fact1 -> hypothesis; __DISPROVED__