「「銀製品である」ということは成り立つ」物はある
fact1: 「あの上塗り塗膜は販売子会社だということはないけど通じ易い」ということは成り立たない fact2: もしあの認定期間は転調するということはないとしたら「あの画質は販売子会社でないし試料保管庫でない」ということは成り立たない fact3: あの白線は転調する fact4: あの認定期間は転調しないならば「あの画質は販売子会社だということはないがしかしそれは試料保管庫である」ということは成り立たない fact5: もしあの上塗り塗膜が通じ易いとするとそれは伝え易い fact6: もしあの上塗り塗膜が通じ易いとしたらそれは試料保管庫である fact7: 「あの認定期間は転調する」ということは本当だとするとこの知性的本性は銀製品である fact8: もしもなにかは転調するとするとそれは通じ易くないかまたは認め難いかまたは両方である fact9: もしもあの認定期間が銀製品だとするとそれは転調する fact10: もしもあの認定期間は転調するということはないとすると「あの画質は販売子会社であるがしかし試料保管庫でない」ということは間違いだ fact11: もしもあの上塗り塗膜が伝え易いなら来難い fact12: 仮にあの画質が通じ易くないかそれが認め難いか両方ともであるとしたらあの認定期間は認め難い fact13: あの認定期間は試料保管庫である fact14: 「あの画質は販売子会社だが試料保管庫でない」ということは成り立つということはない fact15: 「あの画質は販売子会社であるということはないけど試料保管庫である」ということは事実と異なる fact16: 仮に「この知性的本性は転調しなくてそれに来難くない」ということは本当でないとすると「あの上塗り塗膜は銀製品である」ということは間違っているということはない fact17: もしあの上塗り塗膜が銀製品ならこの知性的本性は来難い fact18: もしあの画質が来難いならば販売子会社である fact19: あの上塗り塗膜は転調する fact20: あの認定期間は伝え易い fact21: 仮にあの上塗り塗膜は試料保管庫でないとすると「あの認定期間は転調する一方で来難くない」ということは嘘だ fact22: あの上塗り塗膜は来難くない fact23: 「あの画質は販売子会社でなくてそれは試料保管庫でない」ということは偽だとしたらあの上塗り塗膜は通じ易い
void -> assump1: 以下のように仮定する。あの認定期間は転調しない; fact2 & assump1 -> int1: 「あの画質は販売子会社であるということはないしそれに試料保管庫でない」ということは成り立たない; int1 & fact23 -> int2: あの上塗り塗膜は通じ易い; int2 & fact5 -> int3: 「あの上塗り塗膜は伝え易い」ということは成り立つ; int3 & fact11 -> int4: あの上塗り塗膜は来難い; int4 & fact22 -> int5: これは矛盾である; [assump1] & int5 -> int6: あの認定期間は転調する; int6 & fact7 -> int7: この知性的本性は銀製品である; int7 -> hypothesis;
「認め難い」物はある
fact24 -> int8: あの画質が転調するならそれは通じ易いということはないか認め難い;
$facts$ = fact1: 「あの上塗り塗膜は販売子会社だということはないけど通じ易い」ということは成り立たない fact2: もしあの認定期間は転調するということはないとしたら「あの画質は販売子会社でないし試料保管庫でない」ということは成り立たない fact3: あの白線は転調する fact4: あの認定期間は転調しないならば「あの画質は販売子会社だということはないがしかしそれは試料保管庫である」ということは成り立たない fact5: もしあの上塗り塗膜が通じ易いとするとそれは伝え易い fact6: もしあの上塗り塗膜が通じ易いとしたらそれは試料保管庫である fact7: 「あの認定期間は転調する」ということは本当だとするとこの知性的本性は銀製品である fact8: もしもなにかは転調するとするとそれは通じ易くないかまたは認め難いかまたは両方である fact9: もしもあの認定期間が銀製品だとするとそれは転調する fact10: もしもあの認定期間は転調するということはないとすると「あの画質は販売子会社であるがしかし試料保管庫でない」ということは間違いだ fact11: もしもあの上塗り塗膜が伝え易いなら来難い fact12: 仮にあの画質が通じ易くないかそれが認め難いか両方ともであるとしたらあの認定期間は認め難い fact13: あの認定期間は試料保管庫である fact14: 「あの画質は販売子会社だが試料保管庫でない」ということは成り立つということはない fact15: 「あの画質は販売子会社であるということはないけど試料保管庫である」ということは事実と異なる fact16: 仮に「この知性的本性は転調しなくてそれに来難くない」ということは本当でないとすると「あの上塗り塗膜は銀製品である」ということは間違っているということはない fact17: もしあの上塗り塗膜が銀製品ならこの知性的本性は来難い fact18: もしあの画質が来難いならば販売子会社である fact19: あの上塗り塗膜は転調する fact20: あの認定期間は伝え易い fact21: 仮にあの上塗り塗膜は試料保管庫でないとすると「あの認定期間は転調する一方で来難くない」ということは嘘だ fact22: あの上塗り塗膜は来難くない fact23: 「あの画質は販売子会社でなくてそれは試料保管庫でない」ということは偽だとしたらあの上塗り塗膜は通じ易い ; $hypothesis$ = 「「銀製品である」ということは成り立つ」物はある ; $proof$ = 
void -> assump1: 以下のように仮定する。あの認定期間は転調しない; fact2 & assump1 -> int1: 「あの画質は販売子会社であるということはないしそれに試料保管庫でない」ということは成り立たない; int1 & fact23 -> int2: あの上塗り塗膜は通じ易い; int2 & fact5 -> int3: 「あの上塗り塗膜は伝え易い」ということは成り立つ; int3 & fact11 -> int4: あの上塗り塗膜は来難い; int4 & fact22 -> int5: これは矛盾である; [assump1] & int5 -> int6: あの認定期間は転調する; int6 & fact7 -> int7: この知性的本性は銀製品である; int7 -> 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: 「あの画質は販売子会社でなくてそれは試料保管庫でない」ということは偽だとしたらあの上塗り塗膜は通じ易い

仮説: 「「銀製品である」ということは成り立つ」物はある
1. 仮定1: 以下のように仮定する。あの認定期間は転調しない
2. 事実2と仮定1から、推論1: "「あの画質は販売子会社であるということはないしそれに試料保管庫でない」ということは成り立たない"が導かれる
3. 推論1と事実23から、推論2: "あの上塗り塗膜は通じ易い"が導かれる
4. 推論2と事実5から、推論3: "「あの上塗り塗膜は伝え易い」ということは成り立つ"が導かれる
5. 推論3と事実11から、推論4: "あの上塗り塗膜は来難い"が導かれる
6. 推論4と事実22から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "あの認定期間は転調する"が導かれる
8. 推論6と事実7から、推論7: "この知性的本性は銀製品である"が導かれる
9. 推論7から、仮説が導かれる

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