あのみにょみのLv.40は物凄くない
fact1: そのぽちょぽにゃLv.89は罹患し易くない fact2: もしあのみえみにゅLv.65は久しとすると「あのみにょみのLv.40は物凄い」ということは間違いでない fact3: 「そのぽちょぽにゃLv.89は罹患し易くない」ということは正しいとすればそのぴのぴわLv.1は持ち始めるしまた仮眠する fact4: もしそのぴのぴわLv.1が仮眠すればあのみえみにゅLv.65は久し
fact3 & fact1 -> int1: そのぴのぴわLv.1は持ち始めるしかつ仮眠する; int1 -> int2: そのぴのぴわLv.1は仮眠する; int2 & fact4 -> int3: あのみえみにゅLv.65は久し; int3 & fact2 -> hypothesis;
fact3 & fact1 -> int1: ({A}{a} & {B}{a}); int1 -> int2: {B}{a}; int2 & fact4 -> int3: {C}{b}; int3 & fact2 -> hypothesis;
$facts$ = fact1: そのぽちょぽにゃLv.89は罹患し易くない fact2: もしあのみえみにゅLv.65は久しとすると「あのみにょみのLv.40は物凄い」ということは間違いでない fact3: 「そのぽちょぽにゃLv.89は罹患し易くない」ということは正しいとすればそのぴのぴわLv.1は持ち始めるしまた仮眠する fact4: もしそのぴのぴわLv.1が仮眠すればあのみえみにゅLv.65は久し ; $hypothesis$ = あのみにょみのLv.40は物凄くない ; $proof$ = 
fact3 & fact1 -> int1: そのぴのぴわLv.1は持ち始めるしかつ仮眠する; int1 -> int2: そのぴのぴわLv.1は仮眠する; int2 & fact4 -> int3: あのみえみにゅLv.65は久し; int3 & fact2 -> hypothesis; __DISPROVED__
fact3 & fact1 -> int1: ({A}{a} & {B}{a}); int1 -> int2: {B}{a}; int2 & fact4 -> int3: {C}{b}; int3 & fact2 -> hypothesis; __DISPROVED__