「仮に厚いならば女装する」物はある
fact1: 「もしも強迫性障害だとすれば徒らっぽい」ものはある fact2: もし「このＭＭＦは女装する」ということは本当であるならば併科する fact3: このＭＭＦがリターンなら女装する fact4: もしとあるものが遣り取りすればそれは女装する fact5: 「もしＰＡＴだとすると当たり始める」ものはある fact6: 「仮に少なしとすると円錐型である」ものはある fact7: このＭＭＦが厚いならばそれは女装する
fact7 -> hypothesis;
仮にこの中長期は遣り取りするとすると「女装する」ということは間違いだということはない
fact8 -> hypothesis;
$facts$ = fact1: 「もしも強迫性障害だとすれば徒らっぽい」ものはある fact2: もし「このＭＭＦは女装する」ということは本当であるならば併科する fact3: このＭＭＦがリターンなら女装する fact4: もしとあるものが遣り取りすればそれは女装する fact5: 「もしＰＡＴだとすると当たり始める」ものはある fact6: 「仮に少なしとすると円錐型である」ものはある fact7: このＭＭＦが厚いならばそれは女装する ; $hypothesis$ = 「仮に厚いならば女装する」物はある ; $proof$ = 
fact7 -> hypothesis; __PROVED__
事実1: 「もしも強迫性障害だとすれば徒らっぽい」ものはある
事実2: もし「このＭＭＦは女装する」ということは本当であるならば併科する
事実3: このＭＭＦがリターンなら女装する
事実4: もしとあるものが遣り取りすればそれは女装する
事実5: 「もしＰＡＴだとすると当たり始める」ものはある
事実6: 「仮に少なしとすると円錐型である」ものはある
事実7: このＭＭＦが厚いならばそれは女装する

仮説: 「仮に厚いならば女装する」物はある
1. 事実7から、仮説が導かれる

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