あの全家政は招聘する
fact1: もしなにがしかのものが論点でないとすればそれは招聘する fact2: もし仮にあのサンダル履きが当たり易いかまたは玄関ドアでないかあるいは両方であるならばそれは当たり易い fact3: その被検者が当たり易くてそれが方違えならあの二百パーセント以上は当たり易くない fact4: あの二百パーセント以上は玄関ドアであるかそれは論点でないかもしくは両方ともである fact5: あのサンダル履きは掻き易くない fact6: もし仮に「ある物は方違えであるかまたは論点でないかまたは両方ともである」ということは正しいとしたら招聘する fact7: もしあのサンダル履きが掻き易いならば当たり易くない fact8: もし「満ち溢れる」物があるとするとその被検者は崩れ易いし加えて乗り難い fact9: 当たり易くないものはあるとすると「あのサンダル履きは論点で加えてそれは招聘する」ということは嘘である fact10: 「あの全家政は張り付くしおまけに玄関ドアだ」ということは成り立たない fact11: その被検者は両立する fact12: あのサンダル履きは撓う fact13: もしあの二百パーセント以上が論点だということはないならあの全家政は方違えであるかもしくは論点でないかあるいは両方だ fact14: あの全家政は方違えであるかもしくはそれは論点であるかあるいは両方ともである fact15: あのサンダル履きは論点だ fact16: もし仮にあの二百パーセント以上が付け込めばそれは御供えする fact17: 崩れ易いものが両立すれば玄関ドアでない fact18: もしもあのサンダル履きが付け込む一方で掻き易くないとすればあの二百パーセント以上は論点でない fact19: あのサンダル履きが方違えであるし更に論点だとしたらあの全家政は付け込まない fact20: あのサンダル履きは当たり易いかまたはそれは玄関ドアでない fact21: もし「あのサンダル履きは付け込む一方でそれは掻き易くない」ということは間違いだとすると「それは当たり易くない」ということは成り立つ fact22: 「「満ち溢れる」ということは嘘でない」ものはある fact23: 「あのサンダル履きが付け込むしそれに掻き易いならば「あの二百パーセント以上は論点だということはない」ということは本当だ」ということは確かだ
void -> assump1: 以下のように仮定する。「あのサンダル履きは付け込むけれどそれは掻き易くない」ということは成り立たない; fact21 & assump1 -> int1: 「あのサンダル履きは当たり易くない」ということは確かである; fact20 & fact2 -> int2: あのサンダル履きは当たり易い; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あのサンダル履きは付け込むけど掻き易いということはない; int4 & fact18 -> int5: あの二百パーセント以上は論点でない; int5 & fact13 -> int6: あの全家政は方違えであるかあるいは論点でない; fact6 -> int7: もし仮にあの全家政が方違えであるかそれは論点でないかあるいは両方ともだとすればそれは招聘する; int6 & int7 -> hypothesis;
あの全家政は招聘しない
fact24 -> int8: もし仮にその被検者は崩れ易くて更に両立するとしたらそれは玄関ドアでない; fact27 & fact28 -> int9: その被検者は崩れ易いし更にそれは乗り難い; int9 -> int10: その被検者は崩れ易い; int10 & fact25 -> int11: その被検者は崩れ易くて両立する; int8 & int11 -> int12: その被検者は玄関ドアでない;
$facts$ = fact1: もしなにがしかのものが論点でないとすればそれは招聘する fact2: もし仮にあのサンダル履きが当たり易いかまたは玄関ドアでないかあるいは両方であるならばそれは当たり易い fact3: その被検者が当たり易くてそれが方違えならあの二百パーセント以上は当たり易くない fact4: あの二百パーセント以上は玄関ドアであるかそれは論点でないかもしくは両方ともである fact5: あのサンダル履きは掻き易くない fact6: もし仮に「ある物は方違えであるかまたは論点でないかまたは両方ともである」ということは正しいとしたら招聘する fact7: もしあのサンダル履きが掻き易いならば当たり易くない fact8: もし「満ち溢れる」物があるとするとその被検者は崩れ易いし加えて乗り難い fact9: 当たり易くないものはあるとすると「あのサンダル履きは論点で加えてそれは招聘する」ということは嘘である fact10: 「あの全家政は張り付くしおまけに玄関ドアだ」ということは成り立たない fact11: その被検者は両立する fact12: あのサンダル履きは撓う fact13: もしあの二百パーセント以上が論点だということはないならあの全家政は方違えであるかもしくは論点でないかあるいは両方だ fact14: あの全家政は方違えであるかもしくはそれは論点であるかあるいは両方ともである fact15: あのサンダル履きは論点だ fact16: もし仮にあの二百パーセント以上が付け込めばそれは御供えする fact17: 崩れ易いものが両立すれば玄関ドアでない fact18: もしもあのサンダル履きが付け込む一方で掻き易くないとすればあの二百パーセント以上は論点でない fact19: あのサンダル履きが方違えであるし更に論点だとしたらあの全家政は付け込まない fact20: あのサンダル履きは当たり易いかまたはそれは玄関ドアでない fact21: もし「あのサンダル履きは付け込む一方でそれは掻き易くない」ということは間違いだとすると「それは当たり易くない」ということは成り立つ fact22: 「「満ち溢れる」ということは嘘でない」ものはある fact23: 「あのサンダル履きが付け込むしそれに掻き易いならば「あの二百パーセント以上は論点だということはない」ということは本当だ」ということは確かだ ; $hypothesis$ = あの全家政は招聘する ; $proof$ = 
void -> assump1: 以下のように仮定する。「あのサンダル履きは付け込むけれどそれは掻き易くない」ということは成り立たない; fact21 & assump1 -> int1: 「あのサンダル履きは当たり易くない」ということは確かである; fact20 & fact2 -> int2: あのサンダル履きは当たり易い; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あのサンダル履きは付け込むけど掻き易いということはない; int4 & fact18 -> int5: あの二百パーセント以上は論点でない; int5 & fact13 -> int6: あの全家政は方違えであるかあるいは論点でない; fact6 -> int7: もし仮にあの全家政が方違えであるかそれは論点でないかあるいは両方ともだとすればそれは招聘する; int6 & int7 -> hypothesis; __PROVED__
事実1: もしなにがしかのものが論点でないとすればそれは招聘する
事実2: もし仮にあのサンダル履きが当たり易いかまたは玄関ドアでないかあるいは両方であるならばそれは当たり易い
事実3: その被検者が当たり易くてそれが方違えならあの二百パーセント以上は当たり易くない
事実4: あの二百パーセント以上は玄関ドアであるかそれは論点でないかもしくは両方ともである
事実5: あのサンダル履きは掻き易くない
事実6: もし仮に「ある物は方違えであるかまたは論点でないかまたは両方ともである」ということは正しいとしたら招聘する
事実7: もしあのサンダル履きが掻き易いならば当たり易くない
事実8: もし「満ち溢れる」物があるとするとその被検者は崩れ易いし加えて乗り難い
事実9: 当たり易くないものはあるとすると「あのサンダル履きは論点で加えてそれは招聘する」ということは嘘である
事実10: 「あの全家政は張り付くしおまけに玄関ドアだ」ということは成り立たない
事実11: その被検者は両立する
事実12: あのサンダル履きは撓う
事実13: もしあの二百パーセント以上が論点だということはないならあの全家政は方違えであるかもしくは論点でないかあるいは両方だ
事実14: あの全家政は方違えであるかもしくはそれは論点であるかあるいは両方ともである
事実15: あのサンダル履きは論点だ
事実16: もし仮にあの二百パーセント以上が付け込めばそれは御供えする
事実17: 崩れ易いものが両立すれば玄関ドアでない
事実18: もしもあのサンダル履きが付け込む一方で掻き易くないとすればあの二百パーセント以上は論点でない
事実19: あのサンダル履きが方違えであるし更に論点だとしたらあの全家政は付け込まない
事実20: あのサンダル履きは当たり易いかまたはそれは玄関ドアでない
事実21: もし「あのサンダル履きは付け込む一方でそれは掻き易くない」ということは間違いだとすると「それは当たり易くない」ということは成り立つ
事実22: 「「満ち溢れる」ということは嘘でない」ものはある
事実23: 「あのサンダル履きが付け込むしそれに掻き易いならば「あの二百パーセント以上は論点だということはない」ということは本当だ」ということは確かだ

仮説: あの全家政は招聘する
1. 仮定1: 以下のように仮定する。「あのサンダル履きは付け込むけれどそれは掻き易くない」ということは成り立たない
2. 事実21と仮定1から、推論1: "「あのサンダル履きは当たり易くない」ということは確かである"が導かれる
3. 事実20と事実2から、推論2: "あのサンダル履きは当たり易い"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "あのサンダル履きは付け込むけど掻き易いということはない"が導かれる
6. 推論4と事実18から、推論5: "あの二百パーセント以上は論点でない"が導かれる
7. 推論5と事実13から、推論6: "あの全家政は方違えであるかあるいは論点でない"が導かれる
8. 事実6から、推論7: "もし仮にあの全家政が方違えであるかそれは論点でないかあるいは両方ともだとすればそれは招聘する"が導かれる
9. 推論6と推論7から、仮説が導かれる

よって、仮説が証明されました。