「ぽにょぽゆLv.71事件および気弱いということが起きる」ということは真実でない
fact1: ぽいぽにゅLv.89事件がぴえぴねLv.41事件はきっかけである fact2: もなもちゅLv.85事件は発生しないなら「想像し易いということおよびまにまなLv.66事件が起こる」ということは成り立つということはない fact3: ぽいぽにゅLv.89事件は起きない fact4: 「ぽわぽねLv.94事件は起こらない」ということは「もちゃもゆLv.74事件が起こらなくてそれに機械化することは起こらない」ということをもたらす fact5: 気弱いということおよびぽいぽにゅLv.89事件が生じるはどうして良いということは起こらないということにより発生する fact6: もしもちゃもゆLv.74事件が生じないとするとぽにょぽゆLv.71事件は発生するしぴえぴねLv.41事件が起こる fact7: もしもぴえぴねLv.41事件が起こらないけどぽいぽにゅLv.89事件は起きれば「どうして良いということが起こる」ということは誤っていない
void -> assump1: 以下のように仮定する。ぴえぴねLv.41事件が起こる; fact1 & assump1 -> int1: ぽいぽにゅLv.89事件が起こる; int1 & fact3 -> int2: これは矛盾である; [assump1] & int2 -> int3: ぴえぴねLv.41事件は起こらない;
void -> assump1: {A}; fact1 & assump1 -> int1: {B}; int1 & fact3 -> int2: #F#; [assump1] & int2 -> int3: ¬{A};
どうして良いということが生じる
$facts$ = fact1: ぽいぽにゅLv.89事件がぴえぴねLv.41事件はきっかけである fact2: もなもちゅLv.85事件は発生しないなら「想像し易いということおよびまにまなLv.66事件が起こる」ということは成り立つということはない fact3: ぽいぽにゅLv.89事件は起きない fact4: 「ぽわぽねLv.94事件は起こらない」ということは「もちゃもゆLv.74事件が起こらなくてそれに機械化することは起こらない」ということをもたらす fact5: 気弱いということおよびぽいぽにゅLv.89事件が生じるはどうして良いということは起こらないということにより発生する fact6: もしもちゃもゆLv.74事件が生じないとするとぽにょぽゆLv.71事件は発生するしぴえぴねLv.41事件が起こる fact7: もしもぴえぴねLv.41事件が起こらないけどぽいぽにゅLv.89事件は起きれば「どうして良いということが起こる」ということは誤っていない ; $hypothesis$ = 「ぽにょぽゆLv.71事件および気弱いということが起きる」ということは真実でない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__