このもよもねLv.44は活動し難い
fact1: このもよもねLv.44がだらし無いかもしくは対応し易いならこのもよもねLv.44は活動し難いということはない fact2: もし仮にこのもよもねLv.44が勇ましいとすればかわゆくない fact3: このもよもねLv.44は馬鹿らしいとすれば「このもにゅもえLv.11は雪深くなくてしかも近寄り難くない」ということは誤りである fact4: もし「なんらかのモンスターは雪深いということはないし更に近寄り難くない」ということは成り立たないとするとそれは活動し難くない fact5: もし仮にこのまなまくLv.97が活動し難いとしたらこのもよもねLv.44は活動し難い fact6: もし仮にだらし無くないモンスターは対応し易くないならそれはし辛くない fact7: このもよもねLv.44はし辛くてさらにだらし無い
fact7 -> int1: このもよもねLv.44はだらし無い; int1 -> int2: このもよもねLv.44はだらし無いかまたは対応し易いかまたはどちらもだ; int2 & fact1 -> hypothesis;
fact7 -> int1: {B}{a}; int1 -> int2: ({B}{a} v {C}{a}); int2 & fact1 -> hypothesis;
「このもにゅもえLv.11はし辛くない」ということは成り立つ
fact9 -> int3: もしこのもにゅもえLv.11はだらし無くなくて加えて対応し易くないならそれはし辛くない; fact10 -> int4: もしも「このもにゅもえLv.11は雪深いということはないし更にそれは近寄り難いということはない」ということは嘘なら活動し難くない;
$facts$ = fact1: このもよもねLv.44がだらし無いかもしくは対応し易いならこのもよもねLv.44は活動し難いということはない fact2: もし仮にこのもよもねLv.44が勇ましいとすればかわゆくない fact3: このもよもねLv.44は馬鹿らしいとすれば「このもにゅもえLv.11は雪深くなくてしかも近寄り難くない」ということは誤りである fact4: もし「なんらかのモンスターは雪深いということはないし更に近寄り難くない」ということは成り立たないとするとそれは活動し難くない fact5: もし仮にこのまなまくLv.97が活動し難いとしたらこのもよもねLv.44は活動し難い fact6: もし仮にだらし無くないモンスターは対応し易くないならそれはし辛くない fact7: このもよもねLv.44はし辛くてさらにだらし無い ; $hypothesis$ = このもよもねLv.44は活動し難い ; $proof$ = 
fact7 -> int1: このもよもねLv.44はだらし無い; int1 -> int2: このもよもねLv.44はだらし無いかまたは対応し易いかまたはどちらもだ; int2 & fact1 -> hypothesis; __DISPROVED__
fact7 -> int1: {B}{a}; int1 -> int2: ({B}{a} v {C}{a}); int2 & fact1 -> hypothesis; __DISPROVED__