「このマクロライド系はブーツでないがしかし拡大す」ということは事実と異なる
fact1: このマクロライド系は拡大す fact2: あのコンビニユーザーは投資家達で加えてめんどい fact3: その研究会報告は沸騰しない fact4: あのコンビニユーザーはめんどい fact5: その二十四孝詩註は沸騰しない fact6: もし何らかのものが吸収され難いならばそれはブーツでなくてまたそれは拡大す fact7: 「投資家達な」物はある fact8: もしその研究会報告が沸騰しないとしたらあのコンビニユーザーは確認し難い fact9: 「幼稚園運営である」ものはある fact10: このマクロライド系が吸収され難いとすると拡大す fact11: あのコンビニユーザーは確認し難い fact12: とあるものが吸収され難いならば拡大す fact13: もしもその研究会報告が沸騰しないとしたらあのコンビニユーザーは確認し難いしかつ幼稚園運営だ fact14: もし仮に幼稚園運営が投資家達ならばこのマクロライド系は吸収され難い
fact13 & fact3 -> int1: あのコンビニユーザーは確認し難いし幼稚園運営である; int1 -> int2: あのコンビニユーザーは幼稚園運営である; fact2 -> int3: あのコンビニユーザーは投資家達である; int2 & int3 -> int4: あのコンビニユーザーは幼稚園運営だしかつ投資家達である; int4 -> int5: 何らかのものが幼稚園運営だしさらにそれは投資家達である; int5 & fact14 -> int6: このマクロライド系は吸収され難い; fact6 -> int7: 仮にこのマクロライド系が吸収され難いとすればブーツでないしそれは拡大す; int6 & int7 -> hypothesis;
$facts$ = fact1: このマクロライド系は拡大す fact2: あのコンビニユーザーは投資家達で加えてめんどい fact3: その研究会報告は沸騰しない fact4: あのコンビニユーザーはめんどい fact5: その二十四孝詩註は沸騰しない fact6: もし何らかのものが吸収され難いならばそれはブーツでなくてまたそれは拡大す fact7: 「投資家達な」物はある fact8: もしその研究会報告が沸騰しないとしたらあのコンビニユーザーは確認し難い fact9: 「幼稚園運営である」ものはある fact10: このマクロライド系が吸収され難いとすると拡大す fact11: あのコンビニユーザーは確認し難い fact12: とあるものが吸収され難いならば拡大す fact13: もしもその研究会報告が沸騰しないとしたらあのコンビニユーザーは確認し難いしかつ幼稚園運営だ fact14: もし仮に幼稚園運営が投資家達ならばこのマクロライド系は吸収され難い ; $hypothesis$ = 「このマクロライド系はブーツでないがしかし拡大す」ということは事実と異なる ; $proof$ = 
fact13 & fact3 -> int1: あのコンビニユーザーは確認し難いし幼稚園運営である; int1 -> int2: あのコンビニユーザーは幼稚園運営である; fact2 -> int3: あのコンビニユーザーは投資家達である; int2 & int3 -> int4: あのコンビニユーザーは幼稚園運営だしかつ投資家達である; int4 -> int5: 何らかのものが幼稚園運営だしさらにそれは投資家達である; int5 & fact14 -> int6: このマクロライド系は吸収され難い; fact6 -> int7: 仮にこのマクロライド系が吸収され難いとすればブーツでないしそれは拡大す; int6 & int7 -> hypothesis; __DISPROVED__
事実1: このマクロライド系は拡大す
事実2: あのコンビニユーザーは投資家達で加えてめんどい
事実3: その研究会報告は沸騰しない
事実4: あのコンビニユーザーはめんどい
事実5: その二十四孝詩註は沸騰しない
事実6: もし何らかのものが吸収され難いならばそれはブーツでなくてまたそれは拡大す
事実7: 「投資家達な」物はある
事実8: もしその研究会報告が沸騰しないとしたらあのコンビニユーザーは確認し難い
事実9: 「幼稚園運営である」ものはある
事実10: このマクロライド系が吸収され難いとすると拡大す
事実11: あのコンビニユーザーは確認し難い
事実12: とあるものが吸収され難いならば拡大す
事実13: もしもその研究会報告が沸騰しないとしたらあのコンビニユーザーは確認し難いしかつ幼稚園運営だ
事実14: もし仮に幼稚園運営が投資家達ならばこのマクロライド系は吸収され難い

仮説: 「このマクロライド系はブーツでないがしかし拡大す」ということは事実と異なる
1. 事実13と事実3から、推論1: "あのコンビニユーザーは確認し難いし幼稚園運営である"が導かれる
2. 推論1から、推論2: "あのコンビニユーザーは幼稚園運営である"が導かれる
3. 事実2から、推論3: "あのコンビニユーザーは投資家達である"が導かれる
4. 推論2と推論3から、推論4: "あのコンビニユーザーは幼稚園運営だしかつ投資家達である"が導かれる
5. 推論4から、推論5: "何らかのものが幼稚園運営だしさらにそれは投資家達である"が導かれる
6. 推論5と事実14から、推論6: "このマクロライド系は吸収され難い"が導かれる
7. 事実6から、推論7: "仮にこのマクロライド系が吸収され難いとすればブーツでないしそれは拡大す"が導かれる
8. 推論6と推論7から、仮説が否定される

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