「もしそのインターネット関連が丹毒であるとしたらその血清学的検査は金看板だ」ということは誤っている
fact1: その内火艇は案でまた瓢箪である fact2: 仮にその血清学的検査が遠征するし丹毒であるならそのインターネット関連は金看板でない fact3: 「遠征するしかつ丹毒である」物はある fact4: その内火艇は案だ fact5: もしもその内火艇が案だしさらに瓢箪であるならばそのインターネット関連は遠征しない fact6: 「遠征しない」物はある fact7: そのインターネット関連は瓢箪だということはないけど丹毒だ fact8: 何かは丹毒である fact9: 「遠征しないしおまけに丹毒な」物があるならその血清学的検査は金看板だ fact10: その宮座は案だ
fact5 & fact1 -> int1: そのインターネット関連は遠征しない; void -> assump1: 以下のように仮定する。そのインターネット関連は丹毒である; int1 & assump1 -> int2: そのインターネット関連は遠征しない一方でそれは丹毒だ; int2 -> int3: 何かは遠征しないけれどそれは丹毒である; int3 & fact9 -> int4: その血清学的検査は金看板だ; [assump1] & int4 -> hypothesis;
$facts$ = fact1: その内火艇は案でまた瓢箪である fact2: 仮にその血清学的検査が遠征するし丹毒であるならそのインターネット関連は金看板でない fact3: 「遠征するしかつ丹毒である」物はある fact4: その内火艇は案だ fact5: もしもその内火艇が案だしさらに瓢箪であるならばそのインターネット関連は遠征しない fact6: 「遠征しない」物はある fact7: そのインターネット関連は瓢箪だということはないけど丹毒だ fact8: 何かは丹毒である fact9: 「遠征しないしおまけに丹毒な」物があるならその血清学的検査は金看板だ fact10: その宮座は案だ ; $hypothesis$ = 「もしそのインターネット関連が丹毒であるとしたらその血清学的検査は金看板だ」ということは誤っている ; $proof$ = 
fact5 & fact1 -> int1: そのインターネット関連は遠征しない; void -> assump1: 以下のように仮定する。そのインターネット関連は丹毒である; int1 & assump1 -> int2: そのインターネット関連は遠征しない一方でそれは丹毒だ; int2 -> int3: 何かは遠征しないけれどそれは丹毒である; int3 & fact9 -> int4: その血清学的検査は金看板だ; [assump1] & int4 -> hypothesis; __DISPROVED__
事実1: その内火艇は案でまた瓢箪である
事実2: 仮にその血清学的検査が遠征するし丹毒であるならそのインターネット関連は金看板でない
事実3: 「遠征するしかつ丹毒である」物はある
事実4: その内火艇は案だ
事実5: もしもその内火艇が案だしさらに瓢箪であるならばそのインターネット関連は遠征しない
事実6: 「遠征しない」物はある
事実7: そのインターネット関連は瓢箪だということはないけど丹毒だ
事実8: 何かは丹毒である
事実9: 「遠征しないしおまけに丹毒な」物があるならその血清学的検査は金看板だ
事実10: その宮座は案だ

仮説: 「もしそのインターネット関連が丹毒であるとしたらその血清学的検査は金看板だ」ということは誤っている
1. 事実5と事実1から、推論1: "そのインターネット関連は遠征しない"が導かれる
2. 仮定1: 以下のように仮定する。そのインターネット関連は丹毒である
3. 推論1と仮定1から、推論2: "そのインターネット関連は遠征しない一方でそれは丹毒だ"が導かれる
4. 推論2から、推論3: "何かは遠征しないけれどそれは丹毒である"が導かれる
5. 推論3と事実9から、推論4: "その血清学的検査は金看板だ"が導かれる
6. [仮定1]と推論4から、仮説が否定される

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