あのぴよぴちゅLv.16はとろ臭くない
fact1: もしもこのみねみわLv.71が例うということはないならあのぴよぴちゅLv.16は廃らない fact2: 「このもにゃもにょLv.95は操作し易い」ということは成り立つ fact3: このみねみわLv.71は操作し易いしさらに廃る fact4: もし仮にこのぴにゃぴいLv.74が歯痒くないとするとこのぴにゃぴいLv.74は信仰深くないし惑うということはない fact5: このみねみわLv.71が例うとすればあのぴよぴちゅLv.16はとろ臭くない fact6: 仮にこのみねみわLv.71が例うかもしくは操作し易いとするとあのぴよぴちゅLv.16はとろ臭いということはない fact7: 仮にとあるモンスターが廃らないとすればそれはとろ臭くてかつそれは操作し易い
fact3 -> int1: このみねみわLv.71は操作し易い; int1 -> int2: このみねみわLv.71は例うかもしくは操作し易いか両方である; int2 & fact6 -> hypothesis;
fact3 -> int1: {A}{a}; int1 -> int2: ({C}{a} v {A}{a}); int2 & fact6 -> hypothesis;
「あのぴよぴちゅLv.16はとろ臭い」ということは間違っていない
fact10 -> int3: あのぴよぴちゅLv.16が廃らないとすればとろ臭いし更に操作し易い;
$facts$ = fact1: もしもこのみねみわLv.71が例うということはないならあのぴよぴちゅLv.16は廃らない fact2: 「このもにゃもにょLv.95は操作し易い」ということは成り立つ fact3: このみねみわLv.71は操作し易いしさらに廃る fact4: もし仮にこのぴにゃぴいLv.74が歯痒くないとするとこのぴにゃぴいLv.74は信仰深くないし惑うということはない fact5: このみねみわLv.71が例うとすればあのぴよぴちゅLv.16はとろ臭くない fact6: 仮にこのみねみわLv.71が例うかもしくは操作し易いとするとあのぴよぴちゅLv.16はとろ臭いということはない fact7: 仮にとあるモンスターが廃らないとすればそれはとろ臭くてかつそれは操作し易い ; $hypothesis$ = あのぴよぴちゅLv.16はとろ臭くない ; $proof$ = 
fact3 -> int1: このみねみわLv.71は操作し易い; int1 -> int2: このみねみわLv.71は例うかもしくは操作し易いか両方である; int2 & fact6 -> hypothesis; __PROVED__
fact3 -> int1: {A}{a}; int1 -> int2: ({C}{a} v {A}{a}); int2 & fact6 -> hypothesis; __PROVED__