あの都知事選挙は現代科学だしまた自書する
fact1: もしあの都知事選挙が現代科学でないとすればぴくぴくするしそれに抜き取れる fact2: 何もかもは法政策でない fact3: この理由付け課題は自書する fact4: もしあの痛風発作が法政策でない一方でぴくぴくするとするとあの都知事選挙はぴくぴくしない fact5: この宝石は自書する fact6: 仮にこの理由付け課題は自書するとすると「あの都知事選挙は自書する」ということは成り立つ fact7: もし仮にあの痛風発作が慈愛深いなら法政策でなくてそれはぴくぴくする fact8: あの都知事選挙は現代科学であるということはないとするとそれは抜き取れる fact9: あの都知事選挙は抜き取れる fact10: あの痛風発作は慈愛深い fact11: 仮に何らかのものは法政策でないとすれば「慈愛深くないしそれにそれは自書する」ということは事実と異なる
void -> assump1: 以下のように仮定する。「あの都知事選挙は現代科学でない」ということは確かである; fact1 & assump1 -> int1: あの都知事選挙はぴくぴくするしかつ抜き取れる; int1 -> int2: あの都知事選挙はぴくぴくする; fact10 & fact7 -> int3: あの痛風発作は法政策でない一方でぴくぴくする; int3 & fact4 -> int4: あの都知事選挙はぴくぴくしない; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: あの都知事選挙は現代科学である; fact6 & fact3 -> int7: あの都知事選挙は自書する; int6 & int7 -> hypothesis;
この理由付け課題は打ち上がり易い
fact12 -> int8: もし仮にあの痛風発作は法政策であるということはないとすれば「慈愛深くない一方で自書する」ということは間違いだ; fact13 -> int9: 「あの痛風発作は法政策だということはない」ということは確かである; int8 & int9 -> int10: 「あの痛風発作は慈愛深いということはない一方で自書する」ということは成り立つということはない; int10 -> int11: 慈愛深くないけれど自書するという物はない; int11 -> int12: 「あの都知事選挙は慈愛深くないけど自書する」ということは成り立たない;
$facts$ = fact1: もしあの都知事選挙が現代科学でないとすればぴくぴくするしそれに抜き取れる fact2: 何もかもは法政策でない fact3: この理由付け課題は自書する fact4: もしあの痛風発作が法政策でない一方でぴくぴくするとするとあの都知事選挙はぴくぴくしない fact5: この宝石は自書する fact6: 仮にこの理由付け課題は自書するとすると「あの都知事選挙は自書する」ということは成り立つ fact7: もし仮にあの痛風発作が慈愛深いなら法政策でなくてそれはぴくぴくする fact8: あの都知事選挙は現代科学であるということはないとするとそれは抜き取れる fact9: あの都知事選挙は抜き取れる fact10: あの痛風発作は慈愛深い fact11: 仮に何らかのものは法政策でないとすれば「慈愛深くないしそれにそれは自書する」ということは事実と異なる ; $hypothesis$ = あの都知事選挙は現代科学だしまた自書する ; $proof$ = 
void -> assump1: 以下のように仮定する。「あの都知事選挙は現代科学でない」ということは確かである; fact1 & assump1 -> int1: あの都知事選挙はぴくぴくするしかつ抜き取れる; int1 -> int2: あの都知事選挙はぴくぴくする; fact10 & fact7 -> int3: あの痛風発作は法政策でない一方でぴくぴくする; int3 & fact4 -> int4: あの都知事選挙はぴくぴくしない; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: あの都知事選挙は現代科学である; fact6 & fact3 -> int7: あの都知事選挙は自書する; int6 & int7 -> hypothesis; __PROVED__
事実1: もしあの都知事選挙が現代科学でないとすればぴくぴくするしそれに抜き取れる
事実2: 何もかもは法政策でない
事実3: この理由付け課題は自書する
事実4: もしあの痛風発作が法政策でない一方でぴくぴくするとするとあの都知事選挙はぴくぴくしない
事実5: この宝石は自書する
事実6: 仮にこの理由付け課題は自書するとすると「あの都知事選挙は自書する」ということは成り立つ
事実7: もし仮にあの痛風発作が慈愛深いなら法政策でなくてそれはぴくぴくする
事実8: あの都知事選挙は現代科学であるということはないとするとそれは抜き取れる
事実9: あの都知事選挙は抜き取れる
事実10: あの痛風発作は慈愛深い
事実11: 仮に何らかのものは法政策でないとすれば「慈愛深くないしそれにそれは自書する」ということは事実と異なる

仮説: あの都知事選挙は現代科学だしまた自書する
1. 仮定1: 以下のように仮定する。「あの都知事選挙は現代科学でない」ということは確かである
2. 事実1と仮定1から、推論1: "あの都知事選挙はぴくぴくするしかつ抜き取れる"が導かれる
3. 推論1から、推論2: "あの都知事選挙はぴくぴくする"が導かれる
4. 事実10と事実7から、推論3: "あの痛風発作は法政策でない一方でぴくぴくする"が導かれる
5. 推論3と事実4から、推論4: "あの都知事選挙はぴくぴくしない"が導かれる
6. 推論2と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "あの都知事選挙は現代科学である"が導かれる
8. 事実6と事実3から、推論7: "あの都知事選挙は自書する"が導かれる
9. 推論6と推論7から、仮説が導かれる

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