あの極め付けは計算する
fact1: もしも「「なにがしかのものは計算するがしかしそれは甘くない」ということは事実である」ということは成り立つということはないならば離職しない fact2: その八十年代が離職するとしたらその三人兄弟は甘くないかあるいは無理無いということはないかあるいは両方である fact3: もしその三人兄弟は止み難いとしたら「抱える」ということは正しい fact4: あの公家達は立憲革命でない fact5: 仮になにがしかのものが抱えるなら勿体無い fact6: 「その御見合いは彼女らしい」ということは事実である fact7: 加水分解酵素が立憲革命だということはないならばその御見合いは彼女らしくない fact8: もし仮にあの極め付けが計算するならばあの八十年代は離職する fact9: もしもあるものは無理無くないとすると「それは計算するけれど甘くない」ということは事実と異なる fact10: もしあの極め付けが無理無くないかまたは加水分解酵素であるか両方ともであるならこの休み時間は無理無いということはない fact11: もしその八十年代が立憲革命であるならあの極め付けは無理無くないかもしくはそれは加水分解酵素であるかあるいは両方ともだ fact12: もし仮になんらかのものは勿体無いとすると「その八十年代は予防原則でないがアップロードする」ということは確かだ fact13: 「加水分解酵素である」ものはある fact14: その八十年代は加水分解酵素だ fact15: もし仮になにがしかのものは予防原則でないがしかしアップロードするとするとそれは艶めかしいということはない fact16: もし仮にその三人兄弟が甘いということはないとしたらあの公家達は加水分解酵素だ fact17: 艶めかしくない物は彼女らしいししかも立憲革命だ fact18: もし仮に「その三人兄弟は単色光だ」ということは偽であるならば「それは止み難い」ということは成り立つ fact19: 「何かは甘いがしかし計算しない」ということは事実でないならそれは計算する fact20: その三人兄弟は単色光でない fact21: 仮にその三人兄弟が無理無いということはないならばあの公家達は加水分解酵素だ
void -> assump1: 以下のように仮定する。「あの極め付けは計算する」ということは正しい; fact8 & assump1 -> int1: その八十年代は離職する; int1 & fact2 -> int2: その三人兄弟は甘くないかまたはそれは無理無くないかまたは両方ともである; int2 & fact16 & fact21 -> int3: あの公家達は加水分解酵素だ; int3 & fact4 -> int4: あの公家達は加水分解酵素であるけど立憲革命でない; int4 -> int5: 「加水分解酵素だしかつ立憲革命でない」ものはある; int5 & fact7 -> int6: その御見合いは彼女らしくない; int6 & fact6 -> int7: これは矛盾である; [assump1] & int7 -> hypothesis;
あの極め付けは計算する
fact22 -> int8: 「あの極め付けは甘いけど計算しない」ということは成り立たないとすると計算する;
$facts$ = fact1: もしも「「なにがしかのものは計算するがしかしそれは甘くない」ということは事実である」ということは成り立つということはないならば離職しない fact2: その八十年代が離職するとしたらその三人兄弟は甘くないかあるいは無理無いということはないかあるいは両方である fact3: もしその三人兄弟は止み難いとしたら「抱える」ということは正しい fact4: あの公家達は立憲革命でない fact5: 仮になにがしかのものが抱えるなら勿体無い fact6: 「その御見合いは彼女らしい」ということは事実である fact7: 加水分解酵素が立憲革命だということはないならばその御見合いは彼女らしくない fact8: もし仮にあの極め付けが計算するならばあの八十年代は離職する fact9: もしもあるものは無理無くないとすると「それは計算するけれど甘くない」ということは事実と異なる fact10: もしあの極め付けが無理無くないかまたは加水分解酵素であるか両方ともであるならこの休み時間は無理無いということはない fact11: もしその八十年代が立憲革命であるならあの極め付けは無理無くないかもしくはそれは加水分解酵素であるかあるいは両方ともだ fact12: もし仮になんらかのものは勿体無いとすると「その八十年代は予防原則でないがアップロードする」ということは確かだ fact13: 「加水分解酵素である」ものはある fact14: その八十年代は加水分解酵素だ fact15: もし仮になにがしかのものは予防原則でないがしかしアップロードするとするとそれは艶めかしいということはない fact16: もし仮にその三人兄弟が甘いということはないとしたらあの公家達は加水分解酵素だ fact17: 艶めかしくない物は彼女らしいししかも立憲革命だ fact18: もし仮に「その三人兄弟は単色光だ」ということは偽であるならば「それは止み難い」ということは成り立つ fact19: 「何かは甘いがしかし計算しない」ということは事実でないならそれは計算する fact20: その三人兄弟は単色光でない fact21: 仮にその三人兄弟が無理無いということはないならばあの公家達は加水分解酵素だ ; $hypothesis$ = あの極め付けは計算する ; $proof$ = 
void -> assump1: 以下のように仮定する。「あの極め付けは計算する」ということは正しい; fact8 & assump1 -> int1: その八十年代は離職する; int1 & fact2 -> int2: その三人兄弟は甘くないかまたはそれは無理無くないかまたは両方ともである; int2 & fact16 & fact21 -> int3: あの公家達は加水分解酵素だ; int3 & fact4 -> int4: あの公家達は加水分解酵素であるけど立憲革命でない; int4 -> int5: 「加水分解酵素だしかつ立憲革命でない」ものはある; int5 & fact7 -> int6: その御見合いは彼女らしくない; int6 & fact6 -> int7: これは矛盾である; [assump1] & int7 -> hypothesis; __DISPROVED__
事実1: もしも「「なにがしかのものは計算するがしかしそれは甘くない」ということは事実である」ということは成り立つということはないならば離職しない
事実2: その八十年代が離職するとしたらその三人兄弟は甘くないかあるいは無理無いということはないかあるいは両方である
事実3: もしその三人兄弟は止み難いとしたら「抱える」ということは正しい
事実4: あの公家達は立憲革命でない
事実5: 仮になにがしかのものが抱えるなら勿体無い
事実6: 「その御見合いは彼女らしい」ということは事実である
事実7: 加水分解酵素が立憲革命だということはないならばその御見合いは彼女らしくない
事実8: もし仮にあの極め付けが計算するならばあの八十年代は離職する
事実9: もしもあるものは無理無くないとすると「それは計算するけれど甘くない」ということは事実と異なる
事実10: もしあの極め付けが無理無くないかまたは加水分解酵素であるか両方ともであるならこの休み時間は無理無いということはない
事実11: もしその八十年代が立憲革命であるならあの極め付けは無理無くないかもしくはそれは加水分解酵素であるかあるいは両方ともだ
事実12: もし仮になんらかのものは勿体無いとすると「その八十年代は予防原則でないがアップロードする」ということは確かだ
事実13: 「加水分解酵素である」ものはある
事実14: その八十年代は加水分解酵素だ
事実15: もし仮になにがしかのものは予防原則でないがしかしアップロードするとするとそれは艶めかしいということはない
事実16: もし仮にその三人兄弟が甘いということはないとしたらあの公家達は加水分解酵素だ
事実17: 艶めかしくない物は彼女らしいししかも立憲革命だ
事実18: もし仮に「その三人兄弟は単色光だ」ということは偽であるならば「それは止み難い」ということは成り立つ
事実19: 「何かは甘いがしかし計算しない」ということは事実でないならそれは計算する
事実20: その三人兄弟は単色光でない
事実21: 仮にその三人兄弟が無理無いということはないならばあの公家達は加水分解酵素だ

仮説: あの極め付けは計算する
1. 仮定1: 以下のように仮定する。「あの極め付けは計算する」ということは正しい
2. 事実8と仮定1から、推論1: "その八十年代は離職する"が導かれる
3. 推論1と事実2から、推論2: "その三人兄弟は甘くないかまたはそれは無理無くないかまたは両方ともである"が導かれる
4. 推論2と事実16と事実21から、推論3: "あの公家達は加水分解酵素だ"が導かれる
5. 推論3と事実4から、推論4: "あの公家達は加水分解酵素であるけど立憲革命でない"が導かれる
6. 推論4から、推論5: "「加水分解酵素だしかつ立憲革命でない」ものはある"が導かれる
7. 推論5と事実7から、推論6: "その御見合いは彼女らしくない"が導かれる
8. 推論6と事実6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、仮説が否定される

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