「このまくまやLv.14は忍耐強くない」ということは確かである
fact1: もし仮にあのもにょもえLv.69が止む無しならそれは吸収され難い fact2: もしもこのまくまやLv.14が練磨するならこのまくまやLv.14は忍耐強い fact3: あのもにょもえLv.69は止む無し fact4: 「吸収され難いし資本注入する」モンスターがいるとしたらこのまくまやLv.14は練磨する fact5: あのもにょもえLv.69は資本注入する
fact1 & fact3 -> int1: 「あのもにょもえLv.69は吸収され難い」ということは正しい; int1 & fact5 -> int2: あのもにょもえLv.69が吸収され難いしその上資本注入する; int2 -> int3: 吸収され難いモンスターでありかつ資本注入するモンスターはいる; int3 & fact4 -> int4: このまくまやLv.14は練磨する; int4 & fact2 -> hypothesis;
fact1 & fact3 -> int1: {B}{a}; int1 & fact5 -> int2: ({B}{a} & {C}{a}); int2 -> int3: (Ex): ({B}x & {C}x); int3 & fact4 -> int4: {D}{b}; int4 & fact2 -> hypothesis;
$facts$ = fact1: もし仮にあのもにょもえLv.69が止む無しならそれは吸収され難い fact2: もしもこのまくまやLv.14が練磨するならこのまくまやLv.14は忍耐強い fact3: あのもにょもえLv.69は止む無し fact4: 「吸収され難いし資本注入する」モンスターがいるとしたらこのまくまやLv.14は練磨する fact5: あのもにょもえLv.69は資本注入する ; $hypothesis$ = 「このまくまやLv.14は忍耐強くない」ということは確かである ; $proof$ = 
fact1 & fact3 -> int1: 「あのもにょもえLv.69は吸収され難い」ということは正しい; int1 & fact5 -> int2: あのもにょもえLv.69が吸収され難いしその上資本注入する; int2 -> int3: 吸収され難いモンスターでありかつ資本注入するモンスターはいる; int3 & fact4 -> int4: このまくまやLv.14は練磨する; int4 & fact2 -> hypothesis; __DISPROVED__
fact1 & fact3 -> int1: {B}{a}; int1 & fact5 -> int2: ({B}{a} & {C}{a}); int2 -> int3: (Ex): ({B}x & {C}x); int3 & fact4 -> int4: {D}{b}; int4 & fact2 -> hypothesis; __DISPROVED__