「もし仮にオブジェクトプロパティだとするとがっちりしなくてその上毛様体である」ものはある
fact1: もし何かは済ま無いならばそれは逆指名しないがしかし間違え易い fact2: オブジェクトプロパティはがっちりしないが毛様体である fact3: オブジェクトプロパティはがっちりしない fact4: もし仮になにがしかの物が派遣先責任者であるとしたらそれは概観しないし歩き易い fact5: もしその集合研修はオブジェクトプロパティならば「がっちりしない」ということは正しい fact6: もしもその集合研修は外国法であるとすると住み易くないがしかしがっちりする fact7: 「仮に「オブジェクトプロパティだ」ということは事実だとすればがっちりしない」物はある
fact2 -> int1: もしその集合研修がオブジェクトプロパティならそれはがっちりするということはないしそれは毛様体である; int1 -> hypothesis;
$facts$ = fact1: もし何かは済ま無いならばそれは逆指名しないがしかし間違え易い fact2: オブジェクトプロパティはがっちりしないが毛様体である fact3: オブジェクトプロパティはがっちりしない fact4: もし仮になにがしかの物が派遣先責任者であるとしたらそれは概観しないし歩き易い fact5: もしその集合研修はオブジェクトプロパティならば「がっちりしない」ということは正しい fact6: もしもその集合研修は外国法であるとすると住み易くないがしかしがっちりする fact7: 「仮に「オブジェクトプロパティだ」ということは事実だとすればがっちりしない」物はある ; $hypothesis$ = 「もし仮にオブジェクトプロパティだとするとがっちりしなくてその上毛様体である」ものはある ; $proof$ = 
fact2 -> int1: もしその集合研修がオブジェクトプロパティならそれはがっちりするということはないしそれは毛様体である; int1 -> hypothesis; __PROVED__
事実1: もし何かは済ま無いならばそれは逆指名しないがしかし間違え易い
事実2: オブジェクトプロパティはがっちりしないが毛様体である
事実3: オブジェクトプロパティはがっちりしない
事実4: もし仮になにがしかの物が派遣先責任者であるとしたらそれは概観しないし歩き易い
事実5: もしその集合研修はオブジェクトプロパティならば「がっちりしない」ということは正しい
事実6: もしもその集合研修は外国法であるとすると住み易くないがしかしがっちりする
事実7: 「仮に「オブジェクトプロパティだ」ということは事実だとすればがっちりしない」物はある

仮説: 「もし仮にオブジェクトプロパティだとするとがっちりしなくてその上毛様体である」ものはある
1. 事実2から、推論1: "もしその集合研修がオブジェクトプロパティならそれはがっちりするということはないしそれは毛様体である"が導かれる
2. 推論1から、仮説が導かれる

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