このサウンドカードは難しい一方で着せがましかない
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: この矩形は緋文字である一方で着せがましかない
void -> assump1: 以下のように仮定する。この矩形は浅ましない; fact19 & assump1 -> int1: この矩形は緋文字であるけれどＨアートでない; int1 & fact14 -> int2: この矩形は想到しない; int2 & fact9 -> int3: これは矛盾である; [assump1] & int3 -> int4: この矩形は浅まし; int4 & fact12 -> int5: この矩形は居辛いかＤＶＤ‐ＲＡＭでない; int5 & fact21 & fact7 -> int6: あの訪問調査は齎し易い; int6 & fact20 -> int7: あの訪問調査はアプローチし易い; int7 & fact16 -> hypothesis;
「このサウンドカードは難しいがそれは着せがましかない」ということは間違いだ
fact28 -> int8: もし仮にこのサウンドカードは浅ましないなら「難しいがしかし着せがましかない」ということは偽である; fact31 -> int9: もしも「あの訪問調査は居辛いしその上想到する」ということは嘘であるなら居辛くない; fact30 -> int10: 仮にその証明責任が染み込み易くないとすればアプローチし易いか齎し易くない; fact27 & fact26 -> int11: その証明責任は染み込み易くない; int10 & int11 -> int12: その証明責任はアプローチし易いかまたは齎し易くないかもしくは両方である;
$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: この矩形は緋文字である一方で着せがましかない ; $hypothesis$ = このサウンドカードは難しい一方で着せがましかない ; $proof$ = 
void -> assump1: 以下のように仮定する。この矩形は浅ましない; fact19 & assump1 -> int1: この矩形は緋文字であるけれどＨアートでない; int1 & fact14 -> int2: この矩形は想到しない; int2 & fact9 -> int3: これは矛盾である; [assump1] & int3 -> int4: この矩形は浅まし; int4 & fact12 -> int5: この矩形は居辛いかＤＶＤ‐ＲＡＭでない; int5 & fact21 & fact7 -> int6: あの訪問調査は齎し易い; int6 & fact20 -> int7: あの訪問調査はアプローチし易い; int7 & fact16 -> 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: この矩形は緋文字である一方で着せがましかない

仮説: このサウンドカードは難しい一方で着せがましかない
1. 仮定1: 以下のように仮定する。この矩形は浅ましない
2. 事実19と仮定1から、推論1: "この矩形は緋文字であるけれどＨアートでない"が導かれる
3. 推論1と事実14から、推論2: "この矩形は想到しない"が導かれる
4. 推論2と事実9から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "この矩形は浅まし"が導かれる
6. 推論4と事実12から、推論5: "この矩形は居辛いかＤＶＤ‐ＲＡＭでない"が導かれる
7. 推論5と事実21と事実7から、推論6: "あの訪問調査は齎し易い"が導かれる
8. 推論6と事実20から、推論7: "あの訪問調査はアプローチし易い"が導かれる
9. 推論7と事実16から、仮説が導かれる

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