漏れ易いということは起こらない
fact1: 結晶することが起きる fact2: 結晶することは漏れ易いということは起こらないということを阻む
fact1 -> int1: 結晶することが起きる; int1 & fact2 -> hypothesis;
fact1 -> int1: {A}; int1 & fact2 -> hypothesis;
$facts$ = fact1: 結晶することが起きる fact2: 結晶することは漏れ易いということは起こらないということを阻む ; $hypothesis$ = 漏れ易いということは起こらない ; $proof$ = 
fact1 -> int1: 結晶することが起きる; int1 & fact2 -> hypothesis; __DISPROVED__
fact1 -> int1: {A}; int1 & fact2 -> hypothesis; __DISPROVED__