暮らし易いということおよびぽゆぽちゅLv.83事件が生じる
fact1: ぷにゃぷゆLv.51事件が起きる fact2: 「暮らし易いということが生じる」ということは真実だ fact3: 暮らし易いということは生じないということは「侵入し易いということが発生するしまたぽゆぽちゅLv.83事件が生じる」ということをもたらす fact4: 「ぽゆぽちゅLv.83事件が生じる」ということは本当である
fact4 -> int1: 「ぽゆぽちゅLv.83事件が生じる」ということは本当である; int1 & fact2 -> hypothesis;
fact4 -> int1: {A}; int1 & fact2 -> hypothesis;
侵入し易いということが生じる
$facts$ = fact1: ぷにゃぷゆLv.51事件が起きる fact2: 「暮らし易いということが生じる」ということは真実だ fact3: 暮らし易いということは生じないということは「侵入し易いということが発生するしまたぽゆぽちゅLv.83事件が生じる」ということをもたらす fact4: 「ぽゆぽちゅLv.83事件が生じる」ということは本当である ; $hypothesis$ = 暮らし易いということおよびぽゆぽちゅLv.83事件が生じる ; $proof$ = 
fact4 -> int1: 「ぽゆぽちゅLv.83事件が生じる」ということは本当である; int1 & fact2 -> hypothesis; __PROVED__
fact4 -> int1: {A}; int1 & fact2 -> hypothesis; __PROVED__