ぷちょぷちゅLv.80事件が生じる
fact1: ぷちょぷちゅLv.80事件が説明し難いということはきっかけだ fact2: 天使らしいということが生じる fact3: 説明し難いということは御宜しいということに引き起こされる fact4: もし天使らしいということが生じるなら「御宜しいということが生じる」ということは事実と異ならない
fact4 & fact2 -> int1: 御宜しいということが起こる; int1 & fact3 -> int2: 説明し難いということが起きる; int2 & fact1 -> hypothesis;
fact4 & fact2 -> int1: {B}; int1 & fact3 -> int2: {C}; int2 & fact1 -> hypothesis;
$facts$ = fact1: ぷちょぷちゅLv.80事件が説明し難いということはきっかけだ fact2: 天使らしいということが生じる fact3: 説明し難いということは御宜しいということに引き起こされる fact4: もし天使らしいということが生じるなら「御宜しいということが生じる」ということは事実と異ならない ; $hypothesis$ = ぷちょぷちゅLv.80事件が生じる ; $proof$ = 
fact4 & fact2 -> int1: 御宜しいということが起こる; int1 & fact3 -> int2: 説明し難いということが起きる; int2 & fact1 -> hypothesis; __PROVED__
fact4 & fact2 -> int1: {B}; int1 & fact3 -> int2: {C}; int2 & fact1 -> hypothesis; __PROVED__