「このぽゆぽちょLv.49は取っ付き難いということはない」ということは成り立つ
fact1: そのぽちょぽにゅLv.81は洗浄・濃縮する fact2: もし仮に「そのぽちょぽにゅLv.81は見難いしかつ取っ付き難い」ということは成り立たないとするとこのぽゆぽちょLv.49は取っ付き難くない fact3: 「感じ難いかもしくは見難いかあるいは両方な」モンスターがいるならこのぽゆぽちょLv.49は取っ付き難い fact4: 悲しないモンスターは感じ難くない fact5: もし仮に「見難い」モンスターがいるならこのぽゆぽちょLv.49は取っ付き難い fact6: もしも何らかのモンスターは感じ難くないとすれば「それは見難いしおまけに取っ付き難い」ということは間違っている fact7: そのぽちょぽにゅLv.81は感じ難い
fact7 -> int1: そのぽちょぽにゅLv.81は感じ難いか見難い; int1 -> int2: 「感じ難いかあるいは見難い」モンスターはいる; int2 & fact3 -> hypothesis;
fact7 -> int1: ({A}{a} v {B}{a}); int1 -> int2: (Ex): ({A}x v {B}x); int2 & fact3 -> hypothesis;
「このぽゆぽちょLv.49は取っ付き難いということはない」ということは成り立つ
fact10 -> int3: もしそのぽちょぽにゅLv.81は感じ難くないなら「そのぽちょぽにゅLv.81は見難いし取っ付き難い」ということは嘘である; fact8 -> int4: そのぽちょぽにゅLv.81が悲しないならばそのぽちょぽにゅLv.81は感じ難くない;
$facts$ = fact1: そのぽちょぽにゅLv.81は洗浄・濃縮する fact2: もし仮に「そのぽちょぽにゅLv.81は見難いしかつ取っ付き難い」ということは成り立たないとするとこのぽゆぽちょLv.49は取っ付き難くない fact3: 「感じ難いかもしくは見難いかあるいは両方な」モンスターがいるならこのぽゆぽちょLv.49は取っ付き難い fact4: 悲しないモンスターは感じ難くない fact5: もし仮に「見難い」モンスターがいるならこのぽゆぽちょLv.49は取っ付き難い fact6: もしも何らかのモンスターは感じ難くないとすれば「それは見難いしおまけに取っ付き難い」ということは間違っている fact7: そのぽちょぽにゅLv.81は感じ難い ; $hypothesis$ = 「このぽゆぽちょLv.49は取っ付き難いということはない」ということは成り立つ ; $proof$ = 
fact7 -> int1: そのぽちょぽにゅLv.81は感じ難いか見難い; int1 -> int2: 「感じ難いかあるいは見難い」モンスターはいる; int2 & fact3 -> hypothesis; __DISPROVED__
fact7 -> int1: ({A}{a} v {B}{a}); int1 -> int2: (Ex): ({A}x v {B}x); int2 & fact3 -> hypothesis; __DISPROVED__