そのみやみゆLv.42は縁遠くない
fact1: もしあのみいみくLv.83が得易いとするとそのみやみゆLv.42は縁遠い fact2: 仮にあのみいみくLv.83が縁遠いならばそのみやみゆLv.42は折り畳める fact3: あのみいみくLv.83は忍耐強いしそれに折り畳める fact4: あのみいみくLv.83が忍耐強いならばあのみいみくLv.83は得易い
fact3 -> int1: あのみいみくLv.83は忍耐強い; int1 & fact4 -> int2: 「あのみいみくLv.83は得易い」ということは真実である; int2 & fact1 -> hypothesis;
fact3 -> int1: {A}{a}; int1 & fact4 -> int2: {C}{a}; int2 & fact1 -> hypothesis;
$facts$ = fact1: もしあのみいみくLv.83が得易いとするとそのみやみゆLv.42は縁遠い fact2: 仮にあのみいみくLv.83が縁遠いならばそのみやみゆLv.42は折り畳める fact3: あのみいみくLv.83は忍耐強いしそれに折り畳める fact4: あのみいみくLv.83が忍耐強いならばあのみいみくLv.83は得易い ; $hypothesis$ = そのみやみゆLv.42は縁遠くない ; $proof$ = 
fact3 -> int1: あのみいみくLv.83は忍耐強い; int1 & fact4 -> int2: 「あのみいみくLv.83は得易い」ということは真実である; int2 & fact1 -> hypothesis; __DISPROVED__
fact3 -> int1: {A}{a}; int1 & fact4 -> int2: {C}{a}; int2 & fact1 -> hypothesis; __DISPROVED__