慈愛深いということは発生しない
fact1: もしも「もよもちゃLv.55事件は生じないか生え易いということは起こらないかあるいは両方だ」ということは事実と異なるとしたら慈愛深いということが発生する fact2: 暮らし易いということが起こる fact3: もし仮に暮らし易いということは起こらないとしたらぷえぷくLv.23事件は発生しないかあるいは慈愛深いということは起きない fact4: ぷえぷくLv.23事件が起きるとすると「汚れ難いということが生じるけど突き返すことは起こらない」ということは成り立たない fact5: 突き返すことは「汚れ難いということは起こらなくてしかもぷえぷくLv.23事件は発生しない」ということをもたらす fact6: もしもよもちゃLv.55事件が起きるとすれば「もよもちゃLv.55事件は起きないかまたは生え易いということは発生しないかまたはどちらもである」ということは成り立たない fact7: もし「汚れ難いということは発生するが突き返すことは起こらない」ということは成り立たないならばもよもちゃLv.55事件が発生する fact8: 暮らし易いということが起こるということはぷえぷくLv.23事件は生じないということを阻む fact9: 慈愛深いということは起きないということは「ぷえぷくLv.23事件は発生しないか慈愛深いということは起こらないかもしくは両方ともである」ということにより発生する
fact8 & fact2 -> int1: ぷえぷくLv.23事件が起きる; int1 & fact4 -> int2: 「汚れ難いということは発生するけれど突き返すことは生じない」ということは間違いだ; int2 & fact7 -> int3: 「もよもちゃLv.55事件が発生する」ということは正しい; int3 & fact6 -> int4: 「もよもちゃLv.55事件は発生しないかまたは生え易いということは起こらない」ということは嘘だ; int4 & fact1 -> hypothesis;
fact8 & fact2 -> int1: {B}; int1 & fact4 -> int2: ¬({C} & ¬{D}); int2 & fact7 -> int3: {E}; int3 & fact6 -> int4: ¬(¬{E} v ¬{F}); int4 & fact1 -> hypothesis;
慈愛深いということは発生しない
$facts$ = fact1: もしも「もよもちゃLv.55事件は生じないか生え易いということは起こらないかあるいは両方だ」ということは事実と異なるとしたら慈愛深いということが発生する fact2: 暮らし易いということが起こる fact3: もし仮に暮らし易いということは起こらないとしたらぷえぷくLv.23事件は発生しないかあるいは慈愛深いということは起きない fact4: ぷえぷくLv.23事件が起きるとすると「汚れ難いということが生じるけど突き返すことは起こらない」ということは成り立たない fact5: 突き返すことは「汚れ難いということは起こらなくてしかもぷえぷくLv.23事件は発生しない」ということをもたらす fact6: もしもよもちゃLv.55事件が起きるとすれば「もよもちゃLv.55事件は起きないかまたは生え易いということは発生しないかまたはどちらもである」ということは成り立たない fact7: もし「汚れ難いということは発生するが突き返すことは起こらない」ということは成り立たないならばもよもちゃLv.55事件が発生する fact8: 暮らし易いということが起こるということはぷえぷくLv.23事件は生じないということを阻む fact9: 慈愛深いということは起きないということは「ぷえぷくLv.23事件は発生しないか慈愛深いということは起こらないかもしくは両方ともである」ということにより発生する ; $hypothesis$ = 慈愛深いということは発生しない ; $proof$ = 
fact8 & fact2 -> int1: ぷえぷくLv.23事件が起きる; int1 & fact4 -> int2: 「汚れ難いということは発生するけれど突き返すことは生じない」ということは間違いだ; int2 & fact7 -> int3: 「もよもちゃLv.55事件が発生する」ということは正しい; int3 & fact6 -> int4: 「もよもちゃLv.55事件は発生しないかまたは生え易いということは起こらない」ということは嘘だ; int4 & fact1 -> hypothesis; __DISPROVED__
fact8 & fact2 -> int1: {B}; int1 & fact4 -> int2: ¬({C} & ¬{D}); int2 & fact7 -> int3: {E}; int3 & fact6 -> int4: ¬(¬{E} v ¬{F}); int4 & fact1 -> hypothesis; __DISPROVED__