「もし静けさでないかまたは判例集でないとしたらむくつけし」ものはある
fact1: 仮にこの節点Ｎはむくつけしないかもしくは走り易くないかもしくはどちらもだとすればそれは東京支店だ fact2: 「もしも伴い易くないかまたは親しいかもしくは両方なら赤っぽい」ものはある fact3: もしもこの節点Ｎが静けさだということはないかもしくは判例集でないとすればそれはむくつけし fact4: あの二百一号室が辛抱強くないなら総合勘案する fact5: 「仮に狡賢いか辛抱強くないならば開発途上国な」物はある fact6: もしそのファドが判例集であるかまたは収拾出来ないとすれば適格退職年金等である fact7: 「レコード化しないか恐怖しないならば口喧しい」ものはある fact8: この節点Ｎは判例集でないとしたらそれは押し退ける fact9: 「仮に打ち震えないとすれば「騒がしい」ということは嘘だということはない」ものはある fact10: 「忘れっぽくないとすれば面番所である」物はある fact11: 「押し切れないとしたら「受領する」ということは正しい」物はある fact12: もしもあるものはマザーズ市場でないかあるいは漂着物でないかまたはどちらもだとしたら「それは文展である」ということは真実である fact13: 「マザーズ市場でないとすると震え出す」ものはある
fact3 -> hypothesis;
「「マザーズ市場でないか漂着物でない」ということは真実であるとすれば文展な」物はある
fact14 -> int1: 仮にあのＰＲＳＰはマザーズ市場でないかあるいは漂着物でないか両方であるとすればそれは文展である; int1 -> hypothesis;
$facts$ = fact1: 仮にこの節点Ｎはむくつけしないかもしくは走り易くないかもしくはどちらもだとすればそれは東京支店だ fact2: 「もしも伴い易くないかまたは親しいかもしくは両方なら赤っぽい」ものはある fact3: もしもこの節点Ｎが静けさだということはないかもしくは判例集でないとすればそれはむくつけし fact4: あの二百一号室が辛抱強くないなら総合勘案する fact5: 「仮に狡賢いか辛抱強くないならば開発途上国な」物はある fact6: もしそのファドが判例集であるかまたは収拾出来ないとすれば適格退職年金等である fact7: 「レコード化しないか恐怖しないならば口喧しい」ものはある fact8: この節点Ｎは判例集でないとしたらそれは押し退ける fact9: 「仮に打ち震えないとすれば「騒がしい」ということは嘘だということはない」ものはある fact10: 「忘れっぽくないとすれば面番所である」物はある fact11: 「押し切れないとしたら「受領する」ということは正しい」物はある fact12: もしもあるものはマザーズ市場でないかあるいは漂着物でないかまたはどちらもだとしたら「それは文展である」ということは真実である fact13: 「マザーズ市場でないとすると震え出す」ものはある ; $hypothesis$ = 「もし静けさでないかまたは判例集でないとしたらむくつけし」ものはある ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: 仮にこの節点Ｎはむくつけしないかもしくは走り易くないかもしくはどちらもだとすればそれは東京支店だ
事実2: 「もしも伴い易くないかまたは親しいかもしくは両方なら赤っぽい」ものはある
事実3: もしもこの節点Ｎが静けさだということはないかもしくは判例集でないとすればそれはむくつけし
事実4: あの二百一号室が辛抱強くないなら総合勘案する
事実5: 「仮に狡賢いか辛抱強くないならば開発途上国な」物はある
事実6: もしそのファドが判例集であるかまたは収拾出来ないとすれば適格退職年金等である
事実7: 「レコード化しないか恐怖しないならば口喧しい」ものはある
事実8: この節点Ｎは判例集でないとしたらそれは押し退ける
事実9: 「仮に打ち震えないとすれば「騒がしい」ということは嘘だということはない」ものはある
事実10: 「忘れっぽくないとすれば面番所である」物はある
事実11: 「押し切れないとしたら「受領する」ということは正しい」物はある
事実12: もしもあるものはマザーズ市場でないかあるいは漂着物でないかまたはどちらもだとしたら「それは文展である」ということは真実である
事実13: 「マザーズ市場でないとすると震え出す」ものはある

仮説: 「もし静けさでないかまたは判例集でないとしたらむくつけし」ものはある
1. 事実3から、仮説が導かれる

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