この一覧画面は夜這いでないかあるいは圧迫止血する
fact1: 仮になんらかのものが告訴しないかもしくは切り抜きツールでないならそれは圧倒するということはない fact2: 熱い物は考慮すが切り抜きツールでない fact3: 仮に「この一覧画面は告訴しない」ということは正しいならそれは夜這いだということはないか圧迫止血するかどちらもだ fact4: この一覧画面は熱い fact5: もし仮にこの漁協は告訴しないなら「この一覧画面は夜這いでないかまたはそれは圧迫止血する」ということは事実と異なる fact6: 仮にこの一覧画面が告訴しないとすると夜這いであるかまたは圧迫止血する fact7: もし仮にその上腕が生温くないとするとそれは上場基準でないかまたは圧迫止血するかもしくはどちらもである fact8: 「この一覧画面は精力でないかあるいは告訴する」ということは事実である fact9: この一覧画面は告訴しない
fact3 & fact9 -> hypothesis;
「この一覧画面は夜這いだということはないかあるいはそれは圧迫止血するかまたはどちらもである」ということは誤りである
$facts$ = fact1: 仮になんらかのものが告訴しないかもしくは切り抜きツールでないならそれは圧倒するということはない fact2: 熱い物は考慮すが切り抜きツールでない fact3: 仮に「この一覧画面は告訴しない」ということは正しいならそれは夜這いだということはないか圧迫止血するかどちらもだ fact4: この一覧画面は熱い fact5: もし仮にこの漁協は告訴しないなら「この一覧画面は夜這いでないかまたはそれは圧迫止血する」ということは事実と異なる fact6: 仮にこの一覧画面が告訴しないとすると夜這いであるかまたは圧迫止血する fact7: もし仮にその上腕が生温くないとするとそれは上場基準でないかまたは圧迫止血するかもしくはどちらもである fact8: 「この一覧画面は精力でないかあるいは告訴する」ということは事実である fact9: この一覧画面は告訴しない ; $hypothesis$ = この一覧画面は夜這いでないかあるいは圧迫止血する ; $proof$ = 
fact3 & fact9 -> hypothesis; __PROVED__
事実1: 仮になんらかのものが告訴しないかもしくは切り抜きツールでないならそれは圧倒するということはない
事実2: 熱い物は考慮すが切り抜きツールでない
事実3: 仮に「この一覧画面は告訴しない」ということは正しいならそれは夜這いだということはないか圧迫止血するかどちらもだ
事実4: この一覧画面は熱い
事実5: もし仮にこの漁協は告訴しないなら「この一覧画面は夜這いでないかまたはそれは圧迫止血する」ということは事実と異なる
事実6: 仮にこの一覧画面が告訴しないとすると夜這いであるかまたは圧迫止血する
事実7: もし仮にその上腕が生温くないとするとそれは上場基準でないかまたは圧迫止血するかもしくはどちらもである
事実8: 「この一覧画面は精力でないかあるいは告訴する」ということは事実である
事実9: この一覧画面は告訴しない

仮説: この一覧画面は夜這いでないかあるいは圧迫止血する
1. 事実3と事実9から、仮説が導かれる

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