あのもゆもにゅLv.27は手洗いしないがしかし覚え難い
fact1: 仮にこのみねみやLv.44は厭わしいということはないとしたら「「「あのもゆもにゅLv.27は手洗いしない一方で覚え難い」ということは誤っているということはない」ということは嘘である」ということは真実だ fact2: そのまにゅまにょLv.98が誘発し易いとしたらこのみにょみくLv.24は期待し難い fact3: あのもやもゆLv.25は小賢しいしおまけに狭い fact4: 仮にとあるモンスターがパトロールするとするとそれは手洗いしない一方で覚え難い fact5: もしもこのみにょみくLv.24が期待し難いかまたはそれが根気強いかもしくは両方ならばこのみねみやLv.44は厭わしくない fact6: そのまにゅまにょLv.98は期待し難くてさらに根気強い fact7: 仮にこのみにょみくLv.24は誘発し易いなら「そのまにゅまにょLv.98は根気強い」ということは偽でない fact8: そのまにゅまにょLv.98はパトロールするしさらにそれは誘発し易い fact9: あのもゆもにゅLv.27は覚え難いしそれにそれは期待し難い
fact8 -> int1: そのまにゅまにょLv.98は誘発し易い; int1 & fact2 -> int2: このみにょみくLv.24は期待し難い; int2 -> int3: このみにょみくLv.24は期待し難いかあるいは根気強いかもしくは両方だ; int3 & fact5 -> int4: このみねみやLv.44は厭わしくない; int4 & fact1 -> hypothesis;
fact8 -> int1: {B}{a}; int1 & fact2 -> int2: {C}{b}; int2 -> int3: ({C}{b} v {D}{b}); int3 & fact5 -> int4: ¬{E}{c}; int4 & fact1 -> hypothesis;
あのもゆもにゅLv.27は手洗いしないがしかし覚え難い
fact11 -> int5: もしもあのもゆもにゅLv.27がパトロールするとすればあのもゆもにゅLv.27は手洗いしない一方でそれは覚え難い; fact10 -> int6: そのまにゅまにょLv.98は期待し難い;
$facts$ = fact1: 仮にこのみねみやLv.44は厭わしいということはないとしたら「「「あのもゆもにゅLv.27は手洗いしない一方で覚え難い」ということは誤っているということはない」ということは嘘である」ということは真実だ fact2: そのまにゅまにょLv.98が誘発し易いとしたらこのみにょみくLv.24は期待し難い fact3: あのもやもゆLv.25は小賢しいしおまけに狭い fact4: 仮にとあるモンスターがパトロールするとするとそれは手洗いしない一方で覚え難い fact5: もしもこのみにょみくLv.24が期待し難いかまたはそれが根気強いかもしくは両方ならばこのみねみやLv.44は厭わしくない fact6: そのまにゅまにょLv.98は期待し難くてさらに根気強い fact7: 仮にこのみにょみくLv.24は誘発し易いなら「そのまにゅまにょLv.98は根気強い」ということは偽でない fact8: そのまにゅまにょLv.98はパトロールするしさらにそれは誘発し易い fact9: あのもゆもにゅLv.27は覚え難いしそれにそれは期待し難い ; $hypothesis$ = あのもゆもにゅLv.27は手洗いしないがしかし覚え難い ; $proof$ = 
fact8 -> int1: そのまにゅまにょLv.98は誘発し易い; int1 & fact2 -> int2: このみにょみくLv.24は期待し難い; int2 -> int3: このみにょみくLv.24は期待し難いかあるいは根気強いかもしくは両方だ; int3 & fact5 -> int4: このみねみやLv.44は厭わしくない; int4 & fact1 -> hypothesis; __DISPROVED__
fact8 -> int1: {B}{a}; int1 & fact2 -> int2: {C}{b}; int2 -> int3: ({C}{b} v {D}{b}); int3 & fact5 -> int4: ¬{E}{c}; int4 & fact1 -> hypothesis; __DISPROVED__