「このみいみにゅLv.92は伝わり難い」ということは偽である
fact1: もしもこのみいみにゅLv.92が生み難いとしたらこのみいみにゅLv.92は伝わり難い fact2: そのもえもにょLv.79が気持ち良くないとするとそのもえもにょLv.79が拗ねるしその上それは苦し fact3: このみいみにゅLv.92は不味くない一方で翻る fact4: このみいみにゅLv.92は不味くない fact5: もし仮に何らかのモンスターは拗ねれば「それは天使らしい」ということは成り立つ fact6: 不味くないモンスターで更に翻るモンスターは生み難い fact7: もし仮に「そのぽにょぽちゅLv.51は翻らないがしかし捧呈する」ということは成り立つならそのぽにょぽちゅLv.51は小さい fact8: そのもえもにょLv.79は気持ち良くない
fact6 -> int1: もし仮にこのみいみにゅLv.92が不味くないけど翻るとしたらそれは生み難い; int1 & fact3 -> int2: このみいみにゅLv.92は生み難い; int2 & fact1 -> hypothesis;
fact6 -> int1: (¬{AA}{aa} & {AB}{aa}) -> {B}{aa}; int1 & fact3 -> int2: {B}{aa}; int2 & fact1 -> hypothesis;
「このみいみにゅLv.92は伝わり難い」ということは偽である
fact10 -> int3: 仮にそのもえもにょLv.79が拗ねるとしたら天使らしい; fact9 & fact11 -> int4: そのもえもにょLv.79は拗ねるしさらにそれは苦し; int4 -> int5: そのもえもにょLv.79は拗ねる; int3 & int5 -> int6: そのもえもにょLv.79は天使らしい;
$facts$ = fact1: もしもこのみいみにゅLv.92が生み難いとしたらこのみいみにゅLv.92は伝わり難い fact2: そのもえもにょLv.79が気持ち良くないとするとそのもえもにょLv.79が拗ねるしその上それは苦し fact3: このみいみにゅLv.92は不味くない一方で翻る fact4: このみいみにゅLv.92は不味くない fact5: もし仮に何らかのモンスターは拗ねれば「それは天使らしい」ということは成り立つ fact6: 不味くないモンスターで更に翻るモンスターは生み難い fact7: もし仮に「そのぽにょぽちゅLv.51は翻らないがしかし捧呈する」ということは成り立つならそのぽにょぽちゅLv.51は小さい fact8: そのもえもにょLv.79は気持ち良くない ; $hypothesis$ = 「このみいみにゅLv.92は伝わり難い」ということは偽である ; $proof$ = 
fact6 -> int1: もし仮にこのみいみにゅLv.92が不味くないけど翻るとしたらそれは生み難い; int1 & fact3 -> int2: このみいみにゅLv.92は生み難い; int2 & fact1 -> hypothesis; __DISPROVED__
fact6 -> int1: (¬{AA}{aa} & {AB}{aa}) -> {B}{aa}; int1 & fact3 -> int2: {B}{aa}; int2 & fact1 -> hypothesis; __DISPROVED__