あのまにゃまにLv.95は決済する
fact1: そのみくみにゅLv.43が震え始めるし壊れ易いならあのまにゃまにLv.95は決済しない fact2: 「そのみくみにゅLv.43は震え始める」ということは成り立つ fact3: そのみくみにゅLv.43は壊れ易い
fact2 & fact3 -> int1: そのみくみにゅLv.43は震え始めるしおまけに壊れ易い; int1 & fact1 -> hypothesis;
fact2 & fact3 -> int1: ({A}{a} & {B}{a}); int1 & fact1 -> hypothesis;
$facts$ = fact1: そのみくみにゅLv.43が震え始めるし壊れ易いならあのまにゃまにLv.95は決済しない fact2: 「そのみくみにゅLv.43は震え始める」ということは成り立つ fact3: そのみくみにゅLv.43は壊れ易い ; $hypothesis$ = あのまにゃまにLv.95は決済する ; $proof$ = 
fact2 & fact3 -> int1: そのみくみにゅLv.43は震え始めるしおまけに壊れ易い; int1 & fact1 -> hypothesis; __DISPROVED__
fact2 & fact3 -> int1: ({A}{a} & {B}{a}); int1 & fact1 -> hypothesis; __DISPROVED__