この所収は俗っぽくないし相携えない
fact1: あの半々は骨皮質だ fact2: その芸能プロダクションは同梱する fact3: あの旁は相携える fact4: 仮に「あの半々は同梱する」ということは事実であるならその出稼ぎ先は差し挟む fact5: もしもこの所収は骨皮質だとしたら「「その出稼ぎ先は骨皮質でない一方で相携える」ということは成り立たない」ということは事実だ fact6: 「もしもその出稼ぎ先が骨皮質ならばあの旁は俗っぽい」ということは成り立つ fact7: あの半々は同梱する fact8: もしあの旁は俗っぽいならば「この所収は俗っぽくないしそれに相携えない」ということは誤りだ fact9: もし「その出稼ぎ先は差し挟む」ということは正しいなら骨皮質だ fact10: あの半々は相携える fact11: あの半々は押さえ難い fact12: 「あの旁は同梱する」ということは事実である fact13: あの旁は俗っぽいなら「「この所収は俗っぽいがしかしそれは相携えるということはない」ということは正しい」ということは成り立たない
fact4 & fact7 -> int1: その出稼ぎ先は差し挟む; int1 & fact9 -> int2: その出稼ぎ先は骨皮質だ; int2 & fact6 -> int3: 「あの旁は俗っぽい」ということは事実である; int3 & fact8 -> hypothesis;
$facts$ = fact1: あの半々は骨皮質だ fact2: その芸能プロダクションは同梱する fact3: あの旁は相携える fact4: 仮に「あの半々は同梱する」ということは事実であるならその出稼ぎ先は差し挟む fact5: もしもこの所収は骨皮質だとしたら「「その出稼ぎ先は骨皮質でない一方で相携える」ということは成り立たない」ということは事実だ fact6: 「もしもその出稼ぎ先が骨皮質ならばあの旁は俗っぽい」ということは成り立つ fact7: あの半々は同梱する fact8: もしあの旁は俗っぽいならば「この所収は俗っぽくないしそれに相携えない」ということは誤りだ fact9: もし「その出稼ぎ先は差し挟む」ということは正しいなら骨皮質だ fact10: あの半々は相携える fact11: あの半々は押さえ難い fact12: 「あの旁は同梱する」ということは事実である fact13: あの旁は俗っぽいなら「「この所収は俗っぽいがしかしそれは相携えるということはない」ということは正しい」ということは成り立たない ; $hypothesis$ = この所収は俗っぽくないし相携えない ; $proof$ = 
fact4 & fact7 -> int1: その出稼ぎ先は差し挟む; int1 & fact9 -> int2: その出稼ぎ先は骨皮質だ; int2 & fact6 -> int3: 「あの旁は俗っぽい」ということは事実である; int3 & fact8 -> hypothesis; __DISPROVED__
事実1: あの半々は骨皮質だ
事実2: その芸能プロダクションは同梱する
事実3: あの旁は相携える
事実4: 仮に「あの半々は同梱する」ということは事実であるならその出稼ぎ先は差し挟む
事実5: もしもこの所収は骨皮質だとしたら「「その出稼ぎ先は骨皮質でない一方で相携える」ということは成り立たない」ということは事実だ
事実6: 「もしもその出稼ぎ先が骨皮質ならばあの旁は俗っぽい」ということは成り立つ
事実7: あの半々は同梱する
事実8: もしあの旁は俗っぽいならば「この所収は俗っぽくないしそれに相携えない」ということは誤りだ
事実9: もし「その出稼ぎ先は差し挟む」ということは正しいなら骨皮質だ
事実10: あの半々は相携える
事実11: あの半々は押さえ難い
事実12: 「あの旁は同梱する」ということは事実である
事実13: あの旁は俗っぽいなら「「この所収は俗っぽいがしかしそれは相携えるということはない」ということは正しい」ということは成り立たない

仮説: この所収は俗っぽくないし相携えない
1. 事実4と事実7から、推論1: "その出稼ぎ先は差し挟む"が導かれる
2. 推論1と事実9から、推論2: "その出稼ぎ先は骨皮質だ"が導かれる
3. 推論2と事実6から、推論3: "「あの旁は俗っぽい」ということは事実である"が導かれる
4. 推論3と事実8から、仮説が否定される

よって、仮説が否定されました。