そのぴえぴのLv.84は狭過ぎる
fact1: あのぴねぴわLv.49は成功し易い fact2: すべてのモンスターは真新しい fact3: そのぴえぴのLv.84が成功し易いとしたらあのまえまくLv.26は狭過ぎる fact4: あらゆるモンスターは狭過ぎる fact5: もし「そのぴえぴのLv.84は成功し易い」ということは成り立つとしたら狭過ぎない
fact4 -> int1: あらゆるモンスターは狭過ぎる; int1 -> hypothesis;
fact4 -> int1: (x): {A}x; int1 -> hypothesis;
あのまえまくLv.26は狭過ぎる
$facts$ = fact1: あのぴねぴわLv.49は成功し易い fact2: すべてのモンスターは真新しい fact3: そのぴえぴのLv.84が成功し易いとしたらあのまえまくLv.26は狭過ぎる fact4: あらゆるモンスターは狭過ぎる fact5: もし「そのぴえぴのLv.84は成功し易い」ということは成り立つとしたら狭過ぎない ; $hypothesis$ = そのぴえぴのLv.84は狭過ぎる ; $proof$ = 
fact4 -> int1: あらゆるモンスターは狭過ぎる; int1 -> hypothesis; __PROVED__
fact4 -> int1: (x): {A}x; int1 -> hypothesis; __PROVED__