このもよものLv.33は教育する
fact1: 「行き難いかまたはしどけないかまたは両方ともな」モンスターはいる fact2: このまやまにゃLv.79は教育する fact3: このぷねぷちゅLv.51が行き難いならあのぴくぴよLv.50は下ろし易い fact4: もし仮になにがしかのモンスターが浮遊するかあるいはそれがしどけないかもしくは両方ともであるならばこのもよものLv.33は教育しない fact5: 「仮に「「しどけない」ということは確かな」モンスターはいれば「このもよものLv.33は教育しない」ということは本当である」ということは成り立つ fact6: 仮にあのぴくぴよLv.50は下ろし易いとすると「このまやまにゃLv.79は浮遊する」ということは間違いでない fact7: このぷねぷちゅLv.51は行き難い fact8: もし仮に「下ろし易いかあるいは行き難いか両方である」モンスターがいればあのぴくぴよLv.50は教育しない
fact3 & fact7 -> int1: あのぴくぴよLv.50は下ろし易い; int1 & fact6 -> int2: このまやまにゃLv.79は浮遊する; int2 -> int3: このまやまにゃLv.79は浮遊するかあるいはしどけない; int3 -> int4: 「浮遊するかまたはしどけないかもしくはどちらもである」モンスターはいる; int4 & fact4 -> hypothesis;
fact3 & fact7 -> int1: {B}{b}; int1 & fact6 -> int2: {C}{c}; int2 -> int3: ({C}{c} v {D}{c}); int3 -> int4: (Ex): ({C}x v {D}x); int4 & fact4 -> hypothesis;
$facts$ = fact1: 「行き難いかまたはしどけないかまたは両方ともな」モンスターはいる fact2: このまやまにゃLv.79は教育する fact3: このぷねぷちゅLv.51が行き難いならあのぴくぴよLv.50は下ろし易い fact4: もし仮になにがしかのモンスターが浮遊するかあるいはそれがしどけないかもしくは両方ともであるならばこのもよものLv.33は教育しない fact5: 「仮に「「しどけない」ということは確かな」モンスターはいれば「このもよものLv.33は教育しない」ということは本当である」ということは成り立つ fact6: 仮にあのぴくぴよLv.50は下ろし易いとすると「このまやまにゃLv.79は浮遊する」ということは間違いでない fact7: このぷねぷちゅLv.51は行き難い fact8: もし仮に「下ろし易いかあるいは行き難いか両方である」モンスターがいればあのぴくぴよLv.50は教育しない ; $hypothesis$ = このもよものLv.33は教育する ; $proof$ = 
fact3 & fact7 -> int1: あのぴくぴよLv.50は下ろし易い; int1 & fact6 -> int2: このまやまにゃLv.79は浮遊する; int2 -> int3: このまやまにゃLv.79は浮遊するかあるいはしどけない; int3 -> int4: 「浮遊するかまたはしどけないかもしくはどちらもである」モンスターはいる; int4 & fact4 -> hypothesis; __DISPROVED__
fact3 & fact7 -> int1: {B}{b}; int1 & fact6 -> int2: {C}{c}; int2 -> int3: ({C}{c} v {D}{c}); int3 -> int4: (Ex): ({C}x v {D}x); int4 & fact4 -> hypothesis; __DISPROVED__