その急ぎは大人しい
fact1: もし仮に何らかの物が繋ぎ止めないがしかし興奮し易いなら盗用でない fact2: もしもそのメインＣは手緩くないとすると「「その四月実施は滑り下りなくてその上手緩くない」ということは成り立たない」ということは成り立つ fact3: この残虐性は繋ぎ止めない fact4: 「この残虐性は違い棚だけど叱責でない」ということは事実と異なるならばあの対手は違い棚だ fact5: 何かは盗用でないとすれば「それは違い棚だ一方で叱責であるということはない」ということは誤っている fact6: 悪いものは進水する fact7: 仮にあのシニア・マネジャーは手緩くないならば「その四月実施は滑り下りないけれど面目無い」ということは偽だ fact8: 仮に「「悪賢い」ということは確かである」ものがあるならばあの国元は悪賢いかまたはそれは起債管理セクターであるかあるいは両方である fact9: もし仮に「その四月実施は滑り下りないしかつ手緩くない」ということは事実と異なるならあのシニア・マネジャーは気まずくない fact10: もしその対手は悪くないとすれば「気まずくておまけに進水しない」ということは正しい fact11: その急ぎは面目無くない fact12: もし「そのメインＣは手緩くない」ということは成り立つとしたら「「その四月実施は滑り下りないけれど手緩い」ということは誤っていない」ということは事実と異なる fact13: もしその国元が悪賢いとすればこの残虐性は興奮し易い fact14: 「その対手は進水しない」ということは間違いだとするとあのシニア・マネジャーは気まずい fact15: もし仮に何かは気まずい一方でそれが進水しないとすればあのシニア・マネジャーは手緩くない fact16: もし仮に面目無くない物が大人しくないとするとそのメインＣは手緩いということはない fact17: 仮に「「滑り下りない一方で面目無い」ということは成り立たない」ものがあるとすればそのメインＣは面目無いということはない fact18: この行政職員は悪賢い fact19: その対手は悪い fact20: 面目無くなくてまた大人しい物はある fact21: 違い棚は悪いということはない
void -> assump1: 以下のように仮定する。「その急ぎは大人しくない」ということは本当だ; fact11 & assump1 -> int1: その急ぎは面目無くなくてかつ大人しくない; int1 -> int2: 「面目無くないしおまけに大人しくない」ものはある; int2 & fact16 -> int3: そのメインＣは手緩くない; int3 & fact2 -> int4: 「その四月実施は滑り下りなくておまけに手緩くない」ということは成り立たない; int4 & fact9 -> int5: あのシニア・マネジャーは気まずくない; fact6 -> int6: もしその対手が悪いならば進水する; fact19 & int6 -> int7: その対手は進水する; int7 & fact14 -> int8: あのシニア・マネジャーは気まずい; int5 & int8 -> int9: これは矛盾である; [assump1] & int9 -> hypothesis;
「その急ぎは大人しくない」ということは事実だ
fact31 -> int10: もしもその対手が違い棚ならば悪くない; fact24 -> int11: もし「この残虐性は盗用でない」ということは成り立つなら「違い棚であるしまたそれは叱責でない」ということは成り立つということはない; fact33 -> int12: 仮に「この残虐性は繋ぎ止めないがしかし興奮し易い」ということは本当であるならば盗用でない; fact27 -> int13: 「「悪賢い」ということは確かな」ものはある; int13 & fact32 -> int14: その国元は悪賢いかもしくはそれは起債管理セクターであるかまたはどちらもである;
$facts$ = fact1: もし仮に何らかの物が繋ぎ止めないがしかし興奮し易いなら盗用でない fact2: もしもそのメインＣは手緩くないとすると「「その四月実施は滑り下りなくてその上手緩くない」ということは成り立たない」ということは成り立つ fact3: この残虐性は繋ぎ止めない fact4: 「この残虐性は違い棚だけど叱責でない」ということは事実と異なるならばあの対手は違い棚だ fact5: 何かは盗用でないとすれば「それは違い棚だ一方で叱責であるということはない」ということは誤っている fact6: 悪いものは進水する fact7: 仮にあのシニア・マネジャーは手緩くないならば「その四月実施は滑り下りないけれど面目無い」ということは偽だ fact8: 仮に「「悪賢い」ということは確かである」ものがあるならばあの国元は悪賢いかまたはそれは起債管理セクターであるかあるいは両方である fact9: もし仮に「その四月実施は滑り下りないしかつ手緩くない」ということは事実と異なるならあのシニア・マネジャーは気まずくない fact10: もしその対手は悪くないとすれば「気まずくておまけに進水しない」ということは正しい fact11: その急ぎは面目無くない fact12: もし「そのメインＣは手緩くない」ということは成り立つとしたら「「その四月実施は滑り下りないけれど手緩い」ということは誤っていない」ということは事実と異なる fact13: もしその国元が悪賢いとすればこの残虐性は興奮し易い fact14: 「その対手は進水しない」ということは間違いだとするとあのシニア・マネジャーは気まずい fact15: もし仮に何かは気まずい一方でそれが進水しないとすればあのシニア・マネジャーは手緩くない fact16: もし仮に面目無くない物が大人しくないとするとそのメインＣは手緩いということはない fact17: 仮に「「滑り下りない一方で面目無い」ということは成り立たない」ものがあるとすればそのメインＣは面目無いということはない fact18: この行政職員は悪賢い fact19: その対手は悪い fact20: 面目無くなくてまた大人しい物はある fact21: 違い棚は悪いということはない ; $hypothesis$ = その急ぎは大人しい ; $proof$ = 
void -> assump1: 以下のように仮定する。「その急ぎは大人しくない」ということは本当だ; fact11 & assump1 -> int1: その急ぎは面目無くなくてかつ大人しくない; int1 -> int2: 「面目無くないしおまけに大人しくない」ものはある; int2 & fact16 -> int3: そのメインＣは手緩くない; int3 & fact2 -> int4: 「その四月実施は滑り下りなくておまけに手緩くない」ということは成り立たない; int4 & fact9 -> int5: あのシニア・マネジャーは気まずくない; fact6 -> int6: もしその対手が悪いならば進水する; fact19 & int6 -> int7: その対手は進水する; int7 & fact14 -> int8: あのシニア・マネジャーは気まずい; int5 & int8 -> int9: これは矛盾である; [assump1] & int9 -> hypothesis; __PROVED__
事実1: もし仮に何らかの物が繋ぎ止めないがしかし興奮し易いなら盗用でない
事実2: もしもそのメインＣは手緩くないとすると「「その四月実施は滑り下りなくてその上手緩くない」ということは成り立たない」ということは成り立つ
事実3: この残虐性は繋ぎ止めない
事実4: 「この残虐性は違い棚だけど叱責でない」ということは事実と異なるならばあの対手は違い棚だ
事実5: 何かは盗用でないとすれば「それは違い棚だ一方で叱責であるということはない」ということは誤っている
事実6: 悪いものは進水する
事実7: 仮にあのシニア・マネジャーは手緩くないならば「その四月実施は滑り下りないけれど面目無い」ということは偽だ
事実8: 仮に「「悪賢い」ということは確かである」ものがあるならばあの国元は悪賢いかまたはそれは起債管理セクターであるかあるいは両方である
事実9: もし仮に「その四月実施は滑り下りないしかつ手緩くない」ということは事実と異なるならあのシニア・マネジャーは気まずくない
事実10: もしその対手は悪くないとすれば「気まずくておまけに進水しない」ということは正しい
事実11: その急ぎは面目無くない
事実12: もし「そのメインＣは手緩くない」ということは成り立つとしたら「「その四月実施は滑り下りないけれど手緩い」ということは誤っていない」ということは事実と異なる
事実13: もしその国元が悪賢いとすればこの残虐性は興奮し易い
事実14: 「その対手は進水しない」ということは間違いだとするとあのシニア・マネジャーは気まずい
事実15: もし仮に何かは気まずい一方でそれが進水しないとすればあのシニア・マネジャーは手緩くない
事実16: もし仮に面目無くない物が大人しくないとするとそのメインＣは手緩いということはない
事実17: 仮に「「滑り下りない一方で面目無い」ということは成り立たない」ものがあるとすればそのメインＣは面目無いということはない
事実18: この行政職員は悪賢い
事実19: その対手は悪い
事実20: 面目無くなくてまた大人しい物はある
事実21: 違い棚は悪いということはない

仮説: その急ぎは大人しい
1. 仮定1: 以下のように仮定する。「その急ぎは大人しくない」ということは本当だ
2. 事実11と仮定1から、推論1: "その急ぎは面目無くなくてかつ大人しくない"が導かれる
3. 推論1から、推論2: "「面目無くないしおまけに大人しくない」ものはある"が導かれる
4. 推論2と事実16から、推論3: "そのメインＣは手緩くない"が導かれる
5. 推論3と事実2から、推論4: "「その四月実施は滑り下りなくておまけに手緩くない」ということは成り立たない"が導かれる
6. 推論4と事実9から、推論5: "あのシニア・マネジャーは気まずくない"が導かれる
7. 事実6から、推論6: "もしその対手が悪いならば進水する"が導かれる
8. 事実19と推論6から、推論7: "その対手は進水する"が導かれる
9. 推論7と事実14から、推論8: "あのシニア・マネジャーは気まずい"が導かれる
10. 推論5と推論8から、推論9: "これは矛盾である"が導かれる
11. [仮定1]と推論9から、仮説が導かれる

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