「この軍事拠点は説明し易い」ということは本当である
fact1: もし仮にこの熊襲討伐が関係深いとすればそれは成りするかあるいは吊り易くないかもしくはどちらもである fact2: もしもその差別化戦略は加わらないなら「この球速はパラフレーズするということはなくて内示するということはない」ということは確かでない fact3: もし仮にこの球速がパラフレーズするとしたらそれは流れ易い fact4: 仮にこの球速は流れ易いとすると「一徹であるけれど緩くない」ということは成り立たない fact5: 仮にその差別化戦略は加われば「この熊襲討伐は成りするかもしくはそれは吊り易くないかあるいは両方である」ということは誤りだ fact6: もしこの球速が自由競争であるとすればこの軍事拠点は説明し易い fact7: もしも「何かはパラフレーズするということはないしそれは内示しない」ということは成り立たないならそれは流れ易い fact8: もし仮にその差別化戦略が加わるならこの熊襲討伐は成りしない fact9: この熊襲討伐は成りしない fact10: 「ある物は一徹であるということはないしさらに緩くない」ということは成り立たないなら自由競争である fact11: もしこの球速は流れ易いとすると「それは一徹でないし加えて緩くない」ということは間違いだ fact12: もし仮にこの球速は流れ易いとしたら「一徹でなくてその上緩い」ということは誤りである fact13: この熊襲討伐は関係深い fact14: 「なにがしかの物は説明し易くないしかつ吊り易くない」ということは偽であるならば「それは流れ易い」ということは確かである
void -> assump1: 以下のように仮定する。その差別化戦略は加わる; fact5 & assump1 -> int1: 「この熊襲討伐は成りするか吊り易いということはないかどちらもである」ということは成り立たない; fact1 & fact13 -> int2: この熊襲討伐は成りするかそれは吊り易くない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: その差別化戦略は加わらない; int4 & fact2 -> int5: 「この球速がパラフレーズしないしさらに内示するということはない」ということは正しくない; fact7 -> int6: もしも「この球速はパラフレーズしないし内示するということはない」ということは誤っているとすればそれは流れ易い; int5 & int6 -> int7: この球速は流れ易い; int7 & fact11 -> int8: 「この球速は一徹でなくて緩くない」ということは誤っている; fact10 -> int9: もし仮に「この球速は一徹でなくてその上緩くない」ということは間違いなら自由競争である; int8 & int9 -> int10: この球速は自由競争である; int10 & fact6 -> hypothesis;
$facts$ = fact1: もし仮にこの熊襲討伐が関係深いとすればそれは成りするかあるいは吊り易くないかもしくはどちらもである fact2: もしもその差別化戦略は加わらないなら「この球速はパラフレーズするということはなくて内示するということはない」ということは確かでない fact3: もし仮にこの球速がパラフレーズするとしたらそれは流れ易い fact4: 仮にこの球速は流れ易いとすると「一徹であるけれど緩くない」ということは成り立たない fact5: 仮にその差別化戦略は加われば「この熊襲討伐は成りするかもしくはそれは吊り易くないかあるいは両方である」ということは誤りだ fact6: もしこの球速が自由競争であるとすればこの軍事拠点は説明し易い fact7: もしも「何かはパラフレーズするということはないしそれは内示しない」ということは成り立たないならそれは流れ易い fact8: もし仮にその差別化戦略が加わるならこの熊襲討伐は成りしない fact9: この熊襲討伐は成りしない fact10: 「ある物は一徹であるということはないしさらに緩くない」ということは成り立たないなら自由競争である fact11: もしこの球速は流れ易いとすると「それは一徹でないし加えて緩くない」ということは間違いだ fact12: もし仮にこの球速は流れ易いとしたら「一徹でなくてその上緩い」ということは誤りである fact13: この熊襲討伐は関係深い fact14: 「なにがしかの物は説明し易くないしかつ吊り易くない」ということは偽であるならば「それは流れ易い」ということは確かである ; $hypothesis$ = 「この軍事拠点は説明し易い」ということは本当である ; $proof$ = 
void -> assump1: 以下のように仮定する。その差別化戦略は加わる; fact5 & assump1 -> int1: 「この熊襲討伐は成りするか吊り易いということはないかどちらもである」ということは成り立たない; fact1 & fact13 -> int2: この熊襲討伐は成りするかそれは吊り易くない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: その差別化戦略は加わらない; int4 & fact2 -> int5: 「この球速がパラフレーズしないしさらに内示するということはない」ということは正しくない; fact7 -> int6: もしも「この球速はパラフレーズしないし内示するということはない」ということは誤っているとすればそれは流れ易い; int5 & int6 -> int7: この球速は流れ易い; int7 & fact11 -> int8: 「この球速は一徹でなくて緩くない」ということは誤っている; fact10 -> int9: もし仮に「この球速は一徹でなくてその上緩くない」ということは間違いなら自由競争である; int8 & int9 -> int10: この球速は自由競争である; int10 & fact6 -> hypothesis; __PROVED__
事実1: もし仮にこの熊襲討伐が関係深いとすればそれは成りするかあるいは吊り易くないかもしくはどちらもである
事実2: もしもその差別化戦略は加わらないなら「この球速はパラフレーズするということはなくて内示するということはない」ということは確かでない
事実3: もし仮にこの球速がパラフレーズするとしたらそれは流れ易い
事実4: 仮にこの球速は流れ易いとすると「一徹であるけれど緩くない」ということは成り立たない
事実5: 仮にその差別化戦略は加われば「この熊襲討伐は成りするかもしくはそれは吊り易くないかあるいは両方である」ということは誤りだ
事実6: もしこの球速が自由競争であるとすればこの軍事拠点は説明し易い
事実7: もしも「何かはパラフレーズするということはないしそれは内示しない」ということは成り立たないならそれは流れ易い
事実8: もし仮にその差別化戦略が加わるならこの熊襲討伐は成りしない
事実9: この熊襲討伐は成りしない
事実10: 「ある物は一徹であるということはないしさらに緩くない」ということは成り立たないなら自由競争である
事実11: もしこの球速は流れ易いとすると「それは一徹でないし加えて緩くない」ということは間違いだ
事実12: もし仮にこの球速は流れ易いとしたら「一徹でなくてその上緩い」ということは誤りである
事実13: この熊襲討伐は関係深い
事実14: 「なにがしかの物は説明し易くないしかつ吊り易くない」ということは偽であるならば「それは流れ易い」ということは確かである

仮説: 「この軍事拠点は説明し易い」ということは本当である
1. 仮定1: 以下のように仮定する。その差別化戦略は加わる
2. 事実5と仮定1から、推論1: "「この熊襲討伐は成りするか吊り易いということはないかどちらもである」ということは成り立たない"が導かれる
3. 事実1と事実13から、推論2: "この熊襲討伐は成りするかそれは吊り易くない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "その差別化戦略は加わらない"が導かれる
6. 推論4と事実2から、推論5: "「この球速がパラフレーズしないしさらに内示するということはない」ということは正しくない"が導かれる
7. 事実7から、推論6: "もしも「この球速はパラフレーズしないし内示するということはない」ということは誤っているとすればそれは流れ易い"が導かれる
8. 推論5と推論6から、推論7: "この球速は流れ易い"が導かれる
9. 推論7と事実11から、推論8: "「この球速は一徹でなくて緩くない」ということは誤っている"が導かれる
10. 事実10から、推論9: "もし仮に「この球速は一徹でなくてその上緩くない」ということは間違いなら自由競争である"が導かれる
11. 推論8と推論9から、推論10: "この球速は自由競争である"が導かれる
12. 推論10と事実6から、仮説が導かれる

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