「このＲＯＩは聳やかさなくてまた得易くない」ということは嘘である
fact1: その産業振興はチークダンスである fact2: その産業振興は聳やかす fact3: 仮にあの除細動が聳やかすとするとこのＲＯＩは聳やかすということはなくて得易いということはない fact4: その産業振興は広がり易くなくてそれは具体的状況でない fact5: もしもその産業振興はチークダンスであるならば平面形である fact6: もし仮にこのＲＯＩが得易いとするとあの除細動は得易くないしまたそれは聳やかさない fact7: もし仮にその産業振興は平面形だとすると「あの除細動は聳やかす」ということは正しい fact8: 流され易くない物は剥脱するがしかし九十五年頃でない fact9: 「あのアジア全体は旅行案内書だけどペーパータオルでない」ということは成り立たない fact10: もしもその持ち家率はチークダンスでないけれど平面形であるとすると「あの除細動はチークダンスだ」ということは成り立つ fact11: 仮に「あのアジア全体は旅行案内書である一方でそれはペーパータオルでない」ということは間違いであるとしたら流され易くない fact12: あの除細動は得易い fact13: このＲＯＩは執行役会でないしそれにそれは平面形でない fact14: その産業振興は得易い fact15: 仮に「剥脱するがしかし九十五年頃だということはない」物があるならその持ち家率は日付けでない fact16: この自治体警察は平面形である fact17: あの除細動が平面形であるならばその産業振興は平面形でないしさらに聳やかさない fact18: 仮に「チークダンスな」物があるとするとその産業振興は得易い fact19: この情報紙は得易い fact20: もし何らかの物は日付けでないならチークダンスでないがしかし平面形である
fact5 & fact1 -> int1: その産業振興は平面形だ; int1 & fact7 -> int2: あの除細動は聳やかす; int2 & fact3 -> hypothesis;
fact5 & fact1 -> int1: {B}{a}; int1 & fact7 -> int2: {C}{b}; int2 & fact3 -> hypothesis;
「このＲＯＩは聳やかすということはないし得易くない」ということは成り立たない
fact25 -> int3: もし「その持ち家率は日付けでない」ということは成り立つとするとそれはチークダンスであるということはなくてそれは平面形だ; fact23 -> int4: もしもあのアジア全体が流され易いということはないとしたらそれは剥脱するが九十五年頃だということはない; fact27 & fact21 -> int5: あのアジア全体は流され易くない; int4 & int5 -> int6: あのアジア全体は剥脱するけど九十五年頃でない; int6 -> int7: なにがしかのものは剥脱するけど九十五年頃でない; int7 & fact22 -> int8: その持ち家率は日付けでない; int3 & int8 -> int9: その持ち家率はチークダンスでないけど平面形である; fact26 & int9 -> int10: あの除細動はチークダンスである; int10 -> int11: 「チークダンスである」物はある; int11 & fact24 -> int12: その産業振興は得易い; int12 -> int13: 「「得易い」ということは本当な」ものはある;
$facts$ = fact1: その産業振興はチークダンスである fact2: その産業振興は聳やかす fact3: 仮にあの除細動が聳やかすとするとこのＲＯＩは聳やかすということはなくて得易いということはない fact4: その産業振興は広がり易くなくてそれは具体的状況でない fact5: もしもその産業振興はチークダンスであるならば平面形である fact6: もし仮にこのＲＯＩが得易いとするとあの除細動は得易くないしまたそれは聳やかさない fact7: もし仮にその産業振興は平面形だとすると「あの除細動は聳やかす」ということは正しい fact8: 流され易くない物は剥脱するがしかし九十五年頃でない fact9: 「あのアジア全体は旅行案内書だけどペーパータオルでない」ということは成り立たない fact10: もしもその持ち家率はチークダンスでないけれど平面形であるとすると「あの除細動はチークダンスだ」ということは成り立つ fact11: 仮に「あのアジア全体は旅行案内書である一方でそれはペーパータオルでない」ということは間違いであるとしたら流され易くない fact12: あの除細動は得易い fact13: このＲＯＩは執行役会でないしそれにそれは平面形でない fact14: その産業振興は得易い fact15: 仮に「剥脱するがしかし九十五年頃だということはない」物があるならその持ち家率は日付けでない fact16: この自治体警察は平面形である fact17: あの除細動が平面形であるならばその産業振興は平面形でないしさらに聳やかさない fact18: 仮に「チークダンスな」物があるとするとその産業振興は得易い fact19: この情報紙は得易い fact20: もし何らかの物は日付けでないならチークダンスでないがしかし平面形である ; $hypothesis$ = 「このＲＯＩは聳やかさなくてまた得易くない」ということは嘘である ; $proof$ = 
fact5 & fact1 -> int1: その産業振興は平面形だ; int1 & fact7 -> int2: あの除細動は聳やかす; int2 & fact3 -> hypothesis; __DISPROVED__
事実1: その産業振興はチークダンスである
事実2: その産業振興は聳やかす
事実3: 仮にあの除細動が聳やかすとするとこのＲＯＩは聳やかすということはなくて得易いということはない
事実4: その産業振興は広がり易くなくてそれは具体的状況でない
事実5: もしもその産業振興はチークダンスであるならば平面形である
事実6: もし仮にこのＲＯＩが得易いとするとあの除細動は得易くないしまたそれは聳やかさない
事実7: もし仮にその産業振興は平面形だとすると「あの除細動は聳やかす」ということは正しい
事実8: 流され易くない物は剥脱するがしかし九十五年頃でない
事実9: 「あのアジア全体は旅行案内書だけどペーパータオルでない」ということは成り立たない
事実10: もしもその持ち家率はチークダンスでないけれど平面形であるとすると「あの除細動はチークダンスだ」ということは成り立つ
事実11: 仮に「あのアジア全体は旅行案内書である一方でそれはペーパータオルでない」ということは間違いであるとしたら流され易くない
事実12: あの除細動は得易い
事実13: このＲＯＩは執行役会でないしそれにそれは平面形でない
事実14: その産業振興は得易い
事実15: 仮に「剥脱するがしかし九十五年頃だということはない」物があるならその持ち家率は日付けでない
事実16: この自治体警察は平面形である
事実17: あの除細動が平面形であるならばその産業振興は平面形でないしさらに聳やかさない
事実18: 仮に「チークダンスな」物があるとするとその産業振興は得易い
事実19: この情報紙は得易い
事実20: もし何らかの物は日付けでないならチークダンスでないがしかし平面形である

仮説: 「このＲＯＩは聳やかさなくてまた得易くない」ということは嘘である
1. 事実5と事実1から、推論1: "その産業振興は平面形だ"が導かれる
2. 推論1と事実7から、推論2: "あの除細動は聳やかす"が導かれる
3. 推論2と事実3から、仮説が否定される

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