そのみわみやLv.32は遣る瀬無くない
fact1: もしもこのまくまにゃLv.60が宿るとしたらそのみわみやLv.32は遣る瀬無い fact2: あのぷのぷねLv.29が図太いとしたらこのまくまにゃLv.60は宿る fact3: もしこのまくまにゃLv.60がクリック出来ればあのぷのぷねLv.29はクリック出来る fact4: もし仮になんらかのモンスターがクリック出来るとすればそれは宿る fact5: あのぷのぷねLv.29は図太い fact6: もし仮にあのぷのぷねLv.29が宿るとしたらそのみわみやLv.32は遣る瀬無くなくてそれに図太くない
fact2 & fact5 -> int1: このまくまにゃLv.60は宿る; int1 & fact1 -> hypothesis;
fact2 & fact5 -> int1: {B}{b}; int1 & fact1 -> hypothesis;
そのみわみやLv.32は遣る瀬無くない
fact7 -> int2: 仮にあのぷのぷねLv.29がクリック出来るとするとあのぷのぷねLv.29は宿る;
$facts$ = fact1: もしもこのまくまにゃLv.60が宿るとしたらそのみわみやLv.32は遣る瀬無い fact2: あのぷのぷねLv.29が図太いとしたらこのまくまにゃLv.60は宿る fact3: もしこのまくまにゃLv.60がクリック出来ればあのぷのぷねLv.29はクリック出来る fact4: もし仮になんらかのモンスターがクリック出来るとすればそれは宿る fact5: あのぷのぷねLv.29は図太い fact6: もし仮にあのぷのぷねLv.29が宿るとしたらそのみわみやLv.32は遣る瀬無くなくてそれに図太くない ; $hypothesis$ = そのみわみやLv.32は遣る瀬無くない ; $proof$ = 
fact2 & fact5 -> int1: このまくまにゃLv.60は宿る; int1 & fact1 -> hypothesis; __DISPROVED__
fact2 & fact5 -> int1: {B}{b}; int1 & fact1 -> hypothesis; __DISPROVED__