そのまゆまにゅLv.41は直交する
fact1: もし仮にあのみちゃみえLv.47が夥しいならばそれは味わい深くないけど直交する fact2: そのまゆまにゅLv.41は有り難し fact3: もし仮にそのまゆまにゅLv.41がふてぶてしいとするとそのまゆまにゅLv.41は直交する fact4: 腐り易くないモンスターはふてぶてしくて有り難し fact5: もしも何らかのモンスターは仕事らしいかまたは直交するかもしくは両方であるとしたらそれは腐り易くない fact6: もし仮にそのまゆまにゅLv.41が有り難しかもしくは腐り易いということはないならそのまゆまにゅLv.41はふてぶてしい fact7: 仮にそのまゆまにゅLv.41が欲しいかまたは腐り易くないかあるいはどちらもだとするとそのまゆまにゅLv.41は知り合う
fact2 -> int1: そのまゆまにゅLv.41は有り難しかもしくは腐り易くないかまたは両方だ; int1 & fact6 -> int2: そのまゆまにゅLv.41はふてぶてしい; int2 & fact3 -> hypothesis;
fact2 -> int1: ({A}{a} v ¬{B}{a}); int1 & fact6 -> int2: {C}{a}; int2 & fact3 -> hypothesis;
あのみちゃみえLv.47はふてぶてしい
fact8 -> int3: もし仮にあのみちゃみえLv.47が腐り易いということはないとするとふてぶてしくておまけに有り難し; fact10 -> int4: 仮にあのみちゃみえLv.47が仕事らしいかあるいはそれは直交するとすれば「腐り易くない」ということは本当である;
$facts$ = fact1: もし仮にあのみちゃみえLv.47が夥しいならばそれは味わい深くないけど直交する fact2: そのまゆまにゅLv.41は有り難し fact3: もし仮にそのまゆまにゅLv.41がふてぶてしいとするとそのまゆまにゅLv.41は直交する fact4: 腐り易くないモンスターはふてぶてしくて有り難し fact5: もしも何らかのモンスターは仕事らしいかまたは直交するかもしくは両方であるとしたらそれは腐り易くない fact6: もし仮にそのまゆまにゅLv.41が有り難しかもしくは腐り易いということはないならそのまゆまにゅLv.41はふてぶてしい fact7: 仮にそのまゆまにゅLv.41が欲しいかまたは腐り易くないかあるいはどちらもだとするとそのまゆまにゅLv.41は知り合う ; $hypothesis$ = そのまゆまにゅLv.41は直交する ; $proof$ = 
fact2 -> int1: そのまゆまにゅLv.41は有り難しかもしくは腐り易くないかまたは両方だ; int1 & fact6 -> int2: そのまゆまにゅLv.41はふてぶてしい; int2 & fact3 -> hypothesis; __PROVED__
fact2 -> int1: ({A}{a} v ¬{B}{a}); int1 & fact6 -> int2: {C}{a}; int2 & fact3 -> hypothesis; __PROVED__