「もやものLv.31事件が生じる」ということは事実だ
fact1: 脂っこいということが発生する fact2: もし仮に「ぴよぴにゅLv.64事件が生じるしまたネイティブらしいということが生じる」ということは嘘でないとしたらもやものLv.31事件は起きない fact3: ぴよぴにゅLv.64事件が発生する fact4: ネイティブらしいということが起きる fact5: もやものLv.31事件およびぴよぴにゅLv.64事件が起こるはネイティブらしいということは発生しないということに起因する
fact3 & fact4 -> int1: ぴよぴにゅLv.64事件およびネイティブらしいということが生じる; int1 & fact2 -> hypothesis;
fact3 & fact4 -> int1: ({A} & {B}); int1 & fact2 -> hypothesis;
「もやものLv.31事件が生じる」ということは事実だ
$facts$ = fact1: 脂っこいということが発生する fact2: もし仮に「ぴよぴにゅLv.64事件が生じるしまたネイティブらしいということが生じる」ということは嘘でないとしたらもやものLv.31事件は起きない fact3: ぴよぴにゅLv.64事件が発生する fact4: ネイティブらしいということが起きる fact5: もやものLv.31事件およびぴよぴにゅLv.64事件が起こるはネイティブらしいということは発生しないということに起因する ; $hypothesis$ = 「もやものLv.31事件が生じる」ということは事実だ ; $proof$ = 
fact3 & fact4 -> int1: ぴよぴにゅLv.64事件およびネイティブらしいということが生じる; int1 & fact2 -> hypothesis; __DISPROVED__
fact3 & fact4 -> int1: ({A} & {B}); int1 & fact2 -> hypothesis; __DISPROVED__