「この比例税率は取れ難くないかまたは見分け難いということはないか両方ともだ」ということは誤りだ
fact1: もしもあのシーフが木工事でない一方で補佐するとするとこの視力回復は見分け難くない fact2: 仮に何かは暑くなくて尽力しないならばこの比例税率は生着しない fact3: 「あの御選びは補佐する」ということは成り立つ fact4: 「しがなくない」物はある fact5: 仮になにかは補佐するとしたらそれは考え難い fact6: 仮に「しがなくない」物があるならあの御選びは木工事だ fact7: 「あのシーフは尽力するということはない」ということは成り立つ fact8: もし仮にあの御選びが考え難くて木工事であるなら「あのシーフは暑くない」ということは事実だ fact9: 何かは生着するということはないとしたらそれは取れ難くないかそれは見分け難くないかもしくは両方である
fact5 -> int1: もしあの御選びが補佐するとしたら考え難い; int1 & fact3 -> int2: 「あの御選びは考え難い」ということは正しい; fact6 & fact4 -> int3: あの御選びは木工事である; int2 & int3 -> int4: あの御選びは考え難いしさらに木工事である; int4 & fact8 -> int5: あのシーフは暑くない; int5 & fact7 -> int6: あのシーフは暑くないしまたそれは尽力するということはない; int6 -> int7: 「暑くないしまた尽力するということはない」物はある; int7 & fact2 -> int8: この比例税率は生着しない; fact9 -> int9: この比例税率が生着しないとすればそれは取れ難くないかまたはそれは見分け難くない; int8 & int9 -> hypothesis;
この視力回復は見分け難くないかそれは易しない
$facts$ = fact1: もしもあのシーフが木工事でない一方で補佐するとするとこの視力回復は見分け難くない fact2: 仮に何かは暑くなくて尽力しないならばこの比例税率は生着しない fact3: 「あの御選びは補佐する」ということは成り立つ fact4: 「しがなくない」物はある fact5: 仮になにかは補佐するとしたらそれは考え難い fact6: 仮に「しがなくない」物があるならあの御選びは木工事だ fact7: 「あのシーフは尽力するということはない」ということは成り立つ fact8: もし仮にあの御選びが考え難くて木工事であるなら「あのシーフは暑くない」ということは事実だ fact9: 何かは生着するということはないとしたらそれは取れ難くないかそれは見分け難くないかもしくは両方である ; $hypothesis$ = 「この比例税率は取れ難くないかまたは見分け難いということはないか両方ともだ」ということは誤りだ ; $proof$ = 
fact5 -> int1: もしあの御選びが補佐するとしたら考え難い; int1 & fact3 -> int2: 「あの御選びは考え難い」ということは正しい; fact6 & fact4 -> int3: あの御選びは木工事である; int2 & int3 -> int4: あの御選びは考え難いしさらに木工事である; int4 & fact8 -> int5: あのシーフは暑くない; int5 & fact7 -> int6: あのシーフは暑くないしまたそれは尽力するということはない; int6 -> int7: 「暑くないしまた尽力するということはない」物はある; int7 & fact2 -> int8: この比例税率は生着しない; fact9 -> int9: この比例税率が生着しないとすればそれは取れ難くないかまたはそれは見分け難くない; int8 & int9 -> hypothesis; __DISPROVED__
事実1: もしもあのシーフが木工事でない一方で補佐するとするとこの視力回復は見分け難くない
事実2: 仮に何かは暑くなくて尽力しないならばこの比例税率は生着しない
事実3: 「あの御選びは補佐する」ということは成り立つ
事実4: 「しがなくない」物はある
事実5: 仮になにかは補佐するとしたらそれは考え難い
事実6: 仮に「しがなくない」物があるならあの御選びは木工事だ
事実7: 「あのシーフは尽力するということはない」ということは成り立つ
事実8: もし仮にあの御選びが考え難くて木工事であるなら「あのシーフは暑くない」ということは事実だ
事実9: 何かは生着するということはないとしたらそれは取れ難くないかそれは見分け難くないかもしくは両方である

仮説: 「この比例税率は取れ難くないかまたは見分け難いということはないか両方ともだ」ということは誤りだ
1. 事実5から、推論1: "もしあの御選びが補佐するとしたら考え難い"が導かれる
2. 推論1と事実3から、推論2: "「あの御選びは考え難い」ということは正しい"が導かれる
3. 事実6と事実4から、推論3: "あの御選びは木工事である"が導かれる
4. 推論2と推論3から、推論4: "あの御選びは考え難いしさらに木工事である"が導かれる
5. 推論4と事実8から、推論5: "あのシーフは暑くない"が導かれる
6. 推論5と事実7から、推論6: "あのシーフは暑くないしまたそれは尽力するということはない"が導かれる
7. 推論6から、推論7: "「暑くないしまた尽力するということはない」物はある"が導かれる
8. 推論7と事実2から、推論8: "この比例税率は生着しない"が導かれる
9. 事実9から、推論9: "この比例税率が生着しないとすればそれは取れ難くないかまたはそれは見分け難くない"が導かれる
10. 推論8と推論9から、仮説が否定される

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