あのリベラリズムは崩壊し始めない
fact1: あの受け皿部署は太り易いしそれに崩壊し始める fact2: あの受け皿部署は入館無料で太り易い fact3: その内科医は太り易くてそれに言い辛い fact4: もしあのリベラリズムが受け継ぐとするとそれは崩壊し始めないしまた入館無料でない fact5: あの受け皿部署は太り易い fact6: もしも「あの受け皿部署は入館無料である」ということは本当であるとしたらあのリベラリズムは崩壊し始める fact7: もし仮にあの受け皿部署が崩壊し始めればあのリベラリズムは入館無料だ fact8: 仮にあの受け皿部署が太り易いとすればこの女真族は太り易い
fact2 -> int1: あの受け皿部署は入館無料だ; int1 & fact6 -> hypothesis;
この女真族は太り易くてかつ集合写真である
$facts$ = fact1: あの受け皿部署は太り易いしそれに崩壊し始める fact2: あの受け皿部署は入館無料で太り易い fact3: その内科医は太り易くてそれに言い辛い fact4: もしあのリベラリズムが受け継ぐとするとそれは崩壊し始めないしまた入館無料でない fact5: あの受け皿部署は太り易い fact6: もしも「あの受け皿部署は入館無料である」ということは本当であるとしたらあのリベラリズムは崩壊し始める fact7: もし仮にあの受け皿部署が崩壊し始めればあのリベラリズムは入館無料だ fact8: 仮にあの受け皿部署が太り易いとすればこの女真族は太り易い ; $hypothesis$ = あのリベラリズムは崩壊し始めない ; $proof$ = 
fact2 -> int1: あの受け皿部署は入館無料だ; int1 & fact6 -> hypothesis; __DISPROVED__
事実1: あの受け皿部署は太り易いしそれに崩壊し始める
事実2: あの受け皿部署は入館無料で太り易い
事実3: その内科医は太り易くてそれに言い辛い
事実4: もしあのリベラリズムが受け継ぐとするとそれは崩壊し始めないしまた入館無料でない
事実5: あの受け皿部署は太り易い
事実6: もしも「あの受け皿部署は入館無料である」ということは本当であるとしたらあのリベラリズムは崩壊し始める
事実7: もし仮にあの受け皿部署が崩壊し始めればあのリベラリズムは入館無料だ
事実8: 仮にあの受け皿部署が太り易いとすればこの女真族は太り易い

仮説: あのリベラリズムは崩壊し始めない
1. 事実2から、推論1: "あの受け皿部署は入館無料だ"が導かれる
2. 推論1と事実6から、仮説が否定される

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