このみにみのLv.94は余儀無くない
fact1: もしとあるモンスターが送出するならスポーツマンらしい fact2: もし仮にそのぽのぽゆLv.35がスポーツマンらしくないならばこのみにみのLv.94は広がり易いししかも世知辛い fact3: もしもスポーツマンらしくないモンスターが送出するとすれば余儀無くない fact4: 仮に「このみにみのLv.94は広がり易い」ということは真実であるとすればそれは余儀無い fact5: そのぽのぽゆLv.35はスポーツマンらしくない
fact2 & fact5 -> int1: このみにみのLv.94は広がり易いし世知辛い; int1 -> int2: このみにみのLv.94は広がり易い; int2 & fact4 -> hypothesis;
fact2 & fact5 -> int1: ({AA}{b} & {AB}{b}); int1 -> int2: {AA}{b}; int2 & fact4 -> hypothesis;
このみにみのLv.94は余儀無くない
fact6 -> int3: もしこのみにみのLv.94がスポーツマンらしいということはないがしかしそれが送出するとしたらこのみにみのLv.94は余儀無いということはない;
$facts$ = fact1: もしとあるモンスターが送出するならスポーツマンらしい fact2: もし仮にそのぽのぽゆLv.35がスポーツマンらしくないならばこのみにみのLv.94は広がり易いししかも世知辛い fact3: もしもスポーツマンらしくないモンスターが送出するとすれば余儀無くない fact4: 仮に「このみにみのLv.94は広がり易い」ということは真実であるとすればそれは余儀無い fact5: そのぽのぽゆLv.35はスポーツマンらしくない ; $hypothesis$ = このみにみのLv.94は余儀無くない ; $proof$ = 
fact2 & fact5 -> int1: このみにみのLv.94は広がり易いし世知辛い; int1 -> int2: このみにみのLv.94は広がり易い; int2 & fact4 -> hypothesis; __DISPROVED__
fact2 & fact5 -> int1: ({AA}{b} & {AB}{b}); int1 -> int2: {AA}{b}; int2 & fact4 -> hypothesis; __DISPROVED__