このコルク部分は多用でない一方で考え深い
fact1: 「このコルク部分は他部署でない」ということは真実である fact2: 仮にフラッシャーが来館するならそれは他部署だ fact3: もし貧しくない物が生まれ難くないならそれは忌まわしくない fact4: 仮にその戦争続行が哀れっぽいならこのコルク部分は多用であるということはない fact5: 「あの十一面観音像は忌まわしくないけどそれはアメリカっぽい」ということは事実と異なる fact6: もしも「あの十一面観音像は忌まわしくないがしかしそれはアメリカっぽい」ということは成り立たないならアメリカっぽくない fact7: 「その戦争続行は他部署だけど哀れっぽくない」ということは本当でないならこのコルク部分は多用でない fact8: もし何らかのものがアメリカっぽくないとすれば作業し易いかあるいはそれは考え深いかまたは両方ともだ fact9: もし仮に起こり易いものが他部署だということはないならそれは多用である fact10: 仮に「なにがしかのものはアメリカっぽいけど作業し易くない」ということは偽であるならばそれは哀れっぽくない fact11: この人種偏見は作業し易くない fact12: なにかは来館するけど作業し易くないとしたら起こり易い fact13: 「この人種偏見は他部署である」ということは成り立つとしたら「その戦争続行は他部署だ一方でそれは哀れっぽいということはない」ということは間違いだ fact14: 仮に何かは哀れっぽいとすると起こり易くなくて他部署でない fact15: その拡張選択モードは起こり易いということはない fact16: この人種偏見が考え深くないとしたらこのコルク部分はフラッシャーであるけれど来館するということはない fact17: 仮にフラッシャーが来館しないならばそれは他部署である fact18: 哀れっぽくないものは考え深いかまたは他部署であるかまたはどちらもである fact19: もしもこの人種偏見は他部署であるとすると「その戦争続行は他部署であるし哀れっぽい」ということは成り立つということはない fact20: この人種偏見は波及経路でない fact21: もしもその拡張選択モードが起こり易くないとするとこの人種偏見はフラッシャーである一方でそれは来館しない fact22: この人種偏見は来館しない fact23: 「その戦争続行は他部署であるしかつ哀れっぽい」ということは事実であるということはない fact24: もし仮にあの十一面観音像は作業し易いとすると「このコルク部分は考え深い」ということは成り立つ fact25: もしその拡張選択モードが起こり易くないならばあの人種偏見は来館するということはない fact26: もしこの人種偏見がフラッシャーで来館するとすればそれは他部署である fact27: この人種偏見は波及経路でないとしたらそれは貧しいということはないし加えて生まれ難くない fact28: もし「あの十一面観音像は考え深い」ということは本当であるならこのコルク部分は考え深い
fact21 & fact15 -> int1: この人種偏見はフラッシャーだけど来館しない; fact17 -> int2: もしこの人種偏見がフラッシャーであるが来館しないなら他部署である; int1 & int2 -> int3: 「この人種偏見は他部署である」ということは成り立つ; int3 & fact13 -> int4: 「その戦争続行は他部署だが哀れっぽくない」ということは正しくない; int4 & fact7 -> int5: このコルク部分は多用でない; fact8 -> int6: もし仮にあの十一面観音像がアメリカっぽくないならば作業し易いかまたは考え深いか両方だ; fact6 & fact5 -> int7: あの十一面観音像はアメリカっぽくない; int6 & int7 -> int8: あの十一面観音像は作業し易いかもしくは考え深いかもしくは両方ともである; fact28 & int8 & fact24 -> int9: このコルク部分は考え深い; int5 & int9 -> hypothesis;
「「このコルク部分は多用でない一方でそれは考え深い」ということは成り立たない」ということは間違っていない
fact32 -> int10: 「この人種偏見はアメリカっぽい一方でそれは作業し易くない」ということは成り立たないとすると「それは哀れっぽくない」ということは成り立つ; fact30 -> int11: もしもこの人種偏見は貧しくないし加えて生まれ難くないなら「それは忌まわしくない」ということは真実だ; fact31 & fact29 -> int12: 「この人種偏見は貧しくないし生まれ難くない」ということは真実である; int11 & int12 -> int13: この人種偏見は忌まわしいということはない;
$facts$ = fact1: 「このコルク部分は他部署でない」ということは真実である fact2: 仮にフラッシャーが来館するならそれは他部署だ fact3: もし貧しくない物が生まれ難くないならそれは忌まわしくない fact4: 仮にその戦争続行が哀れっぽいならこのコルク部分は多用であるということはない fact5: 「あの十一面観音像は忌まわしくないけどそれはアメリカっぽい」ということは事実と異なる fact6: もしも「あの十一面観音像は忌まわしくないがしかしそれはアメリカっぽい」ということは成り立たないならアメリカっぽくない fact7: 「その戦争続行は他部署だけど哀れっぽくない」ということは本当でないならこのコルク部分は多用でない fact8: もし何らかのものがアメリカっぽくないとすれば作業し易いかあるいはそれは考え深いかまたは両方ともだ fact9: もし仮に起こり易いものが他部署だということはないならそれは多用である fact10: 仮に「なにがしかのものはアメリカっぽいけど作業し易くない」ということは偽であるならばそれは哀れっぽくない fact11: この人種偏見は作業し易くない fact12: なにかは来館するけど作業し易くないとしたら起こり易い fact13: 「この人種偏見は他部署である」ということは成り立つとしたら「その戦争続行は他部署だ一方でそれは哀れっぽいということはない」ということは間違いだ fact14: 仮に何かは哀れっぽいとすると起こり易くなくて他部署でない fact15: その拡張選択モードは起こり易いということはない fact16: この人種偏見が考え深くないとしたらこのコルク部分はフラッシャーであるけれど来館するということはない fact17: 仮にフラッシャーが来館しないならばそれは他部署である fact18: 哀れっぽくないものは考え深いかまたは他部署であるかまたはどちらもである fact19: もしもこの人種偏見は他部署であるとすると「その戦争続行は他部署であるし哀れっぽい」ということは成り立つということはない fact20: この人種偏見は波及経路でない fact21: もしもその拡張選択モードが起こり易くないとするとこの人種偏見はフラッシャーである一方でそれは来館しない fact22: この人種偏見は来館しない fact23: 「その戦争続行は他部署であるしかつ哀れっぽい」ということは事実であるということはない fact24: もし仮にあの十一面観音像は作業し易いとすると「このコルク部分は考え深い」ということは成り立つ fact25: もしその拡張選択モードが起こり易くないならばあの人種偏見は来館するということはない fact26: もしこの人種偏見がフラッシャーで来館するとすればそれは他部署である fact27: この人種偏見は波及経路でないとしたらそれは貧しいということはないし加えて生まれ難くない fact28: もし「あの十一面観音像は考え深い」ということは本当であるならこのコルク部分は考え深い ; $hypothesis$ = このコルク部分は多用でない一方で考え深い ; $proof$ = 
fact21 & fact15 -> int1: この人種偏見はフラッシャーだけど来館しない; fact17 -> int2: もしこの人種偏見がフラッシャーであるが来館しないなら他部署である; int1 & int2 -> int3: 「この人種偏見は他部署である」ということは成り立つ; int3 & fact13 -> int4: 「その戦争続行は他部署だが哀れっぽくない」ということは正しくない; int4 & fact7 -> int5: このコルク部分は多用でない; fact8 -> int6: もし仮にあの十一面観音像がアメリカっぽくないならば作業し易いかまたは考え深いか両方だ; fact6 & fact5 -> int7: あの十一面観音像はアメリカっぽくない; int6 & int7 -> int8: あの十一面観音像は作業し易いかもしくは考え深いかもしくは両方ともである; fact28 & int8 & fact24 -> int9: このコルク部分は考え深い; int5 & int9 -> hypothesis; __PROVED__
事実1: 「このコルク部分は他部署でない」ということは真実である
事実2: 仮にフラッシャーが来館するならそれは他部署だ
事実3: もし貧しくない物が生まれ難くないならそれは忌まわしくない
事実4: 仮にその戦争続行が哀れっぽいならこのコルク部分は多用であるということはない
事実5: 「あの十一面観音像は忌まわしくないけどそれはアメリカっぽい」ということは事実と異なる
事実6: もしも「あの十一面観音像は忌まわしくないがしかしそれはアメリカっぽい」ということは成り立たないならアメリカっぽくない
事実7: 「その戦争続行は他部署だけど哀れっぽくない」ということは本当でないならこのコルク部分は多用でない
事実8: もし何らかのものがアメリカっぽくないとすれば作業し易いかあるいはそれは考え深いかまたは両方ともだ
事実9: もし仮に起こり易いものが他部署だということはないならそれは多用である
事実10: 仮に「なにがしかのものはアメリカっぽいけど作業し易くない」ということは偽であるならばそれは哀れっぽくない
事実11: この人種偏見は作業し易くない
事実12: なにかは来館するけど作業し易くないとしたら起こり易い
事実13: 「この人種偏見は他部署である」ということは成り立つとしたら「その戦争続行は他部署だ一方でそれは哀れっぽいということはない」ということは間違いだ
事実14: 仮に何かは哀れっぽいとすると起こり易くなくて他部署でない
事実15: その拡張選択モードは起こり易いということはない
事実16: この人種偏見が考え深くないとしたらこのコルク部分はフラッシャーであるけれど来館するということはない
事実17: 仮にフラッシャーが来館しないならばそれは他部署である
事実18: 哀れっぽくないものは考え深いかまたは他部署であるかまたはどちらもである
事実19: もしもこの人種偏見は他部署であるとすると「その戦争続行は他部署であるし哀れっぽい」ということは成り立つということはない
事実20: この人種偏見は波及経路でない
事実21: もしもその拡張選択モードが起こり易くないとするとこの人種偏見はフラッシャーである一方でそれは来館しない
事実22: この人種偏見は来館しない
事実23: 「その戦争続行は他部署であるしかつ哀れっぽい」ということは事実であるということはない
事実24: もし仮にあの十一面観音像は作業し易いとすると「このコルク部分は考え深い」ということは成り立つ
事実25: もしその拡張選択モードが起こり易くないならばあの人種偏見は来館するということはない
事実26: もしこの人種偏見がフラッシャーで来館するとすればそれは他部署である
事実27: この人種偏見は波及経路でないとしたらそれは貧しいということはないし加えて生まれ難くない
事実28: もし「あの十一面観音像は考え深い」ということは本当であるならこのコルク部分は考え深い

仮説: このコルク部分は多用でない一方で考え深い
1. 事実21と事実15から、推論1: "この人種偏見はフラッシャーだけど来館しない"が導かれる
2. 事実17から、推論2: "もしこの人種偏見がフラッシャーであるが来館しないなら他部署である"が導かれる
3. 推論1と推論2から、推論3: "「この人種偏見は他部署である」ということは成り立つ"が導かれる
4. 推論3と事実13から、推論4: "「その戦争続行は他部署だが哀れっぽくない」ということは正しくない"が導かれる
5. 推論4と事実7から、推論5: "このコルク部分は多用でない"が導かれる
6. 事実8から、推論6: "もし仮にあの十一面観音像がアメリカっぽくないならば作業し易いかまたは考え深いか両方だ"が導かれる
7. 事実6と事実5から、推論7: "あの十一面観音像はアメリカっぽくない"が導かれる
8. 推論6と推論7から、推論8: "あの十一面観音像は作業し易いかもしくは考え深いかもしくは両方ともである"が導かれる
9. 事実28と推論8と事実24から、推論9: "このコルク部分は考え深い"が導かれる
10. 推論5と推論9から、仮説が導かれる

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