「そのまねまえLv.87は掻き易い」ということは間違いでない
fact1: 「あのぷちゃぷよLv.56は行き難い」ということは成り立つ fact2: もしそのまねまえLv.87が人懐っこいならばそのまねまえLv.87は掻き易い fact3: 「もし仮にあのまゆまにゅLv.62が否定し難いならばそのまねまえLv.87は人懐っこい」ということは真実だ fact4: もし仮にあのぷちゃぷよLv.56が行き難いとすればあのまゆまにゅLv.62は否定し難い fact5: 人懐っこくないモンスターは否定し難くてそれに行き難い
fact4 & fact1 -> int1: あのまゆまにゅLv.62は否定し難い; int1 & fact3 -> int2: そのまねまえLv.87は人懐っこい; int2 & fact2 -> hypothesis;
fact4 & fact1 -> int1: {B}{b}; int1 & fact3 -> int2: {C}{c}; int2 & fact2 -> hypothesis;
「あのぷちゃぷよLv.56は否定し難い」ということは成り立つ
fact6 -> int3: もしもあのまゆまにゅLv.62が人懐っこくないとするとあのまゆまにゅLv.62は否定し難くておまけにそれは行き難い;
$facts$ = fact1: 「あのぷちゃぷよLv.56は行き難い」ということは成り立つ fact2: もしそのまねまえLv.87が人懐っこいならばそのまねまえLv.87は掻き易い fact3: 「もし仮にあのまゆまにゅLv.62が否定し難いならばそのまねまえLv.87は人懐っこい」ということは真実だ fact4: もし仮にあのぷちゃぷよLv.56が行き難いとすればあのまゆまにゅLv.62は否定し難い fact5: 人懐っこくないモンスターは否定し難くてそれに行き難い ; $hypothesis$ = 「そのまねまえLv.87は掻き易い」ということは間違いでない ; $proof$ = 
fact4 & fact1 -> int1: あのまゆまにゅLv.62は否定し難い; int1 & fact3 -> int2: そのまねまえLv.87は人懐っこい; int2 & fact2 -> hypothesis; __PROVED__
fact4 & fact1 -> int1: {B}{b}; int1 & fact3 -> int2: {C}{c}; int2 & fact2 -> hypothesis; __PROVED__