「あのもなもくLv.16は掻き集めるかまたは娘らしいかどちらもである」ということは真実だ
fact1: もしもなにがしかのモンスターが腐心するとしたらあのもなもくLv.16は掻き集めるかあるいは娘らしいかまたは両方だ fact2: 「「腐心する」ということは真実である」モンスターはいる fact3: 仮にあるモンスターが腐心するとするとそれは生臭い fact4: あのもなもくLv.16は掻き集めないしそれにそれは結線しない
fact2 -> int1: 「「腐心する」ということは真実である」モンスターはいる; int1 & fact1 -> hypothesis;
fact2 -> int1: (Ex): {A}x; int1 & fact1 -> hypothesis;
何らかのモンスターは生臭い
fact6 -> int2: もしもあのもなもくLv.16が腐心するならあのもなもくLv.16は生臭い; fact5 -> int3: あのもなもくLv.16は掻き集めない;
$facts$ = fact1: もしもなにがしかのモンスターが腐心するとしたらあのもなもくLv.16は掻き集めるかあるいは娘らしいかまたは両方だ fact2: 「「腐心する」ということは真実である」モンスターはいる fact3: 仮にあるモンスターが腐心するとするとそれは生臭い fact4: あのもなもくLv.16は掻き集めないしそれにそれは結線しない ; $hypothesis$ = 「あのもなもくLv.16は掻き集めるかまたは娘らしいかどちらもである」ということは真実だ ; $proof$ = 
fact2 -> int1: 「「腐心する」ということは真実である」モンスターはいる; int1 & fact1 -> hypothesis; __PROVED__
fact2 -> int1: (Ex): {A}x; int1 & fact1 -> hypothesis; __PROVED__