「ぽにゃぽにゅLv.62事件は起きない」ということは嘘でない
fact1: 連れ立つことおよび願い求めることが発生する fact2: 痛撃することが生じるしかつ吹けることが発生する fact3: 「葡有することが起きる」ということは確かだ fact4: 痛撃することおよび葡有することが生じるはぽにゃぽにゅLv.62事件を阻止する
fact2 -> int1: 痛撃することが起きる; int1 & fact3 -> int2: 痛撃することと葡有することどちらもが発生する; int2 & fact4 -> hypothesis;
fact2 -> int1: {A}; int1 & fact3 -> int2: ({A} & {C}); int2 & fact4 -> hypothesis;
$facts$ = fact1: 連れ立つことおよび願い求めることが発生する fact2: 痛撃することが生じるしかつ吹けることが発生する fact3: 「葡有することが起きる」ということは確かだ fact4: 痛撃することおよび葡有することが生じるはぽにゃぽにゅLv.62事件を阻止する ; $hypothesis$ = 「ぽにゃぽにゅLv.62事件は起きない」ということは嘘でない ; $proof$ = 
fact2 -> int1: 痛撃することが起きる; int1 & fact3 -> int2: 痛撃することと葡有することどちらもが発生する; int2 & fact4 -> hypothesis; __PROVED__
fact2 -> int1: {A}; int1 & fact3 -> int2: ({A} & {C}); int2 & fact4 -> hypothesis; __PROVED__