その燐除去は結合し易い
fact1: このムゲンマウンテンは他愛無いし輸送機だ fact2: その燐除去は結合し易いし構成す fact3: その燐除去は飲み易い fact4: あの膨らみ部分は入手し易くて更にそれは構成す fact5: その燐除去は上手下手だ fact6: もしなんらかのものがはにかまないかあるいはそれが構成すとするとそれは構成す fact7: 仮にその破瓜がＥＨでないとしたらその燐除去ははにかまないかまたは構成すかもしくは両方である fact8: 「その燐除去は構成す」ということは真実である
fact2 -> hypothesis;
fact2 -> hypothesis;
その燐除去は結合し易くない
fact10 -> int1: 仮にその燐除去がはにかまないかもしくはそれは構成すかまたは両方ともだとしたらそれは構成す;
$facts$ = fact1: このムゲンマウンテンは他愛無いし輸送機だ fact2: その燐除去は結合し易いし構成す fact3: その燐除去は飲み易い fact4: あの膨らみ部分は入手し易くて更にそれは構成す fact5: その燐除去は上手下手だ fact6: もしなんらかのものがはにかまないかあるいはそれが構成すとするとそれは構成す fact7: 仮にその破瓜がＥＨでないとしたらその燐除去ははにかまないかまたは構成すかもしくは両方である fact8: 「その燐除去は構成す」ということは真実である ; $hypothesis$ = その燐除去は結合し易い ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: このムゲンマウンテンは他愛無いし輸送機だ
事実2: その燐除去は結合し易いし構成す
事実3: その燐除去は飲み易い
事実4: あの膨らみ部分は入手し易くて更にそれは構成す
事実5: その燐除去は上手下手だ
事実6: もしなんらかのものがはにかまないかあるいはそれが構成すとするとそれは構成す
事実7: 仮にその破瓜がＥＨでないとしたらその燐除去ははにかまないかまたは構成すかもしくは両方である
事実8: 「その燐除去は構成す」ということは真実である

仮説: その燐除去は結合し易い
1. 事実2から、仮説が導かれる

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