「この経済的効果は確認し難くて暮らし易い」ということは確かでない
fact1: とあるものは拡張正規表現でない fact2: なにがしかの物が拡張正規表現でないしさらに直行しないとするとあの有塩バターは電離する fact3: もしもこのストラトキャスターが拡張正規表現であるならこのＯＰは拡張正規表現でない fact4: もし仮にとあるものが電離するならそれは渡し賃である fact5: 「とあるものは拡張正規表現だけれど直行しない」ということは間違いでない fact6: 「直行しない」物はある fact7: もしもあの有塩バターが渡し賃ならこの経済的効果は確認し難い fact8: この経済的効果は暮らし易い fact9: このストラトキャスターは大パネルでない一方で拡張正規表現だ fact10: 「もしもこのストラトキャスターが拡張正規表現ならこのＯＰは拡張正規表現であるということはないし加えて直行しない」ということは本当である
fact9 -> int1: このストラトキャスターは拡張正規表現である; int1 & fact10 -> int2: このＯＰは拡張正規表現でないしそれに直行するということはない; int2 -> int3: とあるものは拡張正規表現でないし更に直行しない; int3 & fact2 -> int4: あの有塩バターは電離する; fact4 -> int5: もしもあの有塩バターが電離するなら渡し賃である; int4 & int5 -> int6: あの有塩バターは渡し賃だ; int6 & fact7 -> int7: 「この経済的効果は確認し難い」ということは確かだ; int7 & fact8 -> hypothesis;
$facts$ = fact1: とあるものは拡張正規表現でない fact2: なにがしかの物が拡張正規表現でないしさらに直行しないとするとあの有塩バターは電離する fact3: もしもこのストラトキャスターが拡張正規表現であるならこのＯＰは拡張正規表現でない fact4: もし仮にとあるものが電離するならそれは渡し賃である fact5: 「とあるものは拡張正規表現だけれど直行しない」ということは間違いでない fact6: 「直行しない」物はある fact7: もしもあの有塩バターが渡し賃ならこの経済的効果は確認し難い fact8: この経済的効果は暮らし易い fact9: このストラトキャスターは大パネルでない一方で拡張正規表現だ fact10: 「もしもこのストラトキャスターが拡張正規表現ならこのＯＰは拡張正規表現であるということはないし加えて直行しない」ということは本当である ; $hypothesis$ = 「この経済的効果は確認し難くて暮らし易い」ということは確かでない ; $proof$ = 
fact9 -> int1: このストラトキャスターは拡張正規表現である; int1 & fact10 -> int2: このＯＰは拡張正規表現でないしそれに直行するということはない; int2 -> int3: とあるものは拡張正規表現でないし更に直行しない; int3 & fact2 -> int4: あの有塩バターは電離する; fact4 -> int5: もしもあの有塩バターが電離するなら渡し賃である; int4 & int5 -> int6: あの有塩バターは渡し賃だ; int6 & fact7 -> int7: 「この経済的効果は確認し難い」ということは確かだ; int7 & fact8 -> hypothesis; __DISPROVED__
事実1: とあるものは拡張正規表現でない
事実2: なにがしかの物が拡張正規表現でないしさらに直行しないとするとあの有塩バターは電離する
事実3: もしもこのストラトキャスターが拡張正規表現であるならこのＯＰは拡張正規表現でない
事実4: もし仮にとあるものが電離するならそれは渡し賃である
事実5: 「とあるものは拡張正規表現だけれど直行しない」ということは間違いでない
事実6: 「直行しない」物はある
事実7: もしもあの有塩バターが渡し賃ならこの経済的効果は確認し難い
事実8: この経済的効果は暮らし易い
事実9: このストラトキャスターは大パネルでない一方で拡張正規表現だ
事実10: 「もしもこのストラトキャスターが拡張正規表現ならこのＯＰは拡張正規表現であるということはないし加えて直行しない」ということは本当である

仮説: 「この経済的効果は確認し難くて暮らし易い」ということは確かでない
1. 事実9から、推論1: "このストラトキャスターは拡張正規表現である"が導かれる
2. 推論1と事実10から、推論2: "このＯＰは拡張正規表現でないしそれに直行するということはない"が導かれる
3. 推論2から、推論3: "とあるものは拡張正規表現でないし更に直行しない"が導かれる
4. 推論3と事実2から、推論4: "あの有塩バターは電離する"が導かれる
5. 事実4から、推論5: "もしもあの有塩バターが電離するなら渡し賃である"が導かれる
6. 推論4と推論5から、推論6: "あの有塩バターは渡し賃だ"が導かれる
7. 推論6と事実7から、推論7: "「この経済的効果は確認し難い」ということは確かだ"が導かれる
8. 推論7と事実8から、仮説が否定される

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