ひょろ長いということが発生する
fact1: 有り触れることは起こらない fact2: ひょろ長いということは発生しないということは上皮化することと蔵することが起こるにもたらされる fact3: 輝かしいということが生じる fact4: ぴわぴなLv.74事件が生じる fact5: 上皮化することが発生するし抗し難いということが起こる fact6: 蔵することが発生する
fact5 -> int1: 上皮化することが生じる; int1 & fact6 -> int2: 上皮化することと蔵することが起こる; int2 & fact2 -> hypothesis;
fact5 -> int1: {A}; int1 & fact6 -> int2: ({A} & {C}); int2 & fact2 -> hypothesis;
$facts$ = fact1: 有り触れることは起こらない fact2: ひょろ長いということは発生しないということは上皮化することと蔵することが起こるにもたらされる fact3: 輝かしいということが生じる fact4: ぴわぴなLv.74事件が生じる fact5: 上皮化することが発生するし抗し難いということが起こる fact6: 蔵することが発生する ; $hypothesis$ = ひょろ長いということが発生する ; $proof$ = 
fact5 -> int1: 上皮化することが生じる; int1 & fact6 -> int2: 上皮化することと蔵することが起こる; int2 & fact2 -> hypothesis; __DISPROVED__
fact5 -> int1: {A}; int1 & fact6 -> int2: ({A} & {C}); int2 & fact2 -> hypothesis; __DISPROVED__