そのエマルジョンは保護ガスである
fact1: もしその唇弁が保護ガスであるしかつ来週だとすれば「そのエマルジョンは保護ガスでない」ということは成り立つ fact2: そのエマルジョンは老いさらばえない fact3: もし仮にそのエマルジョンが来週であるということはないとするとあのラは保護ガスだ fact4: その唇弁は消滅会社であるかあるいは放浪する fact5: 仮にそのエマルジョンが入れ始めるがそれは老いさらばえないとすると「保護ガスである」ということは偽でない fact6: もしあるものが消滅会社だしそれにリラックスするとすれば来週でない fact7: この手形交換所は微笑ましいけれど入れ始めない fact8: この発生学は入れ始めない fact9: そのエマルジョンが入れ始めるしまたそれが老いさらばえるとすれば保護ガスだ fact10: そのエマルジョンは概念自体であるがしかし御安くない fact11: そのエマルジョンは入れ始めるけれど老いさらばえない
fact5 & fact11 -> hypothesis;
fact5 & fact11 -> hypothesis;
「あのラは老いさらばえない」ということは真実でない
fact12 -> int1: そのエマルジョンは消滅会社であるしリラックスすればそれは来週でない;
$facts$ = fact1: もしその唇弁が保護ガスであるしかつ来週だとすれば「そのエマルジョンは保護ガスでない」ということは成り立つ fact2: そのエマルジョンは老いさらばえない fact3: もし仮にそのエマルジョンが来週であるということはないとするとあのラは保護ガスだ fact4: その唇弁は消滅会社であるかあるいは放浪する fact5: 仮にそのエマルジョンが入れ始めるがそれは老いさらばえないとすると「保護ガスである」ということは偽でない fact6: もしあるものが消滅会社だしそれにリラックスするとすれば来週でない fact7: この手形交換所は微笑ましいけれど入れ始めない fact8: この発生学は入れ始めない fact9: そのエマルジョンが入れ始めるしまたそれが老いさらばえるとすれば保護ガスだ fact10: そのエマルジョンは概念自体であるがしかし御安くない fact11: そのエマルジョンは入れ始めるけれど老いさらばえない ; $hypothesis$ = そのエマルジョンは保護ガスである ; $proof$ = 
fact5 & fact11 -> hypothesis; __PROVED__
事実1: もしその唇弁が保護ガスであるしかつ来週だとすれば「そのエマルジョンは保護ガスでない」ということは成り立つ
事実2: そのエマルジョンは老いさらばえない
事実3: もし仮にそのエマルジョンが来週であるということはないとするとあのラは保護ガスだ
事実4: その唇弁は消滅会社であるかあるいは放浪する
事実5: 仮にそのエマルジョンが入れ始めるがそれは老いさらばえないとすると「保護ガスである」ということは偽でない
事実6: もしあるものが消滅会社だしそれにリラックスするとすれば来週でない
事実7: この手形交換所は微笑ましいけれど入れ始めない
事実8: この発生学は入れ始めない
事実9: そのエマルジョンが入れ始めるしまたそれが老いさらばえるとすれば保護ガスだ
事実10: そのエマルジョンは概念自体であるがしかし御安くない
事実11: そのエマルジョンは入れ始めるけれど老いさらばえない

仮説: そのエマルジョンは保護ガスである
1. 事実5と事実11から、仮説が導かれる

よって、仮説が証明されました。