赤いということが起きる
fact1: 仮に帰還することとぷいぷちゅLv.35事件どちらもが生じるとしたら赤いということは発生しない fact2: 「具申することではなくて嘆かわしいということが生じる」ということは公共化することにより生じる fact3: 仮に帰還することが起こらなくてぷいぷちゅLv.35事件が起こらないとするとぽなぽねLv.12事件は生じない fact4: 具申することではなく嘆かわしいということが起こるとしたらぷいぷちゅLv.35事件が発生する fact5: 「ぷいぷちゅLv.35事件は生じない」ということは「赤いということが生じるしおまけに帰還することが生じる」ということのきっかけとなる fact6: 公共化することが起きる fact7: 帰還することが起きる
fact6 & fact2 -> int1: 具申することが発生しなくて嘆かわしいということは発生する; fact4 & int1 -> int2: ぷいぷちゅLv.35事件が起こる; int2 & fact7 -> int3: 帰還することが起きるしそれにぷいぷちゅLv.35事件が生じる; int3 & fact1 -> hypothesis;
fact6 & fact2 -> int1: (¬{AA} & {AB}); fact4 & int1 -> int2: {B}; int2 & fact7 -> int3: ({A} & {B}); int3 & fact1 -> hypothesis;
赤いということが起きる
$facts$ = fact1: 仮に帰還することとぷいぷちゅLv.35事件どちらもが生じるとしたら赤いということは発生しない fact2: 「具申することではなくて嘆かわしいということが生じる」ということは公共化することにより生じる fact3: 仮に帰還することが起こらなくてぷいぷちゅLv.35事件が起こらないとするとぽなぽねLv.12事件は生じない fact4: 具申することではなく嘆かわしいということが起こるとしたらぷいぷちゅLv.35事件が発生する fact5: 「ぷいぷちゅLv.35事件は生じない」ということは「赤いということが生じるしおまけに帰還することが生じる」ということのきっかけとなる fact6: 公共化することが起きる fact7: 帰還することが起きる ; $hypothesis$ = 赤いということが起きる ; $proof$ = 
fact6 & fact2 -> int1: 具申することが発生しなくて嘆かわしいということは発生する; fact4 & int1 -> int2: ぷいぷちゅLv.35事件が起こる; int2 & fact7 -> int3: 帰還することが起きるしそれにぷいぷちゅLv.35事件が生じる; int3 & fact1 -> hypothesis; __DISPROVED__
fact6 & fact2 -> int1: (¬{AA} & {AB}); fact4 & int1 -> int2: {B}; int2 & fact7 -> int3: ({A} & {B}); int3 & fact1 -> hypothesis; __DISPROVED__