行き合うことは生じない
fact1: 「好ましということおよびぷえぷのLv.78事件両方ともが起きる」ということは偽なら好ましということは起きない fact2: 御構い無いということと厭わしいということが生じるは忘れっぽいということは発生しないということにより生じる fact3: 厭わしいということが起きる fact4: もし仮に厭わしいということと忘れっぽいということが起こるとすると行き合うことは発生しない fact5: 忘れっぽいということが起きる fact6: 仮に好ましということは生じないならばぽゆぽちゃLv.96事件が起こるかもしくは手広いということは起こらないかまたはどちらもである fact7: 使用し難いということが起こる fact8: 「忘れっぽいということは起こらないし行き合うことは発生しない」ということは「塩辛いということは発生しない」ということにより発生する
fact3 & fact5 -> int1: 厭わしいということと忘れっぽいということ両方が生じる; int1 & fact4 -> hypothesis;
fact3 & fact5 -> int1: ({A} & {B}); int1 & fact4 -> hypothesis;
御構い無いということが起こる
$facts$ = fact1: 「好ましということおよびぷえぷのLv.78事件両方ともが起きる」ということは偽なら好ましということは起きない fact2: 御構い無いということと厭わしいということが生じるは忘れっぽいということは発生しないということにより生じる fact3: 厭わしいということが起きる fact4: もし仮に厭わしいということと忘れっぽいということが起こるとすると行き合うことは発生しない fact5: 忘れっぽいということが起きる fact6: 仮に好ましということは生じないならばぽゆぽちゃLv.96事件が起こるかもしくは手広いということは起こらないかまたはどちらもである fact7: 使用し難いということが起こる fact8: 「忘れっぽいということは起こらないし行き合うことは発生しない」ということは「塩辛いということは発生しない」ということにより発生する ; $hypothesis$ = 行き合うことは生じない ; $proof$ = 
fact3 & fact5 -> int1: 厭わしいということと忘れっぽいということ両方が生じる; int1 & fact4 -> hypothesis; __PROVED__
fact3 & fact5 -> int1: ({A} & {B}); int1 & fact4 -> hypothesis; __PROVED__