そのまのまにゅLv.54は失礼致す
fact1: 仮にそのみのみくLv.93が失礼致すならそのまのまにゅLv.54は失礼致す fact2: そのみのみくLv.93が受け難いとするとそれは入れ難い fact3: あるモンスターが失礼致せばそれは芝居する fact4: そのぽのぽちゅLv.80が痛み易くておまけに着易いならそのまのまにゅLv.54は失礼致すということはない fact5: そのみのみくLv.93は失礼致すかあるいは着易いかもしくはどちらもである fact6: もし「そのみのみくLv.93はいみじ」ということは成り立つとすれば「受け難い」ということは事実である fact7: もし仮にそのぽのぽちゅLv.80が受け難くないならばそのみのみくLv.93は失礼致すしそれにいみじ fact8: 「そのぽのぽちゅLv.80は着易い」ということは真実だ fact9: もしも「そのみのみくLv.93は入れ難い」ということは確かであるならそのぽのぽちゅLv.80は痛み易い fact10: そのみのみくLv.93はいみじ
fact6 & fact10 -> int1: そのみのみくLv.93は受け難い; int1 & fact2 -> int2: そのみのみくLv.93は入れ難い; int2 & fact9 -> int3: そのぽのぽちゅLv.80は痛み易い; int3 & fact8 -> int4: 「そのぽのぽちゅLv.80は痛み易いし着易い」ということは成り立つ; int4 & fact4 -> hypothesis;
fact6 & fact10 -> int1: {B}{a}; int1 & fact2 -> int2: {C}{a}; int2 & fact9 -> int3: {D}{b}; int3 & fact8 -> int4: ({D}{b} & {E}{b}); int4 & fact4 -> hypothesis;
そのまのまにゅLv.54は失礼致す
$facts$ = fact1: 仮にそのみのみくLv.93が失礼致すならそのまのまにゅLv.54は失礼致す fact2: そのみのみくLv.93が受け難いとするとそれは入れ難い fact3: あるモンスターが失礼致せばそれは芝居する fact4: そのぽのぽちゅLv.80が痛み易くておまけに着易いならそのまのまにゅLv.54は失礼致すということはない fact5: そのみのみくLv.93は失礼致すかあるいは着易いかもしくはどちらもである fact6: もし「そのみのみくLv.93はいみじ」ということは成り立つとすれば「受け難い」ということは事実である fact7: もし仮にそのぽのぽちゅLv.80が受け難くないならばそのみのみくLv.93は失礼致すしそれにいみじ fact8: 「そのぽのぽちゅLv.80は着易い」ということは真実だ fact9: もしも「そのみのみくLv.93は入れ難い」ということは確かであるならそのぽのぽちゅLv.80は痛み易い fact10: そのみのみくLv.93はいみじ ; $hypothesis$ = そのまのまにゅLv.54は失礼致す ; $proof$ = 
fact6 & fact10 -> int1: そのみのみくLv.93は受け難い; int1 & fact2 -> int2: そのみのみくLv.93は入れ難い; int2 & fact9 -> int3: そのぽのぽちゅLv.80は痛み易い; int3 & fact8 -> int4: 「そのぽのぽちゅLv.80は痛み易いし着易い」ということは成り立つ; int4 & fact4 -> hypothesis; __DISPROVED__
fact6 & fact10 -> int1: {B}{a}; int1 & fact2 -> int2: {C}{a}; int2 & fact9 -> int3: {D}{b}; int3 & fact8 -> int4: ({D}{b} & {E}{b}); int4 & fact4 -> hypothesis; __DISPROVED__