そのみにゃみちゅLv.24は柔くない
fact1: 「そのみにゃみちゅLv.24は開発・販売する」ということは偽でない fact2: 「このもなもよLv.32は開発・販売する」ということは正しい fact3: このぴいぴにゃLv.44は柔い fact4: そのみにゃみちゅLv.24は慕わしい fact5: このもなもよLv.32が開発・販売するとするとそのみにゃみちゅLv.24は柔い fact6: 仮にこのもなもよLv.32が柔いとするとそのみにゃみちゅLv.24は開発・販売する fact7: このもなもよLv.32は柔い
fact2 -> int1: 「このもなもよLv.32は開発・販売する」ということは正しい; int1 & fact5 -> hypothesis;
fact2 -> int1: {A}{a}; int1 & fact5 -> hypothesis;
$facts$ = fact1: 「そのみにゃみちゅLv.24は開発・販売する」ということは偽でない fact2: 「このもなもよLv.32は開発・販売する」ということは正しい fact3: このぴいぴにゃLv.44は柔い fact4: そのみにゃみちゅLv.24は慕わしい fact5: このもなもよLv.32が開発・販売するとするとそのみにゃみちゅLv.24は柔い fact6: 仮にこのもなもよLv.32が柔いとするとそのみにゃみちゅLv.24は開発・販売する fact7: このもなもよLv.32は柔い ; $hypothesis$ = そのみにゃみちゅLv.24は柔くない ; $proof$ = 
fact2 -> int1: 「このもなもよLv.32は開発・販売する」ということは正しい; int1 & fact5 -> hypothesis; __DISPROVED__
fact2 -> int1: {A}{a}; int1 & fact5 -> hypothesis; __DISPROVED__