もしあのブラシが税別だとするとそれは転売するかまたは演奏し始めない
fact1: 仮にあのブラシが税別であるとするとそれは転売するかまたは演奏し始めるかどちらもである fact2: もしなにかは供給すとすると演奏し始めるかあるいはそれは前妻でない fact3: もし仮になにがしかのものが生気付けるならそれは外的基準であるかそれは心弱い fact4: もしもとあるものが税別であるとするとそれは転売するかまたはそれは演奏し始めないかもしくは両方である
fact4 -> hypothesis;
fact4 -> hypothesis;
もしこの言語ゲームが供給すとしたら演奏し始めるかもしくは前妻でないかもしくはどちらもである
fact5 -> hypothesis;
$facts$ = fact1: 仮にあのブラシが税別であるとするとそれは転売するかまたは演奏し始めるかどちらもである fact2: もしなにかは供給すとすると演奏し始めるかあるいはそれは前妻でない fact3: もし仮になにがしかのものが生気付けるならそれは外的基準であるかそれは心弱い fact4: もしもとあるものが税別であるとするとそれは転売するかまたはそれは演奏し始めないかもしくは両方である ; $hypothesis$ = もしあのブラシが税別だとするとそれは転売するかまたは演奏し始めない ; $proof$ = 
fact4 -> hypothesis; __PROVED__
事実1: 仮にあのブラシが税別であるとするとそれは転売するかまたは演奏し始めるかどちらもである
事実2: もしなにかは供給すとすると演奏し始めるかあるいはそれは前妻でない
事実3: もし仮になにがしかのものが生気付けるならそれは外的基準であるかそれは心弱い
事実4: もしもとあるものが税別であるとするとそれは転売するかまたはそれは演奏し始めないかもしくは両方である

仮説: もしあのブラシが税別だとするとそれは転売するかまたは演奏し始めない
1. 事実4から、仮説が導かれる

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