以下のように仮定する。統合することが起こる
fact1: まのまにゅLv.75事件は統合することを誘発する fact2: 「まのまにゅLv.75事件が起きる」ということは気恥ずかしいということを回避する fact3: 気恥ずかしいということが起きる fact4: みにゃみにょLv.72事件は「もにょもちゅLv.38事件は発生するかあるいはぽわぽにょLv.79事件は発生する」ということに阻止される fact5: まのまにゅLv.75事件かあるいは統合することかあるいは両方ともは気恥ずかしいということは発生しないということの原因となる
void -> assump1: 以下のように仮定する。統合することが起こる; assump1 -> int1: まのまにゅLv.75事件が発生するかまたは統合することが生じる; int1 & fact5 -> int2: 気恥ずかしいということは発生しない; int2 & fact3 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {B}; assump1 -> int1: ({A} v {B}); int1 & fact5 -> int2: ¬{C}; int2 & fact3 -> int3: #F#; [assump1] & int3 -> hypothesis;
以下のように仮定する。統合することが起こる
$facts$ = fact1: まのまにゅLv.75事件は統合することを誘発する fact2: 「まのまにゅLv.75事件が起きる」ということは気恥ずかしいということを回避する fact3: 気恥ずかしいということが起きる fact4: みにゃみにょLv.72事件は「もにょもちゅLv.38事件は発生するかあるいはぽわぽにょLv.79事件は発生する」ということに阻止される fact5: まのまにゅLv.75事件かあるいは統合することかあるいは両方ともは気恥ずかしいということは発生しないということの原因となる ; $hypothesis$ = 以下のように仮定する。統合することが起こる ; $proof$ = 
void -> assump1: 以下のように仮定する。統合することが起こる; assump1 -> int1: まのまにゅLv.75事件が発生するかまたは統合することが生じる; int1 & fact5 -> int2: 気恥ずかしいということは発生しない; int2 & fact3 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
void -> assump1: {B}; assump1 -> int1: ({A} v {B}); int1 & fact5 -> int2: ¬{C}; int2 & fact3 -> int3: #F#; [assump1] & int3 -> hypothesis; __DISPROVED__