幼けないということは起きない
fact1: 「ぷゆぷちゃLv.21事件か代入することが起きる」ということは幼けないということを阻む fact2: 「慣れることは生じない」ということは御結婚為さることとまなまちゃLv.43事件が発生するを発生させる fact3: ぷゆぷちゃLv.21事件が起こる fact4: 出向くことは起こらない fact5: 仮にまなまちゃLv.43事件が起きるならぴくぴにょLv.71事件が起こる一方で代入することは発生しない fact6: 代入することは幼けないということは起こらないということを生じさせる
fact3 -> int1: ぷゆぷちゃLv.21事件が起こるか代入することが発生するかもしくは両方である; int1 & fact1 -> hypothesis;
fact3 -> int1: ({A} v {B}); int1 & fact1 -> hypothesis;
幼けないということが起こる
$facts$ = fact1: 「ぷゆぷちゃLv.21事件か代入することが起きる」ということは幼けないということを阻む fact2: 「慣れることは生じない」ということは御結婚為さることとまなまちゃLv.43事件が発生するを発生させる fact3: ぷゆぷちゃLv.21事件が起こる fact4: 出向くことは起こらない fact5: 仮にまなまちゃLv.43事件が起きるならぴくぴにょLv.71事件が起こる一方で代入することは発生しない fact6: 代入することは幼けないということは起こらないということを生じさせる ; $hypothesis$ = 幼けないということは起きない ; $proof$ = 
fact3 -> int1: ぷゆぷちゃLv.21事件が起こるか代入することが発生するかもしくは両方である; int1 & fact1 -> hypothesis; __PROVED__
fact3 -> int1: ({A} v {B}); int1 & fact1 -> hypothesis; __PROVED__