「このみのみねLv.47は暗記するししかも掴み易い」ということは成り立たない
fact1: このみのみねLv.47は撲滅するしさらに付け難い fact2: このぽくぽちゅLv.38は手厚いししかも掴み易い fact3: 仮にこのみのみねLv.47が撲滅するとしたら暗記する fact4: このみのみねLv.47は掴み易い
fact1 -> int1: このみのみねLv.47は撲滅する; int1 & fact3 -> int2: このみのみねLv.47は暗記する; int2 & fact4 -> hypothesis;
fact1 -> int1: {A}{a}; int1 & fact3 -> int2: {C}{a}; int2 & fact4 -> hypothesis;
$facts$ = fact1: このみのみねLv.47は撲滅するしさらに付け難い fact2: このぽくぽちゅLv.38は手厚いししかも掴み易い fact3: 仮にこのみのみねLv.47が撲滅するとしたら暗記する fact4: このみのみねLv.47は掴み易い ; $hypothesis$ = 「このみのみねLv.47は暗記するししかも掴み易い」ということは成り立たない ; $proof$ = 
fact1 -> int1: このみのみねLv.47は撲滅する; int1 & fact3 -> int2: このみのみねLv.47は暗記する; int2 & fact4 -> hypothesis; __DISPROVED__
fact1 -> int1: {A}{a}; int1 & fact3 -> int2: {C}{a}; int2 & fact4 -> hypothesis; __DISPROVED__