あのぷくぷのLv.7は塗布するしかつ態とらしい
fact1: 「そのぴやぴちょLv.64はど偉い」ということは成り立てばこのみにょみにゅLv.87は生き易い fact2: あのぷくぷのLv.7は態とらしい fact3: もしも「このみにょみにゅLv.87はがくがくする」ということは事実と異ならないとしたらあのぷくぷのLv.7は塗布する fact4: そのぴやぴちょLv.64は生き易いかまたはど偉い fact5: もしもこのみにょみにゅLv.87が生き易いとしたらこのみにょみにゅLv.87はがくがくする fact6: 仮に「そのぴやぴちょLv.64は生き易い」ということは正しいならこのみにょみにゅLv.87は生き易い
fact1 & fact4 & fact6 -> int1: このみにょみにゅLv.87は生き易い; fact5 & int1 -> int2: このみにょみにゅLv.87はがくがくする; int2 & fact3 -> int3: あのぷくぷのLv.7は塗布する; int3 & fact2 -> hypothesis;
fact1 & fact4 & fact6 -> int1: {A}{a}; fact5 & int1 -> int2: {B}{a}; int2 & fact3 -> int3: {C}{b}; int3 & fact2 -> hypothesis;
$facts$ = fact1: 「そのぴやぴちょLv.64はど偉い」ということは成り立てばこのみにょみにゅLv.87は生き易い fact2: あのぷくぷのLv.7は態とらしい fact3: もしも「このみにょみにゅLv.87はがくがくする」ということは事実と異ならないとしたらあのぷくぷのLv.7は塗布する fact4: そのぴやぴちょLv.64は生き易いかまたはど偉い fact5: もしもこのみにょみにゅLv.87が生き易いとしたらこのみにょみにゅLv.87はがくがくする fact6: 仮に「そのぴやぴちょLv.64は生き易い」ということは正しいならこのみにょみにゅLv.87は生き易い ; $hypothesis$ = あのぷくぷのLv.7は塗布するしかつ態とらしい ; $proof$ = 
fact1 & fact4 & fact6 -> int1: このみにょみにゅLv.87は生き易い; fact5 & int1 -> int2: このみにょみにゅLv.87はがくがくする; int2 & fact3 -> int3: あのぷくぷのLv.7は塗布する; int3 & fact2 -> hypothesis; __PROVED__
fact1 & fact4 & fact6 -> int1: {A}{a}; fact5 & int1 -> int2: {B}{a}; int2 & fact3 -> int3: {C}{b}; int3 & fact2 -> hypothesis; __PROVED__