そのコンポーネント・パレットは忘れ難いしおまけに御預かる
fact1: もし仮に「何かは文照応形だということはないかあるいは名目公的固定資本形成であるかあるいはどちらもだ」ということは偽であるならばシェアしない fact2: もし何らかのものは名目公的固定資本形成でないとしたら「それは洒落臭くなくてそれに減軽だということはない」ということは間違っている fact3: もしもその均等償却が足全体であるということはないならこの陰性価電は汎用するけど仕向けない fact4: あの避難路は聡くないがしかしそれは細長い fact5: あの避難路はシェアしないとすると「そのコンポーネント・パレットは忘れ難いしまたそれは御預かる」ということは間違いだ fact6: その均等償却が足全体であるということはないとしたらこの陰性価電は仕向けない fact7: 「この適正濃度部分は洒落臭い一方で減軽であるということはない」ということは誤りだ fact8: この協働体制が彼女らしいならばそれはシェアする fact9: もし「この適正濃度部分は名目公的固定資本形成でない」ということは確かだとすると「洒落臭くなくてそれは減軽だ」ということは偽だ fact10: 仮にこの陰性価電が御預かるしまたそれがシェアするとすれば文照応形でない fact11: そのコンポーネント・パレットは忘れ難い fact12: もしもなんらかの物は汎用するがしかし仕向けないとしたらそれは御預からない fact13: あの避難路は聡くない fact14: もし仮に「そのコンポーネント・パレットは聡い」ということは成り立つとしたらあの避難路は忘れ難くない fact15: 「もし仮にこの陰性価電が御預からないならそのコンポーネント・パレットは忘れ難いしその上御預かる」ということは事実だ fact16: もし仮に「この適正濃度部分は洒落臭くないしまた減軽でない」ということは成り立たないとするとその均等償却は足全体でない fact17: 聡くない文照応形はシェアするということはない fact18: もしもこの協働体制が文照応形でない一方でシェアするとすればこの適正濃度部分は名目公的固定資本形成でない fact19: なにがしかの物は仕向けないとすれば「それは聡くないしそれにそれは洒落臭くない」ということは誤りだ fact20: 「この協働体制は彼女らしい」ということは本当である fact21: あの避難路が聡くないがしかしそれが細長いとすればあの協働体制は文照応形でない
fact21 & fact4 -> int1: この協働体制は文照応形でない; fact20 & fact8 -> int2: この協働体制はシェアする; int1 & int2 -> int3: この協働体制は文照応形でないがシェアする; int3 & fact18 -> int4: この適正濃度部分は名目公的固定資本形成であるということはない; fact2 -> int5: もしもこの適正濃度部分は名目公的固定資本形成でないならば「それは洒落臭いということはないしさらに減軽だということはない」ということは事実と異なる; int4 & int5 -> int6: 「この適正濃度部分は洒落臭くないしそれにそれは減軽でない」ということは成り立たない; int6 & fact16 -> int7: その均等償却は足全体でない; int7 & fact3 -> int8: この陰性価電は汎用するがそれは仕向けない; fact12 -> int9: 仮にこの陰性価電が汎用するけれどそれが仕向けないならそれは御預かるということはない; int8 & int9 -> int10: この陰性価電は御預かるということはない; int10 & fact15 -> hypothesis;
「そのコンポーネント・パレットが忘れ難いしその上それは御預かる」ということは誤っている
fact22 -> int11: 仮に「あの避難路は文照応形でないかあるいはそれは名目公的固定資本形成である」ということは誤りであるとしたら「シェアしない」ということは成り立つ;
$facts$ = fact1: もし仮に「何かは文照応形だということはないかあるいは名目公的固定資本形成であるかあるいはどちらもだ」ということは偽であるならばシェアしない fact2: もし何らかのものは名目公的固定資本形成でないとしたら「それは洒落臭くなくてそれに減軽だということはない」ということは間違っている fact3: もしもその均等償却が足全体であるということはないならこの陰性価電は汎用するけど仕向けない fact4: あの避難路は聡くないがしかしそれは細長い fact5: あの避難路はシェアしないとすると「そのコンポーネント・パレットは忘れ難いしまたそれは御預かる」ということは間違いだ fact6: その均等償却が足全体であるということはないとしたらこの陰性価電は仕向けない fact7: 「この適正濃度部分は洒落臭い一方で減軽であるということはない」ということは誤りだ fact8: この協働体制が彼女らしいならばそれはシェアする fact9: もし「この適正濃度部分は名目公的固定資本形成でない」ということは確かだとすると「洒落臭くなくてそれは減軽だ」ということは偽だ fact10: 仮にこの陰性価電が御預かるしまたそれがシェアするとすれば文照応形でない fact11: そのコンポーネント・パレットは忘れ難い fact12: もしもなんらかの物は汎用するがしかし仕向けないとしたらそれは御預からない fact13: あの避難路は聡くない fact14: もし仮に「そのコンポーネント・パレットは聡い」ということは成り立つとしたらあの避難路は忘れ難くない fact15: 「もし仮にこの陰性価電が御預からないならそのコンポーネント・パレットは忘れ難いしその上御預かる」ということは事実だ fact16: もし仮に「この適正濃度部分は洒落臭くないしまた減軽でない」ということは成り立たないとするとその均等償却は足全体でない fact17: 聡くない文照応形はシェアするということはない fact18: もしもこの協働体制が文照応形でない一方でシェアするとすればこの適正濃度部分は名目公的固定資本形成でない fact19: なにがしかの物は仕向けないとすれば「それは聡くないしそれにそれは洒落臭くない」ということは誤りだ fact20: 「この協働体制は彼女らしい」ということは本当である fact21: あの避難路が聡くないがしかしそれが細長いとすればあの協働体制は文照応形でない ; $hypothesis$ = そのコンポーネント・パレットは忘れ難いしおまけに御預かる ; $proof$ = 
fact21 & fact4 -> int1: この協働体制は文照応形でない; fact20 & fact8 -> int2: この協働体制はシェアする; int1 & int2 -> int3: この協働体制は文照応形でないがシェアする; int3 & fact18 -> int4: この適正濃度部分は名目公的固定資本形成であるということはない; fact2 -> int5: もしもこの適正濃度部分は名目公的固定資本形成でないならば「それは洒落臭いということはないしさらに減軽だということはない」ということは事実と異なる; int4 & int5 -> int6: 「この適正濃度部分は洒落臭くないしそれにそれは減軽でない」ということは成り立たない; int6 & fact16 -> int7: その均等償却は足全体でない; int7 & fact3 -> int8: この陰性価電は汎用するがそれは仕向けない; fact12 -> int9: 仮にこの陰性価電が汎用するけれどそれが仕向けないならそれは御預かるということはない; int8 & int9 -> int10: この陰性価電は御預かるということはない; int10 & fact15 -> hypothesis; __PROVED__
事実1: もし仮に「何かは文照応形だということはないかあるいは名目公的固定資本形成であるかあるいはどちらもだ」ということは偽であるならばシェアしない
事実2: もし何らかのものは名目公的固定資本形成でないとしたら「それは洒落臭くなくてそれに減軽だということはない」ということは間違っている
事実3: もしもその均等償却が足全体であるということはないならこの陰性価電は汎用するけど仕向けない
事実4: あの避難路は聡くないがしかしそれは細長い
事実5: あの避難路はシェアしないとすると「そのコンポーネント・パレットは忘れ難いしまたそれは御預かる」ということは間違いだ
事実6: その均等償却が足全体であるということはないとしたらこの陰性価電は仕向けない
事実7: 「この適正濃度部分は洒落臭い一方で減軽であるということはない」ということは誤りだ
事実8: この協働体制が彼女らしいならばそれはシェアする
事実9: もし「この適正濃度部分は名目公的固定資本形成でない」ということは確かだとすると「洒落臭くなくてそれは減軽だ」ということは偽だ
事実10: 仮にこの陰性価電が御預かるしまたそれがシェアするとすれば文照応形でない
事実11: そのコンポーネント・パレットは忘れ難い
事実12: もしもなんらかの物は汎用するがしかし仕向けないとしたらそれは御預からない
事実13: あの避難路は聡くない
事実14: もし仮に「そのコンポーネント・パレットは聡い」ということは成り立つとしたらあの避難路は忘れ難くない
事実15: 「もし仮にこの陰性価電が御預からないならそのコンポーネント・パレットは忘れ難いしその上御預かる」ということは事実だ
事実16: もし仮に「この適正濃度部分は洒落臭くないしまた減軽でない」ということは成り立たないとするとその均等償却は足全体でない
事実17: 聡くない文照応形はシェアするということはない
事実18: もしもこの協働体制が文照応形でない一方でシェアするとすればこの適正濃度部分は名目公的固定資本形成でない
事実19: なにがしかの物は仕向けないとすれば「それは聡くないしそれにそれは洒落臭くない」ということは誤りだ
事実20: 「この協働体制は彼女らしい」ということは本当である
事実21: あの避難路が聡くないがしかしそれが細長いとすればあの協働体制は文照応形でない

仮説: そのコンポーネント・パレットは忘れ難いしおまけに御預かる
1. 事実21と事実4から、推論1: "この協働体制は文照応形でない"が導かれる
2. 事実20と事実8から、推論2: "この協働体制はシェアする"が導かれる
3. 推論1と推論2から、推論3: "この協働体制は文照応形でないがシェアする"が導かれる
4. 推論3と事実18から、推論4: "この適正濃度部分は名目公的固定資本形成であるということはない"が導かれる
5. 事実2から、推論5: "もしもこの適正濃度部分は名目公的固定資本形成でないならば「それは洒落臭いということはないしさらに減軽だということはない」ということは事実と異なる"が導かれる
6. 推論4と推論5から、推論6: "「この適正濃度部分は洒落臭くないしそれにそれは減軽でない」ということは成り立たない"が導かれる
7. 推論6と事実16から、推論7: "その均等償却は足全体でない"が導かれる
8. 推論7と事実3から、推論8: "この陰性価電は汎用するがそれは仕向けない"が導かれる
9. 事実12から、推論9: "仮にこの陰性価電が汎用するけれどそれが仕向けないならそれは御預かるということはない"が導かれる
10. 推論8と推論9から、推論10: "この陰性価電は御預かるということはない"が導かれる
11. 推論10と事実15から、仮説が導かれる

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