「そのまねまなLv.42は消化吸収され易いかそれは成り難いということはないかあるいはどちらもだ」ということは偽だ
fact1: そのまねまなLv.42は消化吸収され易いしかつ得られ難い fact2: そのぷえぷちょLv.22は規則正しくないとすれば「そのまねまなLv.42は合一するしそれはせがむ」ということは正しい fact3: そのまねまなLv.42は卑しし得られ難い fact4: もしもなんらかのモンスターが合一するなら得られ難い fact5: あのぴねぴいLv.22は抱き起こすかあるいはあざとくない
fact1 -> int1: そのまねまなLv.42は消化吸収され易い; int1 -> hypothesis;
fact1 -> int1: {A}{a}; int1 -> hypothesis;
「そのまねまなLv.42は消化吸収され易いかそれは成り難いということはないかあるいはどちらもだ」ということは偽だ
fact7 -> int2: 仮にそのまねまなLv.42が合一するとしたらそれは得られ難い;
$facts$ = fact1: そのまねまなLv.42は消化吸収され易いしかつ得られ難い fact2: そのぷえぷちょLv.22は規則正しくないとすれば「そのまねまなLv.42は合一するしそれはせがむ」ということは正しい fact3: そのまねまなLv.42は卑しし得られ難い fact4: もしもなんらかのモンスターが合一するなら得られ難い fact5: あのぴねぴいLv.22は抱き起こすかあるいはあざとくない ; $hypothesis$ = 「そのまねまなLv.42は消化吸収され易いかそれは成り難いということはないかあるいはどちらもだ」ということは偽だ ; $proof$ = 
fact1 -> int1: そのまねまなLv.42は消化吸収され易い; int1 -> hypothesis; __DISPROVED__
fact1 -> int1: {A}{a}; int1 -> hypothesis; __DISPROVED__