あのもちゃもちゅLv.29は容易いし加えて重たい
fact1: あのもちゃもちゅLv.29は重たいし加えてそれは禍々しい fact2: あのもちゃもちゅLv.29は容易い
fact1 -> int1: あのもちゃもちゅLv.29は重たい; int1 & fact2 -> hypothesis;
fact1 -> int1: {A}{a}; int1 & fact2 -> hypothesis;
$facts$ = fact1: あのもちゃもちゅLv.29は重たいし加えてそれは禍々しい fact2: あのもちゃもちゅLv.29は容易い ; $hypothesis$ = あのもちゃもちゅLv.29は容易いし加えて重たい ; $proof$ = 
fact1 -> int1: あのもちゃもちゅLv.29は重たい; int1 & fact2 -> hypothesis; __PROVED__
fact1 -> int1: {A}{a}; int1 & fact2 -> hypothesis; __PROVED__