生温いということが起こるしぷちゃぷにゅLv.76事件は生じない
fact1: もしも旨しということは生じないとしたら「生温いということが生じるけどぷちゃぷにゅLv.76事件は起こらない」ということは正しいということはない fact2: 白いということが発生するとしたらブランドらしいということは発生するか読み難いということは起きない fact3: 旨しということが起きる fact4: 「もしもぷちゃぷにゅLv.76事件が生じないとしたら生温いということが起きるけどぷちゃぷにゅLv.76事件は起きない」ということは確かだ fact5: 仮にまくまくLv.16事件および涙ぐましいということ両方ともが起きるなら厚しということは起きない fact6: ブランドらしいということが起こる fact7: 「旨しということが起きるし更にブランドらしいということが発生する」ということはぷちゃぷにゅLv.76事件を回避する
fact3 & fact6 -> int1: 旨しということおよびブランドらしいということ両方が起こる; int1 & fact7 -> int2: ぷちゃぷにゅLv.76事件は起きない; int2 & fact4 -> hypothesis;
fact3 & fact6 -> int1: ({A} & {B}); int1 & fact7 -> int2: ¬{C}; int2 & fact4 -> hypothesis;
「「生温いということが起きるがしかしぷちゃぷにゅLv.76事件は生じない」ということは成り立つ」ということは誤っている
$facts$ = fact1: もしも旨しということは生じないとしたら「生温いということが生じるけどぷちゃぷにゅLv.76事件は起こらない」ということは正しいということはない fact2: 白いということが発生するとしたらブランドらしいということは発生するか読み難いということは起きない fact3: 旨しということが起きる fact4: 「もしもぷちゃぷにゅLv.76事件が生じないとしたら生温いということが起きるけどぷちゃぷにゅLv.76事件は起きない」ということは確かだ fact5: 仮にまくまくLv.16事件および涙ぐましいということ両方ともが起きるなら厚しということは起きない fact6: ブランドらしいということが起こる fact7: 「旨しということが起きるし更にブランドらしいということが発生する」ということはぷちゃぷにゅLv.76事件を回避する ; $hypothesis$ = 生温いということが起こるしぷちゃぷにゅLv.76事件は生じない ; $proof$ = 
fact3 & fact6 -> int1: 旨しということおよびブランドらしいということ両方が起こる; int1 & fact7 -> int2: ぷちゃぷにゅLv.76事件は起きない; int2 & fact4 -> hypothesis; __PROVED__
fact3 & fact6 -> int1: ({A} & {B}); int1 & fact7 -> int2: ¬{C}; int2 & fact4 -> hypothesis; __PROVED__