「そのホットは知り合いらしいということはない」ということは事実である
fact1: そのホットは減すということはない fact2: このエストロゲン効果は各自だ fact3: このエストロゲン効果が知り合いらしいとしたらそのホットは各自でない fact4: このエストロゲン効果は知り合いらしい fact5: 仮にこのエストロゲン効果が各自だとすればあのホットは知り合いらしくない fact6: もし仮にそのホットが許し難いならば知り合いらしいし各自でない fact7: そのホットが各自であるならばこのエストロゲン効果は知り合いらしいということはない fact8: この合気道は各自である
fact5 & fact2 -> hypothesis;
fact5 & fact2 -> hypothesis;
そのホットは知り合いらしい
$facts$ = fact1: そのホットは減すということはない fact2: このエストロゲン効果は各自だ fact3: このエストロゲン効果が知り合いらしいとしたらそのホットは各自でない fact4: このエストロゲン効果は知り合いらしい fact5: 仮にこのエストロゲン効果が各自だとすればあのホットは知り合いらしくない fact6: もし仮にそのホットが許し難いならば知り合いらしいし各自でない fact7: そのホットが各自であるならばこのエストロゲン効果は知り合いらしいということはない fact8: この合気道は各自である ; $hypothesis$ = 「そのホットは知り合いらしいということはない」ということは事実である ; $proof$ = 
fact5 & fact2 -> hypothesis; __PROVED__
事実1: そのホットは減すということはない
事実2: このエストロゲン効果は各自だ
事実3: このエストロゲン効果が知り合いらしいとしたらそのホットは各自でない
事実4: このエストロゲン効果は知り合いらしい
事実5: 仮にこのエストロゲン効果が各自だとすればあのホットは知り合いらしくない
事実6: もし仮にそのホットが許し難いならば知り合いらしいし各自でない
事実7: そのホットが各自であるならばこのエストロゲン効果は知り合いらしいということはない
事実8: この合気道は各自である

仮説: 「そのホットは知り合いらしいということはない」ということは事実である
1. 事実5と事実2から、仮説が導かれる

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