凛とすることが生じる
fact1: 凛とすることはぽえぽにゅLv.12事件かまたはぽわぽちゅLv.42事件かもしくはどちらもに阻止される fact2: 得難いということとぽわぽちゅLv.42事件両方が発生する
fact2 -> int1: 「ぽわぽちゅLv.42事件が発生する」ということは成り立つ; int1 -> int2: ぽえぽにゅLv.12事件かあるいはぽわぽちゅLv.42事件かどちらもが起こる; int2 & fact1 -> hypothesis;
fact2 -> int1: {B}; int1 -> int2: ({C} v {B}); int2 & fact1 -> hypothesis;
$facts$ = fact1: 凛とすることはぽえぽにゅLv.12事件かまたはぽわぽちゅLv.42事件かもしくはどちらもに阻止される fact2: 得難いということとぽわぽちゅLv.42事件両方が発生する ; $hypothesis$ = 凛とすることが生じる ; $proof$ = 
fact2 -> int1: 「ぽわぽちゅLv.42事件が発生する」ということは成り立つ; int1 -> int2: ぽえぽにゅLv.12事件かあるいはぽわぽちゅLv.42事件かどちらもが起こる; int2 & fact1 -> hypothesis; __DISPROVED__
fact2 -> int1: {B}; int1 -> int2: ({C} v {B}); int2 & fact1 -> hypothesis; __DISPROVED__