その設備運営基準は事業再編だ
fact1: もし仮にそのメモリがソートするとすればあの最小読み取り値は決議する fact2: この最小読み取り値はソートしない fact3: もし仮に「その設備運営基準は事業再編である」ということは成り立つとするとそのメモリはソートする fact4: この最小読み取り値は例外無くなくて加えて重くない fact5: 仮にこの最小読み取り値が決議するとすればそれは流され易い fact6: もしこの最小読み取り値は例外無いということはないし加えて重くないとすると流され易くない
void -> assump1: 以下のように仮定する。その設備運営基準は事業再編だ; fact3 & assump1 -> int1: そのメモリはソートする; int1 & fact1 -> int2: 「この最小読み取り値は決議する」ということは確かだ; int2 & fact5 -> int3: この最小読み取り値は流され易い; fact4 & fact6 -> int4: この最小読み取り値は流され易くない; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> hypothesis;
$facts$ = fact1: もし仮にそのメモリがソートするとすればあの最小読み取り値は決議する fact2: この最小読み取り値はソートしない fact3: もし仮に「その設備運営基準は事業再編である」ということは成り立つとするとそのメモリはソートする fact4: この最小読み取り値は例外無くなくて加えて重くない fact5: 仮にこの最小読み取り値が決議するとすればそれは流され易い fact6: もしこの最小読み取り値は例外無いということはないし加えて重くないとすると流され易くない ; $hypothesis$ = その設備運営基準は事業再編だ ; $proof$ = 
void -> assump1: 以下のように仮定する。その設備運営基準は事業再編だ; fact3 & assump1 -> int1: そのメモリはソートする; int1 & fact1 -> int2: 「この最小読み取り値は決議する」ということは確かだ; int2 & fact5 -> int3: この最小読み取り値は流され易い; fact4 & fact6 -> int4: この最小読み取り値は流され易くない; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> hypothesis; __DISPROVED__
事実1: もし仮にそのメモリがソートするとすればあの最小読み取り値は決議する
事実2: この最小読み取り値はソートしない
事実3: もし仮に「その設備運営基準は事業再編である」ということは成り立つとするとそのメモリはソートする
事実4: この最小読み取り値は例外無くなくて加えて重くない
事実5: 仮にこの最小読み取り値が決議するとすればそれは流され易い
事実6: もしこの最小読み取り値は例外無いということはないし加えて重くないとすると流され易くない

仮説: その設備運営基準は事業再編だ
1. 仮定1: 以下のように仮定する。その設備運営基準は事業再編だ
2. 事実3と仮定1から、推論1: "そのメモリはソートする"が導かれる
3. 推論1と事実1から、推論2: "「この最小読み取り値は決議する」ということは確かだ"が導かれる
4. 推論2と事実5から、推論3: "この最小読み取り値は流され易い"が導かれる
5. 事実4と事実6から、推論4: "この最小読み取り値は流され易くない"が導かれる
6. 推論3と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、仮説が否定される

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