このまゆまよLv.38は公定する
fact1: 仮にあるモンスターはしゅんとしないが懐こいならそれは助長しない fact2: 「このまゆまよLv.38は著しい一方で嫌味ったらしくない」ということは誤りだとしたら「公定しない」ということは事実だ fact3: 仮にこのぷねぷねLv.32が嫌味ったらしいとすればそのみやみにょLv.33は公定する fact4: もしそのぴちゅぴちゅLv.81は助長しないならば「「このまゆまよLv.38は著しいけど嫌味ったらしいということはない」ということは間違いである」ということは本当だ fact5: そのぴちゅぴちゅLv.81はしゅんとしないけど懐こい
fact1 -> int1: そのぴちゅぴちゅLv.81がしゅんとするということはないが懐こいとするとそれは助長しない; int1 & fact5 -> int2: そのぴちゅぴちゅLv.81は助長しない; int2 & fact4 -> int3: 「このまゆまよLv.38は著しいけれど嫌味ったらしくない」ということは誤っている; int3 & fact2 -> hypothesis;
fact1 -> int1: (¬{AA}{aa} & {AB}{aa}) -> ¬{B}{aa}; int1 & fact5 -> int2: ¬{B}{aa}; int2 & fact4 -> int3: ¬({C}{a} & ¬{A}{a}); int3 & fact2 -> hypothesis;
このまゆまよLv.38は公定する
$facts$ = fact1: 仮にあるモンスターはしゅんとしないが懐こいならそれは助長しない fact2: 「このまゆまよLv.38は著しい一方で嫌味ったらしくない」ということは誤りだとしたら「公定しない」ということは事実だ fact3: 仮にこのぷねぷねLv.32が嫌味ったらしいとすればそのみやみにょLv.33は公定する fact4: もしそのぴちゅぴちゅLv.81は助長しないならば「「このまゆまよLv.38は著しいけど嫌味ったらしいということはない」ということは間違いである」ということは本当だ fact5: そのぴちゅぴちゅLv.81はしゅんとしないけど懐こい ; $hypothesis$ = このまゆまよLv.38は公定する ; $proof$ = 
fact1 -> int1: そのぴちゅぴちゅLv.81がしゅんとするということはないが懐こいとするとそれは助長しない; int1 & fact5 -> int2: そのぴちゅぴちゅLv.81は助長しない; int2 & fact4 -> int3: 「このまゆまよLv.38は著しいけれど嫌味ったらしくない」ということは誤っている; int3 & fact2 -> hypothesis; __DISPROVED__
fact1 -> int1: (¬{AA}{aa} & {AB}{aa}) -> ¬{B}{aa}; int1 & fact5 -> int2: ¬{B}{aa}; int2 & fact4 -> int3: ¬({C}{a} & ¬{A}{a}); int3 & fact2 -> hypothesis; __DISPROVED__