このぽゆぽねLv.45は関わり始めない
fact1: 仮にいじましいモンスターが言い訳がましいならばそれは転がり始めない fact2: このぽゆぽねLv.45は抜き難くてそれは重ね合わす fact3: もし仮に抜き難いモンスターが重ね合わすとするとそれは関わり始めない fact4: 住み易いし素っ気ないモンスターは可愛らしくない
fact3 -> int1: このぽゆぽねLv.45が抜き難くて重ね合わせばそれは関わり始めない; int1 & fact2 -> hypothesis;
fact3 -> int1: ({AA}{aa} & {AB}{aa}) -> ¬{B}{aa}; int1 & fact2 -> hypothesis;
$facts$ = fact1: 仮にいじましいモンスターが言い訳がましいならばそれは転がり始めない fact2: このぽゆぽねLv.45は抜き難くてそれは重ね合わす fact3: もし仮に抜き難いモンスターが重ね合わすとするとそれは関わり始めない fact4: 住み易いし素っ気ないモンスターは可愛らしくない ; $hypothesis$ = このぽゆぽねLv.45は関わり始めない ; $proof$ = 
fact3 -> int1: このぽゆぽねLv.45が抜き難くて重ね合わせばそれは関わり始めない; int1 & fact2 -> hypothesis; __PROVED__
fact3 -> int1: ({AA}{aa} & {AB}{aa}) -> ¬{B}{aa}; int1 & fact2 -> hypothesis; __PROVED__