あの平成十年版は過ごし易い
fact1: 油っぽくない物は分娩するし過ごし易い fact2: もし仮に「「どうして良いしかつ減算しない」ということは成り立つということはない」物があるならその一パーセント以上は分娩する fact3: 「「その水滸伝は拵える一方で長足でない」ということは嘘でない」ということは偽だとするとその一パーセント以上は分娩しない fact4: もし仮にこの可能性がどうして良い一方で減算しないならば「この鹿島神社は油っぽくない」ということは間違いでない fact5: 「その水滸伝は拵える一方で長足だということはない」ということは間違っている fact6: この鹿島神社が油っぽくないとすればあの平成十年版は選び為さらない fact7: 「この紡機は転けない」ということは事実と異なるということはない fact8: もし仮にあの平成十年版が選び為さらないしそれにそれが転けないとすればそれは過ごし易くない fact9: 「あの平成十年版は転けない」ということは事実と異なるということはない
void -> assump1: 以下のように仮定する。「この可能性はどうして良いけれど減算しない」ということは間違いだ; assump1 -> int1: 「「どうして良いけど減算しない」ということは成り立たない」ものはある; int1 & fact2 -> int2: 「その一パーセント以上は分娩する」ということは間違っているということはない; fact3 & fact5 -> int3: その一パーセント以上は分娩するということはない; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: この可能性はどうして良いけれど減算するということはない; int5 & fact4 -> int6: 「この鹿島神社は油っぽくない」ということは成り立つ; int6 & fact6 -> int7: あの平成十年版は選び為さらない; int7 & fact9 -> int8: あの平成十年版は選び為さらないしさらに転けない; int8 & fact8 -> hypothesis;
あの平成十年版は過ごし易い
fact10 -> int9: 仮にあの平成十年版が油っぽくないとしたら分娩するし加えて過ごし易い;
$facts$ = fact1: 油っぽくない物は分娩するし過ごし易い fact2: もし仮に「「どうして良いしかつ減算しない」ということは成り立つということはない」物があるならその一パーセント以上は分娩する fact3: 「「その水滸伝は拵える一方で長足でない」ということは嘘でない」ということは偽だとするとその一パーセント以上は分娩しない fact4: もし仮にこの可能性がどうして良い一方で減算しないならば「この鹿島神社は油っぽくない」ということは間違いでない fact5: 「その水滸伝は拵える一方で長足だということはない」ということは間違っている fact6: この鹿島神社が油っぽくないとすればあの平成十年版は選び為さらない fact7: 「この紡機は転けない」ということは事実と異なるということはない fact8: もし仮にあの平成十年版が選び為さらないしそれにそれが転けないとすればそれは過ごし易くない fact9: 「あの平成十年版は転けない」ということは事実と異なるということはない ; $hypothesis$ = あの平成十年版は過ごし易い ; $proof$ = 
void -> assump1: 以下のように仮定する。「この可能性はどうして良いけれど減算しない」ということは間違いだ; assump1 -> int1: 「「どうして良いけど減算しない」ということは成り立たない」ものはある; int1 & fact2 -> int2: 「その一パーセント以上は分娩する」ということは間違っているということはない; fact3 & fact5 -> int3: その一パーセント以上は分娩するということはない; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: この可能性はどうして良いけれど減算するということはない; int5 & fact4 -> int6: 「この鹿島神社は油っぽくない」ということは成り立つ; int6 & fact6 -> int7: あの平成十年版は選び為さらない; int7 & fact9 -> int8: あの平成十年版は選び為さらないしさらに転けない; int8 & fact8 -> hypothesis; __DISPROVED__
事実1: 油っぽくない物は分娩するし過ごし易い
事実2: もし仮に「「どうして良いしかつ減算しない」ということは成り立つということはない」物があるならその一パーセント以上は分娩する
事実3: 「「その水滸伝は拵える一方で長足でない」ということは嘘でない」ということは偽だとするとその一パーセント以上は分娩しない
事実4: もし仮にこの可能性がどうして良い一方で減算しないならば「この鹿島神社は油っぽくない」ということは間違いでない
事実5: 「その水滸伝は拵える一方で長足だということはない」ということは間違っている
事実6: この鹿島神社が油っぽくないとすればあの平成十年版は選び為さらない
事実7: 「この紡機は転けない」ということは事実と異なるということはない
事実8: もし仮にあの平成十年版が選び為さらないしそれにそれが転けないとすればそれは過ごし易くない
事実9: 「あの平成十年版は転けない」ということは事実と異なるということはない

仮説: あの平成十年版は過ごし易い
1. 仮定1: 以下のように仮定する。「この可能性はどうして良いけれど減算しない」ということは間違いだ
2. 仮定1から、推論1: "「「どうして良いけど減算しない」ということは成り立たない」ものはある"が導かれる
3. 推論1と事実2から、推論2: "「その一パーセント以上は分娩する」ということは間違っているということはない"が導かれる
4. 事実3と事実5から、推論3: "その一パーセント以上は分娩するということはない"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "この可能性はどうして良いけれど減算するということはない"が導かれる
7. 推論5と事実4から、推論6: "「この鹿島神社は油っぽくない」ということは成り立つ"が導かれる
8. 推論6と事実6から、推論7: "あの平成十年版は選び為さらない"が導かれる
9. 推論7と事実9から、推論8: "あの平成十年版は選び為さらないしさらに転けない"が導かれる
10. 推論8と事実8から、仮説が否定される

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