何らかのモンスターは態とらしくて合い難い
fact1: 「このみゆみにょLv.60は態とらしい」ということは成り立つ fact2: 「乾煎りするしおまけに起こし難い」モンスターがいるとすればこのみゆみにょLv.60は合い難い fact3: 「「植わる」ということは事実な」モンスターはいる fact4: もしも「あるモンスターは起こし難い」ということは真実であるとしたらそれは偉い fact5: このもいもゆLv.34は乾煎りする fact6: なにがしかのモンスターは乾煎りする fact7: このもいもゆLv.34は起こし難い fact8: このもいもゆLv.34は御引き取り下さるしそれにそれは益金・損金算入する fact9: なにがしかのモンスターは誤り無い
fact5 & fact7 -> int1: このもいもゆLv.34は乾煎りするしかつ起こし難い; int1 -> int2: なにがしかのモンスターは乾煎りするしかつ起こし難い; int2 & fact2 -> int3: このみゆみにょLv.60は合い難い; int3 & fact1 -> int4: このみゆみにょLv.60は態とらしいし加えてそれは合い難い; int4 -> hypothesis;
fact5 & fact7 -> int1: ({A}{a} & {B}{a}); int1 -> int2: (Ex): ({A}x & {B}x); int2 & fact2 -> int3: {C}{b}; int3 & fact1 -> int4: ({D}{b} & {C}{b}); int4 -> hypothesis;
とあるモンスターは青臭くて偉い
fact10 -> int5: 仮にこのみゆみにょLv.60が起こし難いとしたらこのみゆみにょLv.60は偉い;
$facts$ = fact1: 「このみゆみにょLv.60は態とらしい」ということは成り立つ fact2: 「乾煎りするしおまけに起こし難い」モンスターがいるとすればこのみゆみにょLv.60は合い難い fact3: 「「植わる」ということは事実な」モンスターはいる fact4: もしも「あるモンスターは起こし難い」ということは真実であるとしたらそれは偉い fact5: このもいもゆLv.34は乾煎りする fact6: なにがしかのモンスターは乾煎りする fact7: このもいもゆLv.34は起こし難い fact8: このもいもゆLv.34は御引き取り下さるしそれにそれは益金・損金算入する fact9: なにがしかのモンスターは誤り無い ; $hypothesis$ = 何らかのモンスターは態とらしくて合い難い ; $proof$ = 
fact5 & fact7 -> int1: このもいもゆLv.34は乾煎りするしかつ起こし難い; int1 -> int2: なにがしかのモンスターは乾煎りするしかつ起こし難い; int2 & fact2 -> int3: このみゆみにょLv.60は合い難い; int3 & fact1 -> int4: このみゆみにょLv.60は態とらしいし加えてそれは合い難い; int4 -> hypothesis; __PROVED__
fact5 & fact7 -> int1: ({A}{a} & {B}{a}); int1 -> int2: (Ex): ({A}x & {B}x); int2 & fact2 -> int3: {C}{b}; int3 & fact1 -> int4: ({D}{b} & {C}{b}); int4 -> hypothesis; __PROVED__