このオリゴマーは着底する
fact1: このオリゴマーはせこい fact2: もし「その母集団レベルは許せないがＣＤプレイヤーだ」ということは誤っていればこのオリゴマーはＣＤプレイヤーでない fact3: もし仮に上辺は電荷密度であるならそれはＢ光でない fact4: その徳島工場は着底しない fact5: このオリゴマーが使用済みであるしそれは翼型であるとすれば洒落込まない fact6: もし仮に何かは大ヒットなら「その母集団レベルは許せるということはないけどＣＤプレイヤーである」ということは成り立たない fact7: もしなにがしかのものが許せないしまたそれはＣＤプレイヤーでないならばせこくない fact8: その健康保険は掃除し易いということはない fact9: 捕らわれ易いものがせこいとすればそれは着底しない fact10: 届き難い福祉部局は広がり難いということはない fact11: もしもそのダブルレバーは加工し易くてそれにおっかしいとしたらそれは勉学しない fact12: もし「その母集団レベルはせこくない」ということは確かならば「このオリゴマーは着底するし更に捕らわれ易い」ということは事実だ fact13: その雇用者は捕らわれ易くない fact14: もしも「ＣＤプレイヤーだということはない」ものがあるとすればこの内的可能性は着底しない fact15: もしも何らかの物が大ヒットだということはないとすると許せるということはないしそれはＣＤプレイヤーでない fact16: もし仮になにがしかの物が着底しないとすればそれはせこくて捕らわれ易い fact17: 仮に「その健康保険は掃除し易いということはない」ということは確かであるとしたらこの七八人はビルディングであるしそれに捩じ曲げる fact18: このオリゴマーは捕らわれ易い fact19: もし仮にアメリカ各地が辛気臭いならそれは近代日本文学だということはない fact20: もしもその健康保険はビルディングでないなら「この七八人は大ヒットであるかもしくは捩じ曲げないかあるいは両方だ」ということは成り立つ fact21: 仮に汚らしい物が広がり難いとするとそれは罹り易くない fact22: ビルディングは大ヒットである
fact18 & fact1 -> int1: このオリゴマーは捕らわれ易くてそれにそれはせこい; fact9 -> int2: もしこのオリゴマーが捕らわれ易いしせこいならばそれは着底しない; int1 & int2 -> hypothesis;
「この内的可能性はせこい」ということは真実である
fact27 -> int3: もしもこの内的可能性が着底するということはないならばそれはせこいしその上捕らわれ易い; fact24 -> int4: 「この七八人はビルディングである」ということは誤りだということはないとするとそれは大ヒットだ; fact28 & fact29 -> int5: この七八人がビルディングだししかもそれは捩じ曲げる; int5 -> int6: この七八人はビルディングだ; int4 & int6 -> int7: この七八人は大ヒットである; int7 -> int8: ある物は大ヒットだ; int8 & fact23 -> int9: 「その母集団レベルは許せないけどそれはＣＤプレイヤーだ」ということは成り立たない; fact26 & int9 -> int10: このオリゴマーはＣＤプレイヤーでない; int10 -> int11: 「ＣＤプレイヤーでない」ものはある; int11 & fact25 -> int12: この内的可能性は着底しない; int3 & int12 -> int13: この内的可能性はせこくて捕らわれ易い; int13 -> hypothesis;
$facts$ = fact1: このオリゴマーはせこい fact2: もし「その母集団レベルは許せないがＣＤプレイヤーだ」ということは誤っていればこのオリゴマーはＣＤプレイヤーでない fact3: もし仮に上辺は電荷密度であるならそれはＢ光でない fact4: その徳島工場は着底しない fact5: このオリゴマーが使用済みであるしそれは翼型であるとすれば洒落込まない fact6: もし仮に何かは大ヒットなら「その母集団レベルは許せるということはないけどＣＤプレイヤーである」ということは成り立たない fact7: もしなにがしかのものが許せないしまたそれはＣＤプレイヤーでないならばせこくない fact8: その健康保険は掃除し易いということはない fact9: 捕らわれ易いものがせこいとすればそれは着底しない fact10: 届き難い福祉部局は広がり難いということはない fact11: もしもそのダブルレバーは加工し易くてそれにおっかしいとしたらそれは勉学しない fact12: もし「その母集団レベルはせこくない」ということは確かならば「このオリゴマーは着底するし更に捕らわれ易い」ということは事実だ fact13: その雇用者は捕らわれ易くない fact14: もしも「ＣＤプレイヤーだということはない」ものがあるとすればこの内的可能性は着底しない fact15: もしも何らかの物が大ヒットだということはないとすると許せるということはないしそれはＣＤプレイヤーでない fact16: もし仮になにがしかの物が着底しないとすればそれはせこくて捕らわれ易い fact17: 仮に「その健康保険は掃除し易いということはない」ということは確かであるとしたらこの七八人はビルディングであるしそれに捩じ曲げる fact18: このオリゴマーは捕らわれ易い fact19: もし仮にアメリカ各地が辛気臭いならそれは近代日本文学だということはない fact20: もしもその健康保険はビルディングでないなら「この七八人は大ヒットであるかもしくは捩じ曲げないかあるいは両方だ」ということは成り立つ fact21: 仮に汚らしい物が広がり難いとするとそれは罹り易くない fact22: ビルディングは大ヒットである ; $hypothesis$ = このオリゴマーは着底する ; $proof$ = 
fact18 & fact1 -> int1: このオリゴマーは捕らわれ易くてそれにそれはせこい; fact9 -> int2: もしこのオリゴマーが捕らわれ易いしせこいならばそれは着底しない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: このオリゴマーはせこい
事実2: もし「その母集団レベルは許せないがＣＤプレイヤーだ」ということは誤っていればこのオリゴマーはＣＤプレイヤーでない
事実3: もし仮に上辺は電荷密度であるならそれはＢ光でない
事実4: その徳島工場は着底しない
事実5: このオリゴマーが使用済みであるしそれは翼型であるとすれば洒落込まない
事実6: もし仮に何かは大ヒットなら「その母集団レベルは許せるということはないけどＣＤプレイヤーである」ということは成り立たない
事実7: もしなにがしかのものが許せないしまたそれはＣＤプレイヤーでないならばせこくない
事実8: その健康保険は掃除し易いということはない
事実9: 捕らわれ易いものがせこいとすればそれは着底しない
事実10: 届き難い福祉部局は広がり難いということはない
事実11: もしもそのダブルレバーは加工し易くてそれにおっかしいとしたらそれは勉学しない
事実12: もし「その母集団レベルはせこくない」ということは確かならば「このオリゴマーは着底するし更に捕らわれ易い」ということは事実だ
事実13: その雇用者は捕らわれ易くない
事実14: もしも「ＣＤプレイヤーだということはない」ものがあるとすればこの内的可能性は着底しない
事実15: もしも何らかの物が大ヒットだということはないとすると許せるということはないしそれはＣＤプレイヤーでない
事実16: もし仮になにがしかの物が着底しないとすればそれはせこくて捕らわれ易い
事実17: 仮に「その健康保険は掃除し易いということはない」ということは確かであるとしたらこの七八人はビルディングであるしそれに捩じ曲げる
事実18: このオリゴマーは捕らわれ易い
事実19: もし仮にアメリカ各地が辛気臭いならそれは近代日本文学だということはない
事実20: もしもその健康保険はビルディングでないなら「この七八人は大ヒットであるかもしくは捩じ曲げないかあるいは両方だ」ということは成り立つ
事実21: 仮に汚らしい物が広がり難いとするとそれは罹り易くない
事実22: ビルディングは大ヒットである

仮説: このオリゴマーは着底する
1. 事実18と事実1から、推論1: "このオリゴマーは捕らわれ易くてそれにそれはせこい"が導かれる
2. 事実9から、推論2: "もしこのオリゴマーが捕らわれ易いしせこいならばそれは着底しない"が導かれる
3. 推論1と推論2から、仮説が否定される

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