「「あの新本店はアイテムメニューでないし加えてそれは見境無くない」ということは成り立つということはない」ということは本当である
fact1: その電気器具は見境無くない fact2: あの新本店は根深くないしその上公布しない fact3: あの新本店はアイテムメニューでないしおまけに見境無くない fact4: あの新本店は通り難いということはなくてそれは見境無くない fact5: その清算人は見境無くない fact6: もしも「なんらかのものは修補するということはないけど取り急ぐ」ということは間違いであるとしたら取り急がない fact7: あの新本店は努め為さらない fact8: あの新本店は青くない
fact3 -> hypothesis;
fact3 -> hypothesis;
「あの新本店はアイテムメニューでないしおまけに見境無くない」ということは事実だということはない
fact9 -> int1: 仮に「この時価ベースは修補するということはないがそれは取り急ぐ」ということは間違っているとすればそれは取り急がない;
$facts$ = fact1: その電気器具は見境無くない fact2: あの新本店は根深くないしその上公布しない fact3: あの新本店はアイテムメニューでないしおまけに見境無くない fact4: あの新本店は通り難いということはなくてそれは見境無くない fact5: その清算人は見境無くない fact6: もしも「なんらかのものは修補するということはないけど取り急ぐ」ということは間違いであるとしたら取り急がない fact7: あの新本店は努め為さらない fact8: あの新本店は青くない ; $hypothesis$ = 「「あの新本店はアイテムメニューでないし加えてそれは見境無くない」ということは成り立つということはない」ということは本当である ; $proof$ = 
fact3 -> hypothesis; __DISPROVED__
事実1: その電気器具は見境無くない
事実2: あの新本店は根深くないしその上公布しない
事実3: あの新本店はアイテムメニューでないしおまけに見境無くない
事実4: あの新本店は通り難いということはなくてそれは見境無くない
事実5: その清算人は見境無くない
事実6: もしも「なんらかのものは修補するということはないけど取り急ぐ」ということは間違いであるとしたら取り急がない
事実7: あの新本店は努め為さらない
事実8: あの新本店は青くない

仮説: 「「あの新本店はアイテムメニューでないし加えてそれは見境無くない」ということは成り立つということはない」ということは本当である
1. 事実3から、仮説が否定される

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