「まにょまにゅLv.32事件は「憎らしいということが生じる」ということを生じさせる」ということは成り立たない
fact1: 甘ったるいということは遠しということを招く fact2: みちょみちゃLv.10事件は「憎らしいということは起きない」ということを防ぐ fact3: ぴにょぴなLv.84事件が起こる fact4: 可笑しいということは「こんがらがることが起きる」ということに帰結する fact5: ひもじいということは薄青いということのきっかけとなる fact6: 「ぴねぴにゅLv.74事件は起こらない」ということは安いということに阻まれる fact7: みちょみちゃLv.10事件はまにょまにゅLv.32事件が起こるということに起因する
void -> assump1: 以下のように仮定する。まにょまにゅLv.32事件が生じる; fact7 & assump1 -> int1: みちょみちゃLv.10事件が生じる; int1 & fact2 -> int2: 憎らしいということが起こる; [assump1] & int2 -> hypothesis;
void -> assump1: {A}; fact7 & assump1 -> int1: {B}; int1 & fact2 -> int2: {C}; [assump1] & int2 -> hypothesis;
$facts$ = fact1: 甘ったるいということは遠しということを招く fact2: みちょみちゃLv.10事件は「憎らしいということは起きない」ということを防ぐ fact3: ぴにょぴなLv.84事件が起こる fact4: 可笑しいということは「こんがらがることが起きる」ということに帰結する fact5: ひもじいということは薄青いということのきっかけとなる fact6: 「ぴねぴにゅLv.74事件は起こらない」ということは安いということに阻まれる fact7: みちょみちゃLv.10事件はまにょまにゅLv.32事件が起こるということに起因する ; $hypothesis$ = 「まにょまにゅLv.32事件は「憎らしいということが生じる」ということを生じさせる」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。まにょまにゅLv.32事件が生じる; fact7 & assump1 -> int1: みちょみちゃLv.10事件が生じる; int1 & fact2 -> int2: 憎らしいということが起こる; [assump1] & int2 -> hypothesis; __DISPROVED__
void -> assump1: {A}; fact7 & assump1 -> int1: {B}; int1 & fact2 -> int2: {C}; [assump1] & int2 -> hypothesis; __DISPROVED__