この多次元は集結する
fact1: 仮に何らかの物が小病院であるかもしくはホスト名であるか両方ともならこの多次元は集結しない fact2: この九十三参照はホスト名である fact3: とある物は退出でないならば「小病院でないか集結する」ということは嘘だ fact4: この多次元はホスト名であるということはない fact5: 仮に「小病院である」物があるとしたらこの多次元は集結するということはない fact6: 何かは小病院ならばこの多次元は小病院であるかあるいはそれはホスト名だ fact7: もし何らかのものは真新しいということはないとしたら「それは同じくくないかあるいは退出でない」ということは確かだということはない fact8: 小病院は集結する fact9: その少年少女は自分らしい fact10: もし仮にある物がホスト名であるかもしくは小病院ならばあの九十三参照は集結しない
fact2 -> int1: この九十三参照は小病院であるかもしくはそれはホスト名であるかまたは両方だ; int1 -> int2: なにがしかの物は小病院であるかもしくはそれはホスト名であるかもしくは両方ともである; int2 & fact1 -> hypothesis;
fact2 -> int1: ({A}{a} v {B}{a}); int1 -> int2: (Ex): ({A}x v {B}x); int2 & fact1 -> hypothesis;
そのネフローゼはホスト名だということはない
fact11 -> int3: もしも「この多次元は退出でない」ということは正しいなら「それは小病院でないか集結するかまたは両方である」ということは成り立たない;
$facts$ = fact1: 仮に何らかの物が小病院であるかもしくはホスト名であるか両方ともならこの多次元は集結しない fact2: この九十三参照はホスト名である fact3: とある物は退出でないならば「小病院でないか集結する」ということは嘘だ fact4: この多次元はホスト名であるということはない fact5: 仮に「小病院である」物があるとしたらこの多次元は集結するということはない fact6: 何かは小病院ならばこの多次元は小病院であるかあるいはそれはホスト名だ fact7: もし何らかのものは真新しいということはないとしたら「それは同じくくないかあるいは退出でない」ということは確かだということはない fact8: 小病院は集結する fact9: その少年少女は自分らしい fact10: もし仮にある物がホスト名であるかもしくは小病院ならばあの九十三参照は集結しない ; $hypothesis$ = この多次元は集結する ; $proof$ = 
fact2 -> int1: この九十三参照は小病院であるかもしくはそれはホスト名であるかまたは両方だ; int1 -> int2: なにがしかの物は小病院であるかもしくはそれはホスト名であるかもしくは両方ともである; int2 & fact1 -> hypothesis; __DISPROVED__
事実1: 仮に何らかの物が小病院であるかもしくはホスト名であるか両方ともならこの多次元は集結しない
事実2: この九十三参照はホスト名である
事実3: とある物は退出でないならば「小病院でないか集結する」ということは嘘だ
事実4: この多次元はホスト名であるということはない
事実5: 仮に「小病院である」物があるとしたらこの多次元は集結するということはない
事実6: 何かは小病院ならばこの多次元は小病院であるかあるいはそれはホスト名だ
事実7: もし何らかのものは真新しいということはないとしたら「それは同じくくないかあるいは退出でない」ということは確かだということはない
事実8: 小病院は集結する
事実9: その少年少女は自分らしい
事実10: もし仮にある物がホスト名であるかもしくは小病院ならばあの九十三参照は集結しない

仮説: この多次元は集結する
1. 事実2から、推論1: "この九十三参照は小病院であるかもしくはそれはホスト名であるかまたは両方だ"が導かれる
2. 推論1から、推論2: "なにがしかの物は小病院であるかもしくはそれはホスト名であるかもしくは両方ともである"が導かれる
3. 推論2と事実1から、仮説が否定される

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