もし仮に「この好き放題は若し」ということは確かであるならその溶接物は別言する
fact1: この好き放題は別言する fact2: もし仮に「その抱合は補導しないかまたは東北本線でないかもしくは両方ともだ」ということは誤りならばその溶接物は別言する fact3: 「この好き放題は東北本線だ」ということは成り立つ fact4: もし仮に「この好き放題は若し」ということは成り立つとしたら「その抱合は補導しないかまたは東北本線でないかまたは両方だ」ということは事実と異なる fact5: 「この好き放題は別言しないかもしくは若しないかもしくはどちらもだ」ということは成り立つということはない fact6: 仮にその溶接物は東北本線であるなら「その抱合は補導しないかまたはそれは別言しないか両方ともである」ということは偽である
void -> assump1: 以下のように仮定する。この好き放題は若し; fact4 & assump1 -> int1: 「その抱合は補導しないかまたはそれは東北本線でないかあるいは両方ともである」ということは偽だ; int1 & fact2 -> int2: その溶接物は別言する; [assump1] & int2 -> hypothesis;
$facts$ = fact1: この好き放題は別言する fact2: もし仮に「その抱合は補導しないかまたは東北本線でないかもしくは両方ともだ」ということは誤りならばその溶接物は別言する fact3: 「この好き放題は東北本線だ」ということは成り立つ fact4: もし仮に「この好き放題は若し」ということは成り立つとしたら「その抱合は補導しないかまたは東北本線でないかまたは両方だ」ということは事実と異なる fact5: 「この好き放題は別言しないかもしくは若しないかもしくはどちらもだ」ということは成り立つということはない fact6: 仮にその溶接物は東北本線であるなら「その抱合は補導しないかまたはそれは別言しないか両方ともである」ということは偽である ; $hypothesis$ = もし仮に「この好き放題は若し」ということは確かであるならその溶接物は別言する ; $proof$ = 
void -> assump1: 以下のように仮定する。この好き放題は若し; fact4 & assump1 -> int1: 「その抱合は補導しないかまたはそれは東北本線でないかあるいは両方ともである」ということは偽だ; int1 & fact2 -> int2: その溶接物は別言する; [assump1] & int2 -> hypothesis; __PROVED__
事実1: この好き放題は別言する
事実2: もし仮に「その抱合は補導しないかまたは東北本線でないかもしくは両方ともだ」ということは誤りならばその溶接物は別言する
事実3: 「この好き放題は東北本線だ」ということは成り立つ
事実4: もし仮に「この好き放題は若し」ということは成り立つとしたら「その抱合は補導しないかまたは東北本線でないかまたは両方だ」ということは事実と異なる
事実5: 「この好き放題は別言しないかもしくは若しないかもしくはどちらもだ」ということは成り立つということはない
事実6: 仮にその溶接物は東北本線であるなら「その抱合は補導しないかまたはそれは別言しないか両方ともである」ということは偽である

仮説: もし仮に「この好き放題は若し」ということは確かであるならその溶接物は別言する
1. 仮定1: 以下のように仮定する。この好き放題は若し
2. 事実4と仮定1から、推論1: "「その抱合は補導しないかまたはそれは東北本線でないかあるいは両方ともである」ということは偽だ"が導かれる
3. 推論1と事実2から、推論2: "その溶接物は別言する"が導かれる
4. [仮定1]と推論2から、仮説が導かれる

よって、仮説が証明されました。