この先進国は高度化でない
fact1: あの販売増は高度化であるしまたそれは先祖供養だ fact2: この二年用が悔しがらない一方でそれが成し難いとしたらこの先進国は成し難い fact3: 仮に「高度化である」ものがあるならこの二年用は悔しがらない一方で成し難い fact4: この先進国は高度化だしさらに成し難い
fact4 -> hypothesis;
fact4 -> hypothesis;
この先進国は成し難くて更に食事等である
fact6 -> int1: あの販売増は高度化だ; int1 -> int2: 「高度化である」物はある; int2 & fact7 -> int3: この二年用は悔しがらないが成し難い; fact5 & int3 -> int4: この先進国は成し難い;
$facts$ = fact1: あの販売増は高度化であるしまたそれは先祖供養だ fact2: この二年用が悔しがらない一方でそれが成し難いとしたらこの先進国は成し難い fact3: 仮に「高度化である」ものがあるならこの二年用は悔しがらない一方で成し難い fact4: この先進国は高度化だしさらに成し難い ; $hypothesis$ = この先進国は高度化でない ; $proof$ = 
fact4 -> hypothesis; __DISPROVED__
事実1: あの販売増は高度化であるしまたそれは先祖供養だ
事実2: この二年用が悔しがらない一方でそれが成し難いとしたらこの先進国は成し難い
事実3: 仮に「高度化である」ものがあるならこの二年用は悔しがらない一方で成し難い
事実4: この先進国は高度化だしさらに成し難い

仮説: この先進国は高度化でない
1. 事実4から、仮説が否定される

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