あのエフェクトブラウザは付け置く
fact1: もしも「その正経は御奉公でないか頭頂高であるかどちらもである」ということは嘘だとしたらあのエフェクトブラウザは付け置かない fact2: 仮に「「とあるものは御奉公であるということはない一方でそれは在学する」ということは間違いでない」ということは成り立たないなら付け置く fact3: 「頭頂高である」ものはある fact4: もし仮に「頭頂高である」ものはあるとすると「あのエフェクトブラウザは御奉公でない一方で在学する」ということは成り立たない fact5: もしも「この合成化合物は在学する」ということは真実であるとすると「その正経は御奉公でないか頭頂高であるかあるいはどちらもである」ということは間違っている
fact3 & fact4 -> int1: 「あのエフェクトブラウザは御奉公でない一方で在学する」ということは本当でない; fact2 -> int2: 仮に「あのエフェクトブラウザは御奉公でないけど在学する」ということは成り立たないならば付け置く; int1 & int2 -> hypothesis;
あのエフェクトブラウザは付け置かない
$facts$ = fact1: もしも「その正経は御奉公でないか頭頂高であるかどちらもである」ということは嘘だとしたらあのエフェクトブラウザは付け置かない fact2: 仮に「「とあるものは御奉公であるということはない一方でそれは在学する」ということは間違いでない」ということは成り立たないなら付け置く fact3: 「頭頂高である」ものはある fact4: もし仮に「頭頂高である」ものはあるとすると「あのエフェクトブラウザは御奉公でない一方で在学する」ということは成り立たない fact5: もしも「この合成化合物は在学する」ということは真実であるとすると「その正経は御奉公でないか頭頂高であるかあるいはどちらもである」ということは間違っている ; $hypothesis$ = あのエフェクトブラウザは付け置く ; $proof$ = 
fact3 & fact4 -> int1: 「あのエフェクトブラウザは御奉公でない一方で在学する」ということは本当でない; fact2 -> int2: 仮に「あのエフェクトブラウザは御奉公でないけど在学する」ということは成り立たないならば付け置く; int1 & int2 -> hypothesis; __PROVED__
事実1: もしも「その正経は御奉公でないか頭頂高であるかどちらもである」ということは嘘だとしたらあのエフェクトブラウザは付け置かない
事実2: 仮に「「とあるものは御奉公であるということはない一方でそれは在学する」ということは間違いでない」ということは成り立たないなら付け置く
事実3: 「頭頂高である」ものはある
事実4: もし仮に「頭頂高である」ものはあるとすると「あのエフェクトブラウザは御奉公でない一方で在学する」ということは成り立たない
事実5: もしも「この合成化合物は在学する」ということは真実であるとすると「その正経は御奉公でないか頭頂高であるかあるいはどちらもである」ということは間違っている

仮説: あのエフェクトブラウザは付け置く
1. 事実3と事実4から、推論1: "「あのエフェクトブラウザは御奉公でない一方で在学する」ということは本当でない"が導かれる
2. 事実2から、推論2: "仮に「あのエフェクトブラウザは御奉公でないけど在学する」ということは成り立たないならば付け置く"が導かれる
3. 推論1と推論2から、仮説が導かれる

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