増強することは発生しない
fact1: 手早いということは生産することは起こらないということを阻止する fact2: 気付き難いということが生じる fact3: 書き上がることが生じる fact4: 生産することは「増強することは生じない」ということを回避する fact5: 手早いということが起きる
fact1 & fact5 -> int1: 生産することが起こる; int1 & fact4 -> hypothesis;
fact1 & fact5 -> int1: {B}; int1 & fact4 -> hypothesis;
$facts$ = fact1: 手早いということは生産することは起こらないということを阻止する fact2: 気付き難いということが生じる fact3: 書き上がることが生じる fact4: 生産することは「増強することは生じない」ということを回避する fact5: 手早いということが起きる ; $hypothesis$ = 増強することは発生しない ; $proof$ = 
fact1 & fact5 -> int1: 生産することが起こる; int1 & fact4 -> hypothesis; __DISPROVED__
fact1 & fact5 -> int1: {B}; int1 & fact4 -> hypothesis; __DISPROVED__