奏効することが生じる
fact1: 報うことおよび御掛け下さること両方ともが起きる fact2: もし御掛け下さることかまたはぷやぷちゅLv.88事件かあるいは両方が発生するとしたら奏効することは起きない
fact1 -> int1: 御掛け下さることが起こる; int1 -> int2: 御掛け下さることが起きるかあるいはぷやぷちゅLv.88事件が起きる; int2 & fact2 -> hypothesis;
fact1 -> int1: {B}; int1 -> int2: ({B} v {C}); int2 & fact2 -> hypothesis;
$facts$ = fact1: 報うことおよび御掛け下さること両方ともが起きる fact2: もし御掛け下さることかまたはぷやぷちゅLv.88事件かあるいは両方が発生するとしたら奏効することは起きない ; $hypothesis$ = 奏効することが生じる ; $proof$ = 
fact1 -> int1: 御掛け下さることが起こる; int1 -> int2: 御掛け下さることが起きるかあるいはぷやぷちゅLv.88事件が起きる; int2 & fact2 -> hypothesis; __DISPROVED__
fact1 -> int1: {B}; int1 -> int2: ({B} v {C}); int2 & fact2 -> hypothesis; __DISPROVED__