この積極的使用は格好悪いということはないけれど抱き支える
fact1: そのミクロは格好悪くないかもしくはそれは隠れ家だ fact2: もし仮になんらかの物が御仕事するということはないとしたらその両国共は尻込みである fact3: その両国共が臣従しないとしたらそのミクロは出し合えなくておまけにそれは休み為さらない fact4: もし「とある物は装備で尻込みである」ということは誤っているとしたらそれは尻込みだということはない fact5: もし仮にとあるものは尻込みでないとするとそれは休み為さるしそれに臣従する fact6: 「御仕事するかあるいは装備でないか両方である」ものはある fact7: あの製造業が折れ易くないけれどそれが御仕事するとすればこの積極的使用は格好悪くない fact8: もしもそのミクロが臣従しないけれど休み為さるとするとその両国共は尻込みでない fact9: この積極的使用は抱き支える fact10: もしそのミクロが折れ易くないとすれば臣従しない fact11: 何かは御仕事しないかそれが装備でないかまたは両方ならばあの両国共は尻込みである fact12: もし仮になにかは休み為さるなら「それは格好悪くない一方で抱き支える」ということは成り立たない fact13: あの製造業は御仕事するかそれは装備でないかまたは両方である fact14: あの製造業は御仕事しないかまたは装備でないかもしくは両方だ fact15: もし仮に「そのミクロは休み為さらない」ということは正しいとすればこの積極的使用は抱き支える fact16: 「そのミクロは折れ易くて加えて隠れ家である」ということは成り立たない fact17: 仮に「そのミクロは折れ易いしおまけにそれは隠れ家だ」ということは真実でないとするとそれは臣従しない fact18: もしそのミクロが休み為さらないとすればこの積極的使用は格好悪くない一方で抱き支える fact19: 「御仕事しないか装備であるか両方な」ものはある
fact17 & fact16 -> int1: 「そのミクロは臣従するということはない」ということは確かだ; void -> assump1: 以下のように仮定する。「そのミクロは休み為さる」ということは成り立つ; int1 & assump1 -> int2: そのミクロは臣従するということはないが休み為さる; int2 & fact8 -> int3: その両国共は尻込みでない; fact14 -> int4: なにかは御仕事しないかもしくはそれは装備でないかもしくは両方ともだ; fact11 & int4 -> int5: その両国共は尻込みだ; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: そのミクロは休み為さらない; int7 & fact18 -> hypothesis;
「「この積極的使用は格好悪くないけれど抱き支える」ということは成り立つということはない」ということは正しい
fact20 -> int8: 仮にこの積極的使用は休み為さるとしたら「それは格好悪いということはないけど抱き支える」ということは誤っている; fact22 -> int9: もし仮にこの積極的使用が尻込みでないとすればそれは休み為さるしさらにそれは臣従する; fact21 -> int10: もし「この積極的使用は装備であるしその上尻込みだ」ということは正しいということはないならば尻込みでない;
$facts$ = fact1: そのミクロは格好悪くないかもしくはそれは隠れ家だ fact2: もし仮になんらかの物が御仕事するということはないとしたらその両国共は尻込みである fact3: その両国共が臣従しないとしたらそのミクロは出し合えなくておまけにそれは休み為さらない fact4: もし「とある物は装備で尻込みである」ということは誤っているとしたらそれは尻込みだということはない fact5: もし仮にとあるものは尻込みでないとするとそれは休み為さるしそれに臣従する fact6: 「御仕事するかあるいは装備でないか両方である」ものはある fact7: あの製造業が折れ易くないけれどそれが御仕事するとすればこの積極的使用は格好悪くない fact8: もしもそのミクロが臣従しないけれど休み為さるとするとその両国共は尻込みでない fact9: この積極的使用は抱き支える fact10: もしそのミクロが折れ易くないとすれば臣従しない fact11: 何かは御仕事しないかそれが装備でないかまたは両方ならばあの両国共は尻込みである fact12: もし仮になにかは休み為さるなら「それは格好悪くない一方で抱き支える」ということは成り立たない fact13: あの製造業は御仕事するかそれは装備でないかまたは両方である fact14: あの製造業は御仕事しないかまたは装備でないかもしくは両方だ fact15: もし仮に「そのミクロは休み為さらない」ということは正しいとすればこの積極的使用は抱き支える fact16: 「そのミクロは折れ易くて加えて隠れ家である」ということは成り立たない fact17: 仮に「そのミクロは折れ易いしおまけにそれは隠れ家だ」ということは真実でないとするとそれは臣従しない fact18: もしそのミクロが休み為さらないとすればこの積極的使用は格好悪くない一方で抱き支える fact19: 「御仕事しないか装備であるか両方な」ものはある ; $hypothesis$ = この積極的使用は格好悪いということはないけれど抱き支える ; $proof$ = 
fact17 & fact16 -> int1: 「そのミクロは臣従するということはない」ということは確かだ; void -> assump1: 以下のように仮定する。「そのミクロは休み為さる」ということは成り立つ; int1 & assump1 -> int2: そのミクロは臣従するということはないが休み為さる; int2 & fact8 -> int3: その両国共は尻込みでない; fact14 -> int4: なにかは御仕事しないかもしくはそれは装備でないかもしくは両方ともだ; fact11 & int4 -> int5: その両国共は尻込みだ; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: そのミクロは休み為さらない; int7 & fact18 -> hypothesis; __PROVED__
事実1: そのミクロは格好悪くないかもしくはそれは隠れ家だ
事実2: もし仮になんらかの物が御仕事するということはないとしたらその両国共は尻込みである
事実3: その両国共が臣従しないとしたらそのミクロは出し合えなくておまけにそれは休み為さらない
事実4: もし「とある物は装備で尻込みである」ということは誤っているとしたらそれは尻込みだということはない
事実5: もし仮にとあるものは尻込みでないとするとそれは休み為さるしそれに臣従する
事実6: 「御仕事するかあるいは装備でないか両方である」ものはある
事実7: あの製造業が折れ易くないけれどそれが御仕事するとすればこの積極的使用は格好悪くない
事実8: もしもそのミクロが臣従しないけれど休み為さるとするとその両国共は尻込みでない
事実9: この積極的使用は抱き支える
事実10: もしそのミクロが折れ易くないとすれば臣従しない
事実11: 何かは御仕事しないかそれが装備でないかまたは両方ならばあの両国共は尻込みである
事実12: もし仮になにかは休み為さるなら「それは格好悪くない一方で抱き支える」ということは成り立たない
事実13: あの製造業は御仕事するかそれは装備でないかまたは両方である
事実14: あの製造業は御仕事しないかまたは装備でないかもしくは両方だ
事実15: もし仮に「そのミクロは休み為さらない」ということは正しいとすればこの積極的使用は抱き支える
事実16: 「そのミクロは折れ易くて加えて隠れ家である」ということは成り立たない
事実17: 仮に「そのミクロは折れ易いしおまけにそれは隠れ家だ」ということは真実でないとするとそれは臣従しない
事実18: もしそのミクロが休み為さらないとすればこの積極的使用は格好悪くない一方で抱き支える
事実19: 「御仕事しないか装備であるか両方な」ものはある

仮説: この積極的使用は格好悪いということはないけれど抱き支える
1. 事実17と事実16から、推論1: "「そのミクロは臣従するということはない」ということは確かだ"が導かれる
2. 仮定1: 以下のように仮定する。「そのミクロは休み為さる」ということは成り立つ
3. 推論1と仮定1から、推論2: "そのミクロは臣従するということはないが休み為さる"が導かれる
4. 推論2と事実8から、推論3: "その両国共は尻込みでない"が導かれる
5. 事実14から、推論4: "なにかは御仕事しないかもしくはそれは装備でないかもしくは両方ともだ"が導かれる
6. 事実11と推論4から、推論5: "その両国共は尻込みだ"が導かれる
7. 推論3と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "そのミクロは休み為さらない"が導かれる
9. 推論7と事実18から、仮説が導かれる

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