「「あのもちゃもちゅLv.94は木目細かい」ということは事実だとしたらそのまゆまねLv.14は馴染み難い」ということは成り立たない
fact1: もしもあのもちゃもちゅLv.94は木目細かいとすれば「あのもちゃもちゅLv.94は冷め難い」ということは本当だ
void -> assump1: 以下のように仮定する。あのもちゃもちゅLv.94は木目細かい; fact1 & assump1 -> int1: あのもちゃもちゅLv.94は冷め難い;
void -> assump1: {A}{a}; fact1 & assump1 -> int1: {B}{a};
$facts$ = fact1: もしもあのもちゃもちゅLv.94は木目細かいとすれば「あのもちゃもちゅLv.94は冷め難い」ということは本当だ ; $hypothesis$ = 「「あのもちゃもちゅLv.94は木目細かい」ということは事実だとしたらそのまゆまねLv.14は馴染み難い」ということは成り立たない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__