そのもいものLv.2は抗い難くない
fact1: 仮にそのもいものLv.2が因り難いとすると抗い難い fact2: あのみよみちょLv.65は抗い難くない fact3: そのもいものLv.2は焦れったい fact4: そのまなまにょLv.40は抗い難い fact5: そのもいものLv.2は焦れったいし因り難い
fact5 -> int1: そのもいものLv.2は因り難い; int1 & fact1 -> hypothesis;
fact5 -> int1: {B}{a}; int1 & fact1 -> hypothesis;
あのみよみちょLv.65は行われ易くて疲れ難い
$facts$ = fact1: 仮にそのもいものLv.2が因り難いとすると抗い難い fact2: あのみよみちょLv.65は抗い難くない fact3: そのもいものLv.2は焦れったい fact4: そのまなまにょLv.40は抗い難い fact5: そのもいものLv.2は焦れったいし因り難い ; $hypothesis$ = そのもいものLv.2は抗い難くない ; $proof$ = 
fact5 -> int1: そのもいものLv.2は因り難い; int1 & fact1 -> hypothesis; __DISPROVED__
fact5 -> int1: {B}{a}; int1 & fact1 -> hypothesis; __DISPROVED__