あのロックウールはアメリカ子会社である
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: その宝飾品は増える
void -> assump1: 以下のように仮定する。このＸＲは送料無料だ; fact10 & assump1 -> int1: その宝飾品は小憎らしい; int1 & fact12 -> int2: その宝飾品は似付かわしい; int2 & fact21 -> int3: これは矛盾である; [assump1] & int3 -> int4: このＸＲは送料無料でない; int4 & fact9 -> int5: この使い手はべた付き易いし加えて送料無料である; int5 -> int6: この使い手はべた付き易い; fact16 & fact25 -> int7: この使い手は鈍くない; int6 & int7 -> int8: この使い手はべた付き易いけれど鈍くない; int8 & fact14 -> hypothesis;
あのロックウールは受け辛くない
fact28 -> int9: 仮にあのロックウールが受け辛くないか送料無料であるかあるいは両方だとすれば受け辛くない;
$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: その宝飾品は増える ; $hypothesis$ = あのロックウールはアメリカ子会社である ; $proof$ = 
void -> assump1: 以下のように仮定する。このＸＲは送料無料だ; fact10 & assump1 -> int1: その宝飾品は小憎らしい; int1 & fact12 -> int2: その宝飾品は似付かわしい; int2 & fact21 -> int3: これは矛盾である; [assump1] & int3 -> int4: このＸＲは送料無料でない; int4 & fact9 -> int5: この使い手はべた付き易いし加えて送料無料である; int5 -> int6: この使い手はべた付き易い; fact16 & fact25 -> int7: この使い手は鈍くない; int6 & int7 -> int8: この使い手はべた付き易いけれど鈍くない; int8 & fact14 -> 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: その宝飾品は増える

仮説: あのロックウールはアメリカ子会社である
1. 仮定1: 以下のように仮定する。このＸＲは送料無料だ
2. 事実10と仮定1から、推論1: "その宝飾品は小憎らしい"が導かれる
3. 推論1と事実12から、推論2: "その宝飾品は似付かわしい"が導かれる
4. 推論2と事実21から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "このＸＲは送料無料でない"が導かれる
6. 推論4と事実9から、推論5: "この使い手はべた付き易いし加えて送料無料である"が導かれる
7. 推論5から、推論6: "この使い手はべた付き易い"が導かれる
8. 事実16と事実25から、推論7: "この使い手は鈍くない"が導かれる
9. 推論6と推論7から、推論8: "この使い手はべた付き易いけれど鈍くない"が導かれる
10. 推論8と事実14から、仮説が導かれる

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