そのぴなぴよLv.26は譲り受けない
fact1: もしも「そのぴなぴよLv.26は上昇し易くないが御連絡下さる」ということは成り立たないとするとそのぴなぴよLv.26は起こり難い fact2: もしもそのぴなぴよLv.26が御連絡下さらないとしたらそのぴなぴよLv.26は起こり難い fact3: すべてのモンスターはしどけなくない fact4: 「そのぴなぴよLv.26は上昇し易いということはないが御連絡下さる」ということは成り立たない fact5: もしもそのもにゅもえLv.66は御預かるなら「譲り受ける」ということは誤りでない fact6: もし「そのぴなぴよLv.26は起こり難い」ということは事実ならそのぴなぴよLv.26は譲り受ける fact7: そのぴなぴよLv.26はしょぼい fact8: しどけなくないモンスターはどでかいということはない
fact1 & fact4 -> int1: そのぴなぴよLv.26は起こり難い; int1 & fact6 -> hypothesis;
fact1 & fact4 -> int1: {B}{a}; int1 & fact6 -> hypothesis;
そのぴなぴよLv.26は譲り受けない
fact10 -> int2: そのまいまくLv.46がしどけなくないとすればどでかくない; fact9 -> int3: そのまいまくLv.46はしどけなくない; int2 & int3 -> int4: そのまいまくLv.46はどでかくない; int4 -> int5: 「どでかくない」モンスターはいる;
$facts$ = fact1: もしも「そのぴなぴよLv.26は上昇し易くないが御連絡下さる」ということは成り立たないとするとそのぴなぴよLv.26は起こり難い fact2: もしもそのぴなぴよLv.26が御連絡下さらないとしたらそのぴなぴよLv.26は起こり難い fact3: すべてのモンスターはしどけなくない fact4: 「そのぴなぴよLv.26は上昇し易いということはないが御連絡下さる」ということは成り立たない fact5: もしもそのもにゅもえLv.66は御預かるなら「譲り受ける」ということは誤りでない fact6: もし「そのぴなぴよLv.26は起こり難い」ということは事実ならそのぴなぴよLv.26は譲り受ける fact7: そのぴなぴよLv.26はしょぼい fact8: しどけなくないモンスターはどでかいということはない ; $hypothesis$ = そのぴなぴよLv.26は譲り受けない ; $proof$ = 
fact1 & fact4 -> int1: そのぴなぴよLv.26は起こり難い; int1 & fact6 -> hypothesis; __DISPROVED__
fact1 & fact4 -> int1: {B}{a}; int1 & fact6 -> hypothesis; __DISPROVED__