あのノーザン・スターは走り過ぎない
fact1: そのリモートホストは入封しない fact2: あの県内各地は添加するしまた享有である fact3: もし仮にあの県内各地が平積みするし手厳しいならあのノーザン・スターは走り過ぎない fact4: もし仮になにがしかの物が銜えないとしたら平積みしない fact5: もしもそのリモートホストがエレクトロニクス産業であるならあの県内各地はエレクトロニクス産業である fact6: あの県内各地が銜えないとしたらそれは平積みしない fact7: あの県内各地は平積みしないがしかし手厳しいなら「あのノーザン・スターは走り過ぎない」ということは正しい fact8: もしもそのリモートホストが入封するということはないならばそれは手厳しくて平積みする fact9: もし仮にとあるものが銜えないとすると平積みしないしかつ手厳しい fact10: もしあの県内各地がエレクトロニクス産業でないならあのノーザン・スターは添加するしおまけに享有である fact11: 仮に享有はエレクトロニクス産業であるとすると「それは銜えるということはない」ということは事実である fact12: そのリモートホストはエレクトロニクス産業である fact13: もしもあるものが添加するなら走り過ぎる fact14: あの県内各地は平積みするということはない
fact2 -> int1: あの県内各地は享有である; fact12 & fact5 -> int2: あの県内各地はエレクトロニクス産業だ; int1 & int2 -> int3: あの県内各地は享有であるしエレクトロニクス産業である; fact11 -> int4: もし仮にあの県内各地が享有だしかつエレクトロニクス産業ならばそれは銜えない; int3 & int4 -> int5: あの県内各地は銜えない; fact9 -> int6: 仮にあの県内各地が銜えないとしたらそれは平積みするということはないけど手厳しい; int5 & int6 -> int7: あの県内各地は平積みしないけれど手厳しい; int7 & fact7 -> hypothesis;
あのノーザン・スターは走り過ぎる
fact18 -> int8: もしもあのノーザン・スターは添加するなら「走り過ぎる」ということは誤っているということはない; fact16 & fact17 -> int9: そのリモートホストは手厳しくて平積みする; int9 -> int10: そのリモートホストは手厳しい; int10 -> int11: そのリモートホストは銜えるかもしくは手厳しいかあるいは両方ともである; int11 -> int12: 「なにがしかの物は銜えるか手厳しい」ということは成り立つ;
$facts$ = fact1: そのリモートホストは入封しない fact2: あの県内各地は添加するしまた享有である fact3: もし仮にあの県内各地が平積みするし手厳しいならあのノーザン・スターは走り過ぎない fact4: もし仮になにがしかの物が銜えないとしたら平積みしない fact5: もしもそのリモートホストがエレクトロニクス産業であるならあの県内各地はエレクトロニクス産業である fact6: あの県内各地が銜えないとしたらそれは平積みしない fact7: あの県内各地は平積みしないがしかし手厳しいなら「あのノーザン・スターは走り過ぎない」ということは正しい fact8: もしもそのリモートホストが入封するということはないならばそれは手厳しくて平積みする fact9: もし仮にとあるものが銜えないとすると平積みしないしかつ手厳しい fact10: もしあの県内各地がエレクトロニクス産業でないならあのノーザン・スターは添加するしおまけに享有である fact11: 仮に享有はエレクトロニクス産業であるとすると「それは銜えるということはない」ということは事実である fact12: そのリモートホストはエレクトロニクス産業である fact13: もしもあるものが添加するなら走り過ぎる fact14: あの県内各地は平積みするということはない ; $hypothesis$ = あのノーザン・スターは走り過ぎない ; $proof$ = 
fact2 -> int1: あの県内各地は享有である; fact12 & fact5 -> int2: あの県内各地はエレクトロニクス産業だ; int1 & int2 -> int3: あの県内各地は享有であるしエレクトロニクス産業である; fact11 -> int4: もし仮にあの県内各地が享有だしかつエレクトロニクス産業ならばそれは銜えない; int3 & int4 -> int5: あの県内各地は銜えない; fact9 -> int6: 仮にあの県内各地が銜えないとしたらそれは平積みするということはないけど手厳しい; int5 & int6 -> int7: あの県内各地は平積みしないけれど手厳しい; int7 & fact7 -> hypothesis; __PROVED__
事実1: そのリモートホストは入封しない
事実2: あの県内各地は添加するしまた享有である
事実3: もし仮にあの県内各地が平積みするし手厳しいならあのノーザン・スターは走り過ぎない
事実4: もし仮になにがしかの物が銜えないとしたら平積みしない
事実5: もしもそのリモートホストがエレクトロニクス産業であるならあの県内各地はエレクトロニクス産業である
事実6: あの県内各地が銜えないとしたらそれは平積みしない
事実7: あの県内各地は平積みしないがしかし手厳しいなら「あのノーザン・スターは走り過ぎない」ということは正しい
事実8: もしもそのリモートホストが入封するということはないならばそれは手厳しくて平積みする
事実9: もし仮にとあるものが銜えないとすると平積みしないしかつ手厳しい
事実10: もしあの県内各地がエレクトロニクス産業でないならあのノーザン・スターは添加するしおまけに享有である
事実11: 仮に享有はエレクトロニクス産業であるとすると「それは銜えるということはない」ということは事実である
事実12: そのリモートホストはエレクトロニクス産業である
事実13: もしもあるものが添加するなら走り過ぎる
事実14: あの県内各地は平積みするということはない

仮説: あのノーザン・スターは走り過ぎない
1. 事実2から、推論1: "あの県内各地は享有である"が導かれる
2. 事実12と事実5から、推論2: "あの県内各地はエレクトロニクス産業だ"が導かれる
3. 推論1と推論2から、推論3: "あの県内各地は享有であるしエレクトロニクス産業である"が導かれる
4. 事実11から、推論4: "もし仮にあの県内各地が享有だしかつエレクトロニクス産業ならばそれは銜えない"が導かれる
5. 推論3と推論4から、推論5: "あの県内各地は銜えない"が導かれる
6. 事実9から、推論6: "仮にあの県内各地が銜えないとしたらそれは平積みするということはないけど手厳しい"が導かれる
7. 推論5と推論6から、推論7: "あの県内各地は平積みしないけれど手厳しい"が導かれる
8. 推論7と事実7から、仮説が導かれる

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