「あのぷのぷよLv.37は厚くて強し」ということは間違いである
fact1: もしあのまよまちゅLv.26が見付け難くない一方でそれが持ち易いならあのぷのぷよLv.37は厚い fact2: あのまよまちゅLv.26は見付け難くないけどそれは持ち易い fact3: あのぷのぷよLv.37は強し
fact1 & fact2 -> int1: あのぷのぷよLv.37は厚い; int1 & fact3 -> hypothesis;
fact1 & fact2 -> int1: {B}{b}; int1 & fact3 -> hypothesis;
$facts$ = fact1: もしあのまよまちゅLv.26が見付け難くない一方でそれが持ち易いならあのぷのぷよLv.37は厚い fact2: あのまよまちゅLv.26は見付け難くないけどそれは持ち易い fact3: あのぷのぷよLv.37は強し ; $hypothesis$ = 「あのぷのぷよLv.37は厚くて強し」ということは間違いである ; $proof$ = 
fact1 & fact2 -> int1: あのぷのぷよLv.37は厚い; int1 & fact3 -> hypothesis; __DISPROVED__
fact1 & fact2 -> int1: {B}{b}; int1 & fact3 -> hypothesis; __DISPROVED__