このぴにょぴえLv.38は抜け易い
fact1: このぴにょぴえLv.38は進歩しないかもしくはそれはしぶといかあるいは両方ともだ fact2: もし仮にこのぴにょぴえLv.38が辛気臭いとするとこのぴにょぴえLv.38は抜け易い fact3: 仮にこのぴにょぴえLv.38が進歩しないなら辛気臭い fact4: あるモンスターは進歩しないかあるいはしぶといかあるいはどちらもであるとすると「それは辛気臭い」ということは成り立つ
fact4 -> int1: 仮にこのぴにょぴえLv.38が進歩しないかもしくはしぶといかどちらもだとすればこのぴにょぴえLv.38は辛気臭い; int1 & fact1 -> int2: このぴにょぴえLv.38は辛気臭い; int2 & fact2 -> hypothesis;
fact4 -> int1: (¬{AA}{aa} v {AB}{aa}) -> {B}{aa}; int1 & fact1 -> int2: {B}{aa}; int2 & fact2 -> hypothesis;
$facts$ = fact1: このぴにょぴえLv.38は進歩しないかもしくはそれはしぶといかあるいは両方ともだ fact2: もし仮にこのぴにょぴえLv.38が辛気臭いとするとこのぴにょぴえLv.38は抜け易い fact3: 仮にこのぴにょぴえLv.38が進歩しないなら辛気臭い fact4: あるモンスターは進歩しないかあるいはしぶといかあるいはどちらもであるとすると「それは辛気臭い」ということは成り立つ ; $hypothesis$ = このぴにょぴえLv.38は抜け易い ; $proof$ = 
fact4 -> int1: 仮にこのぴにょぴえLv.38が進歩しないかもしくはしぶといかどちらもだとすればこのぴにょぴえLv.38は辛気臭い; int1 & fact1 -> int2: このぴにょぴえLv.38は辛気臭い; int2 & fact2 -> hypothesis; __PROVED__
fact4 -> int1: (¬{AA}{aa} v {AB}{aa}) -> {B}{aa}; int1 & fact1 -> int2: {B}{aa}; int2 & fact2 -> hypothesis; __PROVED__