このぷにょぷくLv.1は掃除し易いし結び付き難い
fact1: 仮になんらかのモンスターがさ迷うとすればそれは避け難い fact2: 「あのまくまなLv.92はさ迷う」ということは真実である fact3: あのまくまなLv.92が避け難いならこのぷにょぷくLv.1は掃除し易い fact4: 仮になにがしかのモンスターはさ迷わないとすれば「掃除し易くてまたそれは結び付き難い」ということは誤りである
fact1 -> int1: もしあのまくまなLv.92がさ迷えば避け難い; int1 & fact2 -> int2: あのまくまなLv.92は避け難い; int2 & fact3 -> int3: このぷにょぷくLv.1は掃除し易い;
fact1 -> int1: {A}{a} -> {B}{a}; int1 & fact2 -> int2: {B}{a}; int2 & fact3 -> int3: {C}{b};
「「このぷにょぷくLv.1は掃除し易いしその上結び付き難い」ということは事実である」ということは事実と異なる
fact5 -> int4: もしもこのぷにょぷくLv.1はさ迷わないならば「それは掃除し易くてさらに結び付き難い」ということは成り立たない;
$facts$ = fact1: 仮になんらかのモンスターがさ迷うとすればそれは避け難い fact2: 「あのまくまなLv.92はさ迷う」ということは真実である fact3: あのまくまなLv.92が避け難いならこのぷにょぷくLv.1は掃除し易い fact4: 仮になにがしかのモンスターはさ迷わないとすれば「掃除し易くてまたそれは結び付き難い」ということは誤りである ; $hypothesis$ = このぷにょぷくLv.1は掃除し易いし結び付き難い ; $proof$ = 
__UNKNOWN__
__UNKNOWN__