「この試験管内がデジタルでないとするとこの深部腱反射は淀み無いかもしくは塁であるかまたはどちらもである」ということは間違いである
fact1: この深部腱反射が晒され易くない一方で塁ならこのリモート参照は中国流である fact2: このリモート参照は淀み無い fact3: もしもこのリモート参照は晒され易いなら「このＦＲは中国流であるが発電しない」ということは真実でない fact4: 「この試験管内は帰依する」ということは確かである fact5: 仮にこの試験管内がデジタルであるしかつ中国流であるとすればこの深部腱反射は淀み無い fact6: このリモート参照は身投げする fact7: このリモート参照は発電するししかもそれは晒され易い fact8: もしもこのリモート参照が発電しないけれどデジタルだとするとこの試験管内は中国流だ fact9: この深部腱反射は晒され易くない fact10: もし仮にこのリモート参照が発電するとしたらこの試験管内は中国流である fact11: もしこのリモート参照が晒され易いし発電するとしたらこの深部腱反射は発電しない fact12: このリモート参照は塁であるかあるいは晒され易いかもしくはどちらもだ fact13: この試験管内は正常位でない一方で甲斐甲斐しい fact14: もしこの試験管内が晒され易いとするとこのリモート参照は中国流である fact15: この試験管内がデジタルでないがしかし中国流だとするとこの深部腱反射は淀み無い fact16: もしも「この深部腱反射は晒され易くない」ということは本当であるならばあのリモート参照は塁であるか中国流であるかあるいは両方ともである fact17: この毛細血管壁は晒され易い fact18: この試験管内は晒され易い fact19: このリモート参照は晒され易い fact20: もし仮にこの試験管内はデジタルならば「この深部腱反射は淀み無いかまたは塁だ」ということは事実である fact21: もしこの深部腱反射が発電するならこのリモート参照は淀み無い fact22: この試験管内は塁だ
fact7 -> int1: このリモート参照は発電する; int1 & fact10 -> int2: この試験管内は中国流だ; void -> assump1: 以下のように仮定する。この試験管内はデジタルでない; int2 & assump1 -> int3: この試験管内はデジタルでないけれど中国流である; int3 & fact15 -> int4: この深部腱反射は淀み無い; int4 -> int5: この深部腱反射は淀み無いか塁であるかあるいは両方ともである; [assump1] & int5 -> hypothesis;
このＦＲは中国流であるということはない
$facts$ = fact1: この深部腱反射が晒され易くない一方で塁ならこのリモート参照は中国流である fact2: このリモート参照は淀み無い fact3: もしもこのリモート参照は晒され易いなら「このＦＲは中国流であるが発電しない」ということは真実でない fact4: 「この試験管内は帰依する」ということは確かである fact5: 仮にこの試験管内がデジタルであるしかつ中国流であるとすればこの深部腱反射は淀み無い fact6: このリモート参照は身投げする fact7: このリモート参照は発電するししかもそれは晒され易い fact8: もしもこのリモート参照が発電しないけれどデジタルだとするとこの試験管内は中国流だ fact9: この深部腱反射は晒され易くない fact10: もし仮にこのリモート参照が発電するとしたらこの試験管内は中国流である fact11: もしこのリモート参照が晒され易いし発電するとしたらこの深部腱反射は発電しない fact12: このリモート参照は塁であるかあるいは晒され易いかもしくはどちらもだ fact13: この試験管内は正常位でない一方で甲斐甲斐しい fact14: もしこの試験管内が晒され易いとするとこのリモート参照は中国流である fact15: この試験管内がデジタルでないがしかし中国流だとするとこの深部腱反射は淀み無い fact16: もしも「この深部腱反射は晒され易くない」ということは本当であるならばあのリモート参照は塁であるか中国流であるかあるいは両方ともである fact17: この毛細血管壁は晒され易い fact18: この試験管内は晒され易い fact19: このリモート参照は晒され易い fact20: もし仮にこの試験管内はデジタルならば「この深部腱反射は淀み無いかまたは塁だ」ということは事実である fact21: もしこの深部腱反射が発電するならこのリモート参照は淀み無い fact22: この試験管内は塁だ ; $hypothesis$ = 「この試験管内がデジタルでないとするとこの深部腱反射は淀み無いかもしくは塁であるかまたはどちらもである」ということは間違いである ; $proof$ = 
fact7 -> int1: このリモート参照は発電する; int1 & fact10 -> int2: この試験管内は中国流だ; void -> assump1: 以下のように仮定する。この試験管内はデジタルでない; int2 & assump1 -> int3: この試験管内はデジタルでないけれど中国流である; int3 & fact15 -> int4: この深部腱反射は淀み無い; int4 -> int5: この深部腱反射は淀み無いか塁であるかあるいは両方ともである; [assump1] & int5 -> hypothesis; __DISPROVED__
事実1: この深部腱反射が晒され易くない一方で塁ならこのリモート参照は中国流である
事実2: このリモート参照は淀み無い
事実3: もしもこのリモート参照は晒され易いなら「このＦＲは中国流であるが発電しない」ということは真実でない
事実4: 「この試験管内は帰依する」ということは確かである
事実5: 仮にこの試験管内がデジタルであるしかつ中国流であるとすればこの深部腱反射は淀み無い
事実6: このリモート参照は身投げする
事実7: このリモート参照は発電するししかもそれは晒され易い
事実8: もしもこのリモート参照が発電しないけれどデジタルだとするとこの試験管内は中国流だ
事実9: この深部腱反射は晒され易くない
事実10: もし仮にこのリモート参照が発電するとしたらこの試験管内は中国流である
事実11: もしこのリモート参照が晒され易いし発電するとしたらこの深部腱反射は発電しない
事実12: このリモート参照は塁であるかあるいは晒され易いかもしくはどちらもだ
事実13: この試験管内は正常位でない一方で甲斐甲斐しい
事実14: もしこの試験管内が晒され易いとするとこのリモート参照は中国流である
事実15: この試験管内がデジタルでないがしかし中国流だとするとこの深部腱反射は淀み無い
事実16: もしも「この深部腱反射は晒され易くない」ということは本当であるならばあのリモート参照は塁であるか中国流であるかあるいは両方ともである
事実17: この毛細血管壁は晒され易い
事実18: この試験管内は晒され易い
事実19: このリモート参照は晒され易い
事実20: もし仮にこの試験管内はデジタルならば「この深部腱反射は淀み無いかまたは塁だ」ということは事実である
事実21: もしこの深部腱反射が発電するならこのリモート参照は淀み無い
事実22: この試験管内は塁だ

仮説: 「この試験管内がデジタルでないとするとこの深部腱反射は淀み無いかもしくは塁であるかまたはどちらもである」ということは間違いである
1. 事実7から、推論1: "このリモート参照は発電する"が導かれる
2. 推論1と事実10から、推論2: "この試験管内は中国流だ"が導かれる
3. 仮定1: 以下のように仮定する。この試験管内はデジタルでない
4. 推論2と仮定1から、推論3: "この試験管内はデジタルでないけれど中国流である"が導かれる
5. 推論3と事実15から、推論4: "この深部腱反射は淀み無い"が導かれる
6. 推論4から、推論5: "この深部腱反射は淀み無いか塁であるかあるいは両方ともである"が導かれる
7. [仮定1]と推論5から、仮説が否定される

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