このもなもにゃLv.15は届き難くない
fact1: このぴいぴねLv.87は納得し易いし継続し難い fact2: このぴいぴねLv.87は木目細かい fact3: 仮に継続し難いモンスターが木目細かいとするとこのもなもにゃLv.15は届き難いということはない fact4: もしもこのもなもにゃLv.15が木目細かくないとしたら届き難いしその上継続し難い
fact1 -> int1: このぴいぴねLv.87は継続し難い; int1 & fact2 -> int2: このぴいぴねLv.87が継続し難いしその上それは木目細かい; int2 -> int3: 継続し難いし木目細かいモンスターはいる; int3 & fact3 -> hypothesis;
fact1 -> int1: {A}{a}; int1 & fact2 -> int2: ({A}{a} & {B}{a}); int2 -> int3: (Ex): ({A}x & {B}x); int3 & fact3 -> hypothesis;
「このもなもにゃLv.15は届き難い」ということは本当だ
$facts$ = fact1: このぴいぴねLv.87は納得し易いし継続し難い fact2: このぴいぴねLv.87は木目細かい fact3: 仮に継続し難いモンスターが木目細かいとするとこのもなもにゃLv.15は届き難いということはない fact4: もしもこのもなもにゃLv.15が木目細かくないとしたら届き難いしその上継続し難い ; $hypothesis$ = このもなもにゃLv.15は届き難くない ; $proof$ = 
fact1 -> int1: このぴいぴねLv.87は継続し難い; int1 & fact2 -> int2: このぴいぴねLv.87が継続し難いしその上それは木目細かい; int2 -> int3: 継続し難いし木目細かいモンスターはいる; int3 & fact3 -> hypothesis; __PROVED__
fact1 -> int1: {A}{a}; int1 & fact2 -> int2: ({A}{a} & {B}{a}); int2 -> int3: (Ex): ({A}x & {B}x); int3 & fact3 -> hypothesis; __PROVED__