この墓地は出し難いけれどそれは寄せ集めない
fact1: もしもあの投資額が御喋らないとすればすーごくない fact2: もしもなにかは酸いけれど分かり辛くないとしたらそれは寄せ集めない fact3: この墓地は分かり辛くない fact4: 仮にあるものが訓示しないならば酸くない一方で分かり辛い fact5: もし仮にこの企業・団体が分かり辛くないとすればあの墓地は出し難いがしかし寄せ集めない fact6: このコーディネータは可笑し fact7: もしこの墓地は分かり辛くないとすれば「出し難くてそれは寄せ集めない」ということは誤っている fact8: もしもその粉屋が酸いということはないが分かり辛いならこの企業・団体は分かり辛くない fact9: 可笑しものは御喋らないしさらに街らしくない fact10: すーごくないものは拍手するかあるいはモールドでないか両方ともだ fact11: 仮にこのコーディネータが御喋らないならばあの投資額は御喋らない
fact7 & fact3 -> hypothesis;
fact7 & fact3 -> hypothesis;
そのフェイクは寄せ集めない
fact12 -> int1: 仮にそのフェイクが酸いけど分かり辛くないなら寄せ集めない;
$facts$ = fact1: もしもあの投資額が御喋らないとすればすーごくない fact2: もしもなにかは酸いけれど分かり辛くないとしたらそれは寄せ集めない fact3: この墓地は分かり辛くない fact4: 仮にあるものが訓示しないならば酸くない一方で分かり辛い fact5: もし仮にこの企業・団体が分かり辛くないとすればあの墓地は出し難いがしかし寄せ集めない fact6: このコーディネータは可笑し fact7: もしこの墓地は分かり辛くないとすれば「出し難くてそれは寄せ集めない」ということは誤っている fact8: もしもその粉屋が酸いということはないが分かり辛いならこの企業・団体は分かり辛くない fact9: 可笑しものは御喋らないしさらに街らしくない fact10: すーごくないものは拍手するかあるいはモールドでないか両方ともだ fact11: 仮にこのコーディネータが御喋らないならばあの投資額は御喋らない ; $hypothesis$ = この墓地は出し難いけれどそれは寄せ集めない ; $proof$ = 
fact7 & fact3 -> hypothesis; __DISPROVED__
事実1: もしもあの投資額が御喋らないとすればすーごくない
事実2: もしもなにかは酸いけれど分かり辛くないとしたらそれは寄せ集めない
事実3: この墓地は分かり辛くない
事実4: 仮にあるものが訓示しないならば酸くない一方で分かり辛い
事実5: もし仮にこの企業・団体が分かり辛くないとすればあの墓地は出し難いがしかし寄せ集めない
事実6: このコーディネータは可笑し
事実7: もしこの墓地は分かり辛くないとすれば「出し難くてそれは寄せ集めない」ということは誤っている
事実8: もしもその粉屋が酸いということはないが分かり辛いならこの企業・団体は分かり辛くない
事実9: 可笑しものは御喋らないしさらに街らしくない
事実10: すーごくないものは拍手するかあるいはモールドでないか両方ともだ
事実11: 仮にこのコーディネータが御喋らないならばあの投資額は御喋らない

仮説: この墓地は出し難いけれどそれは寄せ集めない
1. 事実7と事実3から、仮説が否定される

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