「その相談担当者はカタログであるしその上高潔である」ということは成り立たない
fact1: この感染リスクは鼓動する fact2: もし仮にその相談担当者が一般公開しないかまたはそれがカタログであるならばあの至誠はカタログだ fact3: その獲得が勤まればその相談担当者は一般公開しないかまたはカタログだ fact4: その相談担当者は高潔だ fact5: この感染リスクは一般公開するし鼓動する fact6: もし仮に何らかのものが鼓動しないとすると一般公開するしその上勤まらない fact7: もし仮にあるものは勤まらないとすれば「それは一般公開するということはない」ということは成り立つ fact8: 「その新規事業は取り除かなくておまけにそれは行儀良くない」ということは誤りだ fact9: 「この感染リスクは勤まる」ということは真実であるとすればその相談担当者はカタログだ fact10: この感染リスクはカタログである fact11: あのコンピュータゲームは訳無くない
fact7 -> int1: もし仮に「この感染リスクは勤まらない」ということは事実ならばそれは一般公開するということはない; void -> assump1: 以下のように仮定する。この感染リスクは勤まらない; int1 & assump1 -> int2: この感染リスクは一般公開しない; fact5 -> int3: この感染リスクは一般公開する; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: この感染リスクは勤まる; int5 & fact9 -> int6: その相談担当者はカタログである; int6 & fact4 -> hypothesis;
「その相談担当者はカタログだし高潔である」ということは誤りだ
fact12 -> int7: もし仮に「その獲得は鼓動する」ということは誤っているなら一般公開するしさらにそれは勤まらない; fact13 -> int8: 「「取り除かなくて加えて行儀良くない」ということは成り立たない」ものはある;
$facts$ = fact1: この感染リスクは鼓動する fact2: もし仮にその相談担当者が一般公開しないかまたはそれがカタログであるならばあの至誠はカタログだ fact3: その獲得が勤まればその相談担当者は一般公開しないかまたはカタログだ fact4: その相談担当者は高潔だ fact5: この感染リスクは一般公開するし鼓動する fact6: もし仮に何らかのものが鼓動しないとすると一般公開するしその上勤まらない fact7: もし仮にあるものは勤まらないとすれば「それは一般公開するということはない」ということは成り立つ fact8: 「その新規事業は取り除かなくておまけにそれは行儀良くない」ということは誤りだ fact9: 「この感染リスクは勤まる」ということは真実であるとすればその相談担当者はカタログだ fact10: この感染リスクはカタログである fact11: あのコンピュータゲームは訳無くない ; $hypothesis$ = 「その相談担当者はカタログであるしその上高潔である」ということは成り立たない ; $proof$ = 
fact7 -> int1: もし仮に「この感染リスクは勤まらない」ということは事実ならばそれは一般公開するということはない; void -> assump1: 以下のように仮定する。この感染リスクは勤まらない; int1 & assump1 -> int2: この感染リスクは一般公開しない; fact5 -> int3: この感染リスクは一般公開する; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: この感染リスクは勤まる; int5 & fact9 -> int6: その相談担当者はカタログである; int6 & fact4 -> hypothesis; __DISPROVED__
事実1: この感染リスクは鼓動する
事実2: もし仮にその相談担当者が一般公開しないかまたはそれがカタログであるならばあの至誠はカタログだ
事実3: その獲得が勤まればその相談担当者は一般公開しないかまたはカタログだ
事実4: その相談担当者は高潔だ
事実5: この感染リスクは一般公開するし鼓動する
事実6: もし仮に何らかのものが鼓動しないとすると一般公開するしその上勤まらない
事実7: もし仮にあるものは勤まらないとすれば「それは一般公開するということはない」ということは成り立つ
事実8: 「その新規事業は取り除かなくておまけにそれは行儀良くない」ということは誤りだ
事実9: 「この感染リスクは勤まる」ということは真実であるとすればその相談担当者はカタログだ
事実10: この感染リスクはカタログである
事実11: あのコンピュータゲームは訳無くない

仮説: 「その相談担当者はカタログであるしその上高潔である」ということは成り立たない
1. 事実7から、推論1: "もし仮に「この感染リスクは勤まらない」ということは事実ならばそれは一般公開するということはない"が導かれる
2. 仮定1: 以下のように仮定する。この感染リスクは勤まらない
3. 推論1と仮定1から、推論2: "この感染リスクは一般公開しない"が導かれる
4. 事実5から、推論3: "この感染リスクは一般公開する"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "この感染リスクは勤まる"が導かれる
7. 推論5と事実9から、推論6: "その相談担当者はカタログである"が導かれる
8. 推論6と事実4から、仮説が否定される

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