働き易いということは生じない
fact1: もやもよLv.38事件は起きない fact2: もしもやもよLv.38事件は発生しないとしたら「汗臭いということが発生するけど安っぽいということは発生しない」ということは成り立つということはない fact3: 「もやもよLv.38事件は発生する一方でもちょもちょLv.80事件は起こらない」ということはぷいぷちゃLv.48事件が発生しないということはきっかけだ fact4: 働き易いということは生じないということはもちょもちょLv.80事件かあるいはぴのぴのLv.27事件かまたはどちらもが原因だ fact5: もしも「汗臭いということが起こるし安っぽいということは起きない」ということは間違いならばもちょもちょLv.80事件が発生する
fact1 & fact2 -> int1: 「汗臭いということが発生するが安っぽいということは起こらない」ということは成り立たない; fact5 & int1 -> int2: もちょもちょLv.80事件が起きる; int2 -> int3: もちょもちょLv.80事件かあるいはぴのぴのLv.27事件が起こる; int3 & fact4 -> hypothesis;
fact1 & fact2 -> int1: ¬({AA} & ¬{AB}); fact5 & int1 -> int2: {B}; int2 -> int3: ({B} v {A}); int3 & fact4 -> hypothesis;
働き易いということが起きる
$facts$ = fact1: もやもよLv.38事件は起きない fact2: もしもやもよLv.38事件は発生しないとしたら「汗臭いということが発生するけど安っぽいということは発生しない」ということは成り立つということはない fact3: 「もやもよLv.38事件は発生する一方でもちょもちょLv.80事件は起こらない」ということはぷいぷちゃLv.48事件が発生しないということはきっかけだ fact4: 働き易いということは生じないということはもちょもちょLv.80事件かあるいはぴのぴのLv.27事件かまたはどちらもが原因だ fact5: もしも「汗臭いということが起こるし安っぽいということは起きない」ということは間違いならばもちょもちょLv.80事件が発生する ; $hypothesis$ = 働き易いということは生じない ; $proof$ = 
fact1 & fact2 -> int1: 「汗臭いということが発生するが安っぽいということは起こらない」ということは成り立たない; fact5 & int1 -> int2: もちょもちょLv.80事件が起きる; int2 -> int3: もちょもちょLv.80事件かあるいはぴのぴのLv.27事件が起こる; int3 & fact4 -> hypothesis; __PROVED__
fact1 & fact2 -> int1: ¬({AA} & ¬{AB}); fact5 & int1 -> int2: {B}; int2 -> int3: ({B} v {A}); int3 & fact4 -> hypothesis; __PROVED__