とある物は開幕するが定員割れ状況でない
fact1: 仮に偏り易くないものは海外派遣であるとするとそれは渡れない fact2: あの十五日付けは開幕する fact3: あの十五日付けは偏り易くないがしかし海外派遣だ fact4: あの引き潮は開幕する fact5: 「あの十五日付けは定員割れ状況であるけれど渡れるということはない」ということは成り立たない
fact1 -> int1: 仮にあの十五日付けが偏り易くないけど海外派遣だとするとそれは渡れない; int1 & fact3 -> int2: あの十五日付けは渡れない; void -> assump1: 以下のように仮定する。「あの十五日付けは定員割れ状況である」ということは成り立つ; int2 & assump1 -> int3: あの十五日付けは定員割れ状況である一方で渡れない; int3 & fact5 -> int4: これは矛盾である; [assump1] & int4 -> int5: あの十五日付けは定員割れ状況でない; int5 & fact2 -> int6: あの十五日付けは開幕する一方で定員割れ状況でない; int6 -> hypothesis;
$facts$ = fact1: 仮に偏り易くないものは海外派遣であるとするとそれは渡れない fact2: あの十五日付けは開幕する fact3: あの十五日付けは偏り易くないがしかし海外派遣だ fact4: あの引き潮は開幕する fact5: 「あの十五日付けは定員割れ状況であるけれど渡れるということはない」ということは成り立たない ; $hypothesis$ = とある物は開幕するが定員割れ状況でない ; $proof$ = 
fact1 -> int1: 仮にあの十五日付けが偏り易くないけど海外派遣だとするとそれは渡れない; int1 & fact3 -> int2: あの十五日付けは渡れない; void -> assump1: 以下のように仮定する。「あの十五日付けは定員割れ状況である」ということは成り立つ; int2 & assump1 -> int3: あの十五日付けは定員割れ状況である一方で渡れない; int3 & fact5 -> int4: これは矛盾である; [assump1] & int4 -> int5: あの十五日付けは定員割れ状況でない; int5 & fact2 -> int6: あの十五日付けは開幕する一方で定員割れ状況でない; int6 -> hypothesis; __PROVED__
事実1: 仮に偏り易くないものは海外派遣であるとするとそれは渡れない
事実2: あの十五日付けは開幕する
事実3: あの十五日付けは偏り易くないがしかし海外派遣だ
事実4: あの引き潮は開幕する
事実5: 「あの十五日付けは定員割れ状況であるけれど渡れるということはない」ということは成り立たない

仮説: とある物は開幕するが定員割れ状況でない
1. 事実1から、推論1: "仮にあの十五日付けが偏り易くないけど海外派遣だとするとそれは渡れない"が導かれる
2. 推論1と事実3から、推論2: "あの十五日付けは渡れない"が導かれる
3. 仮定1: 以下のように仮定する。「あの十五日付けは定員割れ状況である」ということは成り立つ
4. 推論2と仮定1から、推論3: "あの十五日付けは定員割れ状況である一方で渡れない"が導かれる
5. 推論3と事実5から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "あの十五日付けは定員割れ状況でない"が導かれる
7. 推論5と事実2から、推論6: "あの十五日付けは開幕する一方で定員割れ状況でない"が導かれる
8. 推論6から、仮説が導かれる

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