その威嚇は荒っぽいし加えて戦国大名だ
fact1: このロシア情勢は戦国大名だ fact2: その威嚇は戦国大名だ fact3: その爆撃高度は仰せ付かる fact4: もし「その爆撃高度は作業し易くない」ということは事実と異ならないならその威嚇が赤っぽいしその上荒っぽい fact5: このロシア情勢は仰せ付かる fact6: その威嚇は赤っぽい fact7: その道路が往還するということはないとするとその爆撃高度は作業し易くない fact8: もしも「何らかのものは瀬戸際である一方で作業し易くない」ということは誤りであるならば「それは往還するということはない」ということは本当である fact9: 「もし仮に「その爆撃高度は作業し易いということはない」ということは成り立つとするとその威嚇は赤っぽい」ということは間違いでない fact10: もしもこのロシア情勢が仰せ付からないかあるいは破産債権であるかもしくはどちらもであるとすればその道路は往還しない fact11: 仮に「このロシア情勢は仰せ付かるということはないかあるいは破産債権だ」ということは事実と異なるなら「それは瀬戸際でない」ということは事実である fact12: もしも「このロシア情勢は往還する」ということは間違っているということはないとしたらその道路は瀬戸際だ fact13: もしこの接続損失が地域学習だとすればあのロシア情勢は瀬戸際である fact14: 「この接続損失は地域学習である」ということは真実である
void -> assump1: 以下のように仮定する。「このロシア情勢は仰せ付かるということはないかまたは破産債権であるかまたは両方である」ということは成り立たない; fact11 & assump1 -> int1: このロシア情勢は瀬戸際でない; fact13 & fact14 -> int2: 「このロシア情勢は瀬戸際である」ということは確かだ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: このロシア情勢は仰せ付からないかもしくは破産債権である; int4 & fact10 -> int5: 「その道路は往還しない」ということは誤りだということはない; int5 & fact7 -> int6: その爆撃高度は作業し易くない; int6 & fact4 -> int7: その威嚇は赤っぽいしさらに荒っぽい; int7 -> int8: その威嚇は荒っぽい; int8 & fact2 -> hypothesis;
その爆撃高度は往還するということはない
fact15 -> int9: もし「「その爆撃高度は瀬戸際である一方で作業し易くない」ということは本当である」ということは成り立たないとすると往還しない;
$facts$ = fact1: このロシア情勢は戦国大名だ fact2: その威嚇は戦国大名だ fact3: その爆撃高度は仰せ付かる fact4: もし「その爆撃高度は作業し易くない」ということは事実と異ならないならその威嚇が赤っぽいしその上荒っぽい fact5: このロシア情勢は仰せ付かる fact6: その威嚇は赤っぽい fact7: その道路が往還するということはないとするとその爆撃高度は作業し易くない fact8: もしも「何らかのものは瀬戸際である一方で作業し易くない」ということは誤りであるならば「それは往還するということはない」ということは本当である fact9: 「もし仮に「その爆撃高度は作業し易いということはない」ということは成り立つとするとその威嚇は赤っぽい」ということは間違いでない fact10: もしもこのロシア情勢が仰せ付からないかあるいは破産債権であるかもしくはどちらもであるとすればその道路は往還しない fact11: 仮に「このロシア情勢は仰せ付かるということはないかあるいは破産債権だ」ということは事実と異なるなら「それは瀬戸際でない」ということは事実である fact12: もしも「このロシア情勢は往還する」ということは間違っているということはないとしたらその道路は瀬戸際だ fact13: もしこの接続損失が地域学習だとすればあのロシア情勢は瀬戸際である fact14: 「この接続損失は地域学習である」ということは真実である ; $hypothesis$ = その威嚇は荒っぽいし加えて戦国大名だ ; $proof$ = 
void -> assump1: 以下のように仮定する。「このロシア情勢は仰せ付かるということはないかまたは破産債権であるかまたは両方である」ということは成り立たない; fact11 & assump1 -> int1: このロシア情勢は瀬戸際でない; fact13 & fact14 -> int2: 「このロシア情勢は瀬戸際である」ということは確かだ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: このロシア情勢は仰せ付からないかもしくは破産債権である; int4 & fact10 -> int5: 「その道路は往還しない」ということは誤りだということはない; int5 & fact7 -> int6: その爆撃高度は作業し易くない; int6 & fact4 -> int7: その威嚇は赤っぽいしさらに荒っぽい; int7 -> int8: その威嚇は荒っぽい; int8 & fact2 -> hypothesis; __PROVED__
事実1: このロシア情勢は戦国大名だ
事実2: その威嚇は戦国大名だ
事実3: その爆撃高度は仰せ付かる
事実4: もし「その爆撃高度は作業し易くない」ということは事実と異ならないならその威嚇が赤っぽいしその上荒っぽい
事実5: このロシア情勢は仰せ付かる
事実6: その威嚇は赤っぽい
事実7: その道路が往還するということはないとするとその爆撃高度は作業し易くない
事実8: もしも「何らかのものは瀬戸際である一方で作業し易くない」ということは誤りであるならば「それは往還するということはない」ということは本当である
事実9: 「もし仮に「その爆撃高度は作業し易いということはない」ということは成り立つとするとその威嚇は赤っぽい」ということは間違いでない
事実10: もしもこのロシア情勢が仰せ付からないかあるいは破産債権であるかもしくはどちらもであるとすればその道路は往還しない
事実11: 仮に「このロシア情勢は仰せ付かるということはないかあるいは破産債権だ」ということは事実と異なるなら「それは瀬戸際でない」ということは事実である
事実12: もしも「このロシア情勢は往還する」ということは間違っているということはないとしたらその道路は瀬戸際だ
事実13: もしこの接続損失が地域学習だとすればあのロシア情勢は瀬戸際である
事実14: 「この接続損失は地域学習である」ということは真実である

仮説: その威嚇は荒っぽいし加えて戦国大名だ
1. 仮定1: 以下のように仮定する。「このロシア情勢は仰せ付かるということはないかまたは破産債権であるかまたは両方である」ということは成り立たない
2. 事実11と仮定1から、推論1: "このロシア情勢は瀬戸際でない"が導かれる
3. 事実13と事実14から、推論2: "「このロシア情勢は瀬戸際である」ということは確かだ"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "このロシア情勢は仰せ付からないかもしくは破産債権である"が導かれる
6. 推論4と事実10から、推論5: "「その道路は往還しない」ということは誤りだということはない"が導かれる
7. 推論5と事実7から、推論6: "その爆撃高度は作業し易くない"が導かれる
8. 推論6と事実4から、推論7: "その威嚇は赤っぽいしさらに荒っぽい"が導かれる
9. 推論7から、推論8: "その威嚇は荒っぽい"が導かれる
10. 推論8と事実2から、仮説が導かれる

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