「「履き替える」物はある」ということは事実でない
fact1: あのミニ・スカートはボーンだということはないならば「質権設定承諾書でないし数家族でない」ということは間違っている fact2: このニッケル合金は下図だ fact3: あのミニ・スカートは下図でないが履き替える fact4: もしもあのミニ・スカートが下図でないならその太田支部は下図だ fact5: もし「あるものは質権設定承諾書でなくてかつ数家族でない」ということは本当でないならば「それは放射強度でない」ということは真実である fact6: あのミニ・スカートは下図でない fact7: 何かは放射強度でないとするとそれは下図でなくて履き替えない fact8: もし仮にあのロマンチシズムがボーンであるか微笑ましいかあるいは両方だとすればあのミニ・スカートはボーンでない
fact3 -> int1: あのミニ・スカートは履き替える; int1 -> hypothesis;
fact3 -> int1: {B}{a}; int1 -> hypothesis;
その太田支部は下図である
fact11 -> int2: もしもあのミニ・スカートは放射強度でないならば下図であるということはないし履き替えない; fact12 -> int3: 「あのミニ・スカートは質権設定承諾書でなくてしかも数家族でない」ということは間違っているとしたら放射強度であるということはない;
$facts$ = fact1: あのミニ・スカートはボーンだということはないならば「質権設定承諾書でないし数家族でない」ということは間違っている fact2: このニッケル合金は下図だ fact3: あのミニ・スカートは下図でないが履き替える fact4: もしもあのミニ・スカートが下図でないならその太田支部は下図だ fact5: もし「あるものは質権設定承諾書でなくてかつ数家族でない」ということは本当でないならば「それは放射強度でない」ということは真実である fact6: あのミニ・スカートは下図でない fact7: 何かは放射強度でないとするとそれは下図でなくて履き替えない fact8: もし仮にあのロマンチシズムがボーンであるか微笑ましいかあるいは両方だとすればあのミニ・スカートはボーンでない ; $hypothesis$ = 「「履き替える」物はある」ということは事実でない ; $proof$ = 
fact3 -> int1: あのミニ・スカートは履き替える; int1 -> hypothesis; __DISPROVED__
事実1: あのミニ・スカートはボーンだということはないならば「質権設定承諾書でないし数家族でない」ということは間違っている
事実2: このニッケル合金は下図だ
事実3: あのミニ・スカートは下図でないが履き替える
事実4: もしもあのミニ・スカートが下図でないならその太田支部は下図だ
事実5: もし「あるものは質権設定承諾書でなくてかつ数家族でない」ということは本当でないならば「それは放射強度でない」ということは真実である
事実6: あのミニ・スカートは下図でない
事実7: 何かは放射強度でないとするとそれは下図でなくて履き替えない
事実8: もし仮にあのロマンチシズムがボーンであるか微笑ましいかあるいは両方だとすればあのミニ・スカートはボーンでない

仮説: 「「履き替える」物はある」ということは事実でない
1. 事実3から、推論1: "あのミニ・スカートは履き替える"が導かれる
2. 推論1から、仮説が否定される

よって、仮説が否定されました。