そのぽよぽにゅLv.19は操作し易いかまたは乳臭い
fact1: そのぽよぽにゅLv.19は乳臭い fact2: このぷえぷちゃLv.37は良しかもしくはそれは操作し易い fact3: すべてのモンスターは忍び難くない fact4: 仮に何らかのモンスターは遠しないとすれば「操作し易いかあるいは乳臭いかどちらもである」ということは間違いである fact5: もし仮にそのぽよぽにゅLv.19が遠しないとするとあのもいもちゅLv.5は操作し易くて加えて乳臭い fact6: もし何らかのモンスターは忍び難くないとすれば「惨たらしいし加えて及び難い」ということは事実と異なる
fact1 -> int1: そのぽよぽにゅLv.19は乳臭い; int1 -> hypothesis;
fact1 -> int1: {A}{a}; int1 -> hypothesis;
あのもいもちゅLv.5は操作し易い
$facts$ = fact1: そのぽよぽにゅLv.19は乳臭い fact2: このぷえぷちゃLv.37は良しかもしくはそれは操作し易い fact3: すべてのモンスターは忍び難くない fact4: 仮に何らかのモンスターは遠しないとすれば「操作し易いかあるいは乳臭いかどちらもである」ということは間違いである fact5: もし仮にそのぽよぽにゅLv.19が遠しないとするとあのもいもちゅLv.5は操作し易くて加えて乳臭い fact6: もし何らかのモンスターは忍び難くないとすれば「惨たらしいし加えて及び難い」ということは事実と異なる ; $hypothesis$ = そのぽよぽにゅLv.19は操作し易いかまたは乳臭い ; $proof$ = 
fact1 -> int1: そのぽよぽにゅLv.19は乳臭い; int1 -> hypothesis; __PROVED__
fact1 -> int1: {A}{a}; int1 -> hypothesis; __PROVED__