このぴわぴにょLv.94は通り難くない
fact1: このぴわぴにょLv.94は易しい fact2: 滞り易くないモンスターは易しいしその上起こし易い fact3: そのぴちょぴにLv.39は易しい fact4: そのものもくLv.63が滞り易いならこのぴわぴにょLv.94は起こし易い fact5: もし仮に「そのぴちょぴにLv.39は易しい」ということは本当だとすればそのものもくLv.63は滞り易い fact6: もし「そのものもくLv.63は易しい」ということは本当であるとするとそのぴちょぴにLv.39は滞り易い fact7: このぴわぴにょLv.94が合わせ易いならこのぴわぴにょLv.94は通り難い fact8: 仮にこのぴわぴにょLv.94が起こし易いとすればそれは合わせ易い fact9: このぴにょぴわLv.21は通り難い
fact5 & fact3 -> int1: そのものもくLv.63は滞り易い; int1 & fact4 -> int2: このぴわぴにょLv.94は起こし易い; int2 & fact8 -> int3: このぴわぴにょLv.94は合わせ易い; int3 & fact7 -> hypothesis;
fact5 & fact3 -> int1: {B}{b}; int1 & fact4 -> int2: {C}{c}; int2 & fact8 -> int3: {D}{c}; int3 & fact7 -> hypothesis;
そのみなみねLv.60は起こし易い
fact10 -> int4: 仮にそのみなみねLv.60が滞り易くないならそのみなみねLv.60は易しいしまたそれは起こし易い;
$facts$ = fact1: このぴわぴにょLv.94は易しい fact2: 滞り易くないモンスターは易しいしその上起こし易い fact3: そのぴちょぴにLv.39は易しい fact4: そのものもくLv.63が滞り易いならこのぴわぴにょLv.94は起こし易い fact5: もし仮に「そのぴちょぴにLv.39は易しい」ということは本当だとすればそのものもくLv.63は滞り易い fact6: もし「そのものもくLv.63は易しい」ということは本当であるとするとそのぴちょぴにLv.39は滞り易い fact7: このぴわぴにょLv.94が合わせ易いならこのぴわぴにょLv.94は通り難い fact8: 仮にこのぴわぴにょLv.94が起こし易いとすればそれは合わせ易い fact9: このぴにょぴわLv.21は通り難い ; $hypothesis$ = このぴわぴにょLv.94は通り難くない ; $proof$ = 
fact5 & fact3 -> int1: そのものもくLv.63は滞り易い; int1 & fact4 -> int2: このぴわぴにょLv.94は起こし易い; int2 & fact8 -> int3: このぴわぴにょLv.94は合わせ易い; int3 & fact7 -> hypothesis; __DISPROVED__
fact5 & fact3 -> int1: {B}{b}; int1 & fact4 -> int2: {C}{c}; int2 & fact8 -> int3: {D}{c}; int3 & fact7 -> hypothesis; __DISPROVED__