あのぽちゃぽくLv.1は白々しいということはない
fact1: 仮にこのぽくぽにょLv.16が出費するし幼しとしたらあのみにゅみちゅLv.74は心細くない fact2: 「あのもにゅもにLv.81は恨めしくないけどそれは観察する」ということは誤りである fact3: あのぽちゃぽくLv.1は心細い fact4: あのぽちゃぽくLv.1は許し難いしそれは心細い fact5: もし仮にあのぽちゃぽくLv.1が出費するしその上許し難いならあのぽちゃぽくLv.1は白々しくない fact6: 「あのぽちゃぽくLv.1は出費する」ということは確かだ fact7: 心細いということはないモンスターは白々しいかまたは許し難いかまたはどちらもである
fact4 -> int1: あのぽちゃぽくLv.1は許し難い; int1 & fact6 -> int2: あのぽちゃぽくLv.1は出費するしまた許し難い; int2 & fact5 -> hypothesis;
fact4 -> int1: {A}{a}; int1 & fact6 -> int2: ({C}{a} & {A}{a}); int2 & fact5 -> hypothesis;
あのぽちゃぽくLv.1は白々しい
fact8 -> int3: 「あのみにゅみちゅLv.74が心細いということはないとするとあのみにゅみちゅLv.74は白々しいかあるいは許し難い」ということは事実だ; fact10 -> int4: 「「恨めしいということはないが観察する」ということは成り立たない」モンスターはいる;
$facts$ = fact1: 仮にこのぽくぽにょLv.16が出費するし幼しとしたらあのみにゅみちゅLv.74は心細くない fact2: 「あのもにゅもにLv.81は恨めしくないけどそれは観察する」ということは誤りである fact3: あのぽちゃぽくLv.1は心細い fact4: あのぽちゃぽくLv.1は許し難いしそれは心細い fact5: もし仮にあのぽちゃぽくLv.1が出費するしその上許し難いならあのぽちゃぽくLv.1は白々しくない fact6: 「あのぽちゃぽくLv.1は出費する」ということは確かだ fact7: 心細いということはないモンスターは白々しいかまたは許し難いかまたはどちらもである ; $hypothesis$ = あのぽちゃぽくLv.1は白々しいということはない ; $proof$ = 
fact4 -> int1: あのぽちゃぽくLv.1は許し難い; int1 & fact6 -> int2: あのぽちゃぽくLv.1は出費するしまた許し難い; int2 & fact5 -> hypothesis; __PROVED__
fact4 -> int1: {A}{a}; int1 & fact6 -> int2: ({C}{a} & {A}{a}); int2 & fact5 -> hypothesis; __PROVED__