そのまなまゆLv.90は押し始めない
fact1: そのまなまゆLv.90が集め易いとするとそのまなまゆLv.90は押し始める fact2: そのまなまゆLv.90は集め易い fact3: もしもあのぽのぽちゅLv.94が集め易いなら押し始める
fact2 -> int1: そのまなまゆLv.90は集め易い; int1 & fact1 -> hypothesis;
fact2 -> int1: {A}{a}; int1 & fact1 -> hypothesis;
あのぽのぽちゅLv.94は押し始める
$facts$ = fact1: そのまなまゆLv.90が集め易いとするとそのまなまゆLv.90は押し始める fact2: そのまなまゆLv.90は集め易い fact3: もしもあのぽのぽちゅLv.94が集め易いなら押し始める ; $hypothesis$ = そのまなまゆLv.90は押し始めない ; $proof$ = 
fact2 -> int1: そのまなまゆLv.90は集め易い; int1 & fact1 -> hypothesis; __DISPROVED__
fact2 -> int1: {A}{a}; int1 & fact1 -> hypothesis; __DISPROVED__