「徹夜でない」物はある
fact1: 仮にこの新本店所在地が連結するとするとこの二百一号機は易しない fact2: もしこの新本店所在地が易しないとしたらこの二百一号機は申告・納付する fact3: 「ビン・フィズ号でない」物はある fact4: もしなんらかのものは申告・納付するなら「それは連結する」ということは本当だ fact5: 「徹夜である」物はある fact6: もしこの二百一号機が連結するかまたは最短ルートだとしたらあのオランダ領東インドは徹夜であるということはない fact7: この新本店所在地は易しない
fact2 & fact7 -> int1: この二百一号機は申告・納付する; fact4 -> int2: もし仮にこの二百一号機が申告・納付するとするとそれは連結する; int1 & int2 -> int3: この二百一号機は連結する; int3 -> int4: この二百一号機は連結するかもしくは最短ルートである; int4 & fact6 -> int5: あのオランダ領東インドは徹夜でない; int5 -> hypothesis;
$facts$ = fact1: 仮にこの新本店所在地が連結するとするとこの二百一号機は易しない fact2: もしこの新本店所在地が易しないとしたらこの二百一号機は申告・納付する fact3: 「ビン・フィズ号でない」物はある fact4: もしなんらかのものは申告・納付するなら「それは連結する」ということは本当だ fact5: 「徹夜である」物はある fact6: もしこの二百一号機が連結するかまたは最短ルートだとしたらあのオランダ領東インドは徹夜であるということはない fact7: この新本店所在地は易しない ; $hypothesis$ = 「徹夜でない」物はある ; $proof$ = 
fact2 & fact7 -> int1: この二百一号機は申告・納付する; fact4 -> int2: もし仮にこの二百一号機が申告・納付するとするとそれは連結する; int1 & int2 -> int3: この二百一号機は連結する; int3 -> int4: この二百一号機は連結するかもしくは最短ルートである; int4 & fact6 -> int5: あのオランダ領東インドは徹夜でない; int5 -> hypothesis; __PROVED__
事実1: 仮にこの新本店所在地が連結するとするとこの二百一号機は易しない
事実2: もしこの新本店所在地が易しないとしたらこの二百一号機は申告・納付する
事実3: 「ビン・フィズ号でない」物はある
事実4: もしなんらかのものは申告・納付するなら「それは連結する」ということは本当だ
事実5: 「徹夜である」物はある
事実6: もしこの二百一号機が連結するかまたは最短ルートだとしたらあのオランダ領東インドは徹夜であるということはない
事実7: この新本店所在地は易しない

仮説: 「徹夜でない」物はある
1. 事実2と事実7から、推論1: "この二百一号機は申告・納付する"が導かれる
2. 事実4から、推論2: "もし仮にこの二百一号機が申告・納付するとするとそれは連結する"が導かれる
3. 推論1と推論2から、推論3: "この二百一号機は連結する"が導かれる
4. 推論3から、推論4: "この二百一号機は連結するかもしくは最短ルートである"が導かれる
5. 推論4と事実6から、推論5: "あのオランダ領東インドは徹夜でない"が導かれる
6. 推論5から、仮説が導かれる

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