「「半球状であるか惑乱する」物はある」ということは確かでない
fact1: 「管でない」物はある fact2: 仮にその処置後が驚嘆するならばあの歯科保健は驚嘆するがしかし論うということはない fact3: その服薬指導時は半球状であるということはない fact4: 「驚嘆するかあるいは惑乱するか両方である」物はある fact5: もし仮に何らかの物は論う一方で凝固しないならばそれは惑乱する fact6: あの歯科保健は論うけれど接近し易いということはない fact7: もしもその服薬指導時が論うならその処置後は論うけど凝固しない fact8: その処置後は論うけど驚嘆しない fact9: もし仮に「管でない」物があるとするとあの歯科保健は驚嘆するけれど接近し易くない fact10: もし仮になにがしかの物が惑乱するがしかしそれは接近し易くないとすればそれは論う fact11: その処置後はうら若し fact12: とあるものは灯火であるかまたは掘り返す fact13: 仮に「あの歯科保健は驚嘆する」ということは確かだとすればあの服薬指導時は論う
fact1 & fact9 -> int1: あの歯科保健は驚嘆するけどそれは接近し易くない; int1 -> int2: あの歯科保健は驚嘆する; int2 & fact13 -> int3: その服薬指導時は論う; int3 & fact7 -> int4: その処置後は論うけど凝固しない; fact5 -> int5: もしその処置後は論うけれど凝固しないならば「惑乱する」ということは成り立つ; int4 & int5 -> int6: その処置後は惑乱する; int6 -> int7: その処置後は半球状であるかまたは惑乱するかあるいは両方ともである; int7 -> hypothesis;
$facts$ = fact1: 「管でない」物はある fact2: 仮にその処置後が驚嘆するならばあの歯科保健は驚嘆するがしかし論うということはない fact3: その服薬指導時は半球状であるということはない fact4: 「驚嘆するかあるいは惑乱するか両方である」物はある fact5: もし仮に何らかの物は論う一方で凝固しないならばそれは惑乱する fact6: あの歯科保健は論うけれど接近し易いということはない fact7: もしもその服薬指導時が論うならその処置後は論うけど凝固しない fact8: その処置後は論うけど驚嘆しない fact9: もし仮に「管でない」物があるとするとあの歯科保健は驚嘆するけれど接近し易くない fact10: もし仮になにがしかの物が惑乱するがしかしそれは接近し易くないとすればそれは論う fact11: その処置後はうら若し fact12: とあるものは灯火であるかまたは掘り返す fact13: 仮に「あの歯科保健は驚嘆する」ということは確かだとすればあの服薬指導時は論う ; $hypothesis$ = 「「半球状であるか惑乱する」物はある」ということは確かでない ; $proof$ = 
fact1 & fact9 -> int1: あの歯科保健は驚嘆するけどそれは接近し易くない; int1 -> int2: あの歯科保健は驚嘆する; int2 & fact13 -> int3: その服薬指導時は論う; int3 & fact7 -> int4: その処置後は論うけど凝固しない; fact5 -> int5: もしその処置後は論うけれど凝固しないならば「惑乱する」ということは成り立つ; int4 & int5 -> int6: その処置後は惑乱する; int6 -> int7: その処置後は半球状であるかまたは惑乱するかあるいは両方ともである; int7 -> hypothesis; __DISPROVED__
事実1: 「管でない」物はある
事実2: 仮にその処置後が驚嘆するならばあの歯科保健は驚嘆するがしかし論うということはない
事実3: その服薬指導時は半球状であるということはない
事実4: 「驚嘆するかあるいは惑乱するか両方である」物はある
事実5: もし仮に何らかの物は論う一方で凝固しないならばそれは惑乱する
事実6: あの歯科保健は論うけれど接近し易いということはない
事実7: もしもその服薬指導時が論うならその処置後は論うけど凝固しない
事実8: その処置後は論うけど驚嘆しない
事実9: もし仮に「管でない」物があるとするとあの歯科保健は驚嘆するけれど接近し易くない
事実10: もし仮になにがしかの物が惑乱するがしかしそれは接近し易くないとすればそれは論う
事実11: その処置後はうら若し
事実12: とあるものは灯火であるかまたは掘り返す
事実13: 仮に「あの歯科保健は驚嘆する」ということは確かだとすればあの服薬指導時は論う

仮説: 「「半球状であるか惑乱する」物はある」ということは確かでない
1. 事実1と事実9から、推論1: "あの歯科保健は驚嘆するけどそれは接近し易くない"が導かれる
2. 推論1から、推論2: "あの歯科保健は驚嘆する"が導かれる
3. 推論2と事実13から、推論3: "その服薬指導時は論う"が導かれる
4. 推論3と事実7から、推論4: "その処置後は論うけど凝固しない"が導かれる
5. 事実5から、推論5: "もしその処置後は論うけれど凝固しないならば「惑乱する」ということは成り立つ"が導かれる
6. 推論4と推論5から、推論6: "その処置後は惑乱する"が導かれる
7. 推論6から、推論7: "その処置後は半球状であるかまたは惑乱するかあるいは両方ともである"が導かれる
8. 推論7から、仮説が否定される

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