「もしもちぎれ易いとすれば気持ち良い」モンスターはいる
fact1: そのもくもちゃLv.17はばあかしい fact2: 「なにがしかのモンスターが閉じるならちぎれ易い」ということは真実だ fact3: もしもそのみちゅみのLv.60がばあかしいならそれは気持ち良い fact4: そのもちょもにょLv.11はばあかしい
もしもあのぷゆぷにゅLv.32が閉じるとするとあのぷゆぷにゅLv.32はちぎれ易い
fact5 -> hypothesis;
$facts$ = fact1: そのもくもちゃLv.17はばあかしい fact2: 「なにがしかのモンスターが閉じるならちぎれ易い」ということは真実だ fact3: もしもそのみちゅみのLv.60がばあかしいならそれは気持ち良い fact4: そのもちょもにょLv.11はばあかしい ; $hypothesis$ = 「もしもちぎれ易いとすれば気持ち良い」モンスターはいる ; $proof$ = 
__UNKNOWN__
__UNKNOWN__