そのぷくぷにLv.85は扱い難いししかも頒布する
fact1: そのぷくぷにLv.85は頒布する fact2: 「そのぷくぷにLv.85は優しない」ということは成り立つとすればこのまわまちゅLv.98が扱い難いしその上それは頒布する fact3: あのぴにょぴにゅLv.94は頒布する fact4: そのぷくぷにLv.85は細長くて加えて成立し難い fact5: そのぷくぷにLv.85は扱い難い
fact5 -> int1: そのぷくぷにLv.85は扱い難い; int1 & fact1 -> hypothesis;
fact5 -> int1: {A}{a}; int1 & fact1 -> hypothesis;
このまわまちゅLv.98は頒布する
$facts$ = fact1: そのぷくぷにLv.85は頒布する fact2: 「そのぷくぷにLv.85は優しない」ということは成り立つとすればこのまわまちゅLv.98が扱い難いしその上それは頒布する fact3: あのぴにょぴにゅLv.94は頒布する fact4: そのぷくぷにLv.85は細長くて加えて成立し難い fact5: そのぷくぷにLv.85は扱い難い ; $hypothesis$ = そのぷくぷにLv.85は扱い難いししかも頒布する ; $proof$ = 
fact5 -> int1: そのぷくぷにLv.85は扱い難い; int1 & fact1 -> hypothesis; __PROVED__
fact5 -> int1: {A}{a}; int1 & fact1 -> hypothesis; __PROVED__