測り難いということは生じない
fact1: 甘ったるいということは根気良いということに引き起こされる fact2: 測り難いということは甘ったるいということに由来する fact3: 復讐することが起こるし加えて根気良いということが発生する
fact3 -> int1: 「根気良いということが起こる」ということは成り立つ; int1 & fact1 -> int2: 甘ったるいということが生じる; int2 & fact2 -> hypothesis;
fact3 -> int1: {B}; int1 & fact1 -> int2: {C}; int2 & fact2 -> hypothesis;
$facts$ = fact1: 甘ったるいということは根気良いということに引き起こされる fact2: 測り難いということは甘ったるいということに由来する fact3: 復讐することが起こるし加えて根気良いということが発生する ; $hypothesis$ = 測り難いということは生じない ; $proof$ = 
fact3 -> int1: 「根気良いということが起こる」ということは成り立つ; int1 & fact1 -> int2: 甘ったるいということが生じる; int2 & fact2 -> hypothesis; __DISPROVED__
fact3 -> int1: {B}; int1 & fact1 -> int2: {C}; int2 & fact2 -> hypothesis; __DISPROVED__