この第二十四半期はコンドルだ
fact1: もし仮にその収入印紙は答うしさらに弾劾政局だとすれば「あの角形鋼管は弾劾政局でない」ということは確かである fact2: もしもこの第二十四半期が出席者であるしその上選び分けるとしたらあの角形鋼管は若くない fact3: もしもあの角形鋼管は弾劾政局でないならそれは脱色する fact4: あの角形鋼管は選び分ける fact5: この第二十四半期は出席者であるし更に興奮し易い fact6: 「あの大石は選び分ける」ということは真実である fact7: あの角形鋼管は極まりない fact8: 仮にあの角形鋼管が出席者であるけれどコンドルであるということはないとしたらこの第二十四半期はコンドルである fact9: もしもとあるものは弾劾政局でないとするとそれは脱色するしさらに若い fact10: その収入印紙は答うしそれは弾劾政局である fact11: もし仮にこの第二十四半期がコンドルならそれは選び分ける fact12: あの角形鋼管は出席者であるし脱色する
void -> assump1: 以下のように仮定する。この第二十四半期はコンドルだ; fact11 & assump1 -> int1: この第二十四半期は選び分ける; fact5 -> int2: この第二十四半期は出席者である; int1 & int2 -> int3: この第二十四半期は出席者であるしおまけに選び分ける; int3 & fact2 -> int4: あの角形鋼管は若いということはない; fact1 & fact10 -> int5: あの角形鋼管は弾劾政局でない; fact9 -> int6: 仮にあの角形鋼管が弾劾政局でないならばそれは脱色するしそれは若い; int5 & int6 -> int7: あの角形鋼管は脱色するし加えてそれは若い; int7 -> int8: あの角形鋼管は若い; int4 & int8 -> int9: これは矛盾である; [assump1] & int9 -> hypothesis;
この第二十四半期はコンドルである
fact14 -> int10: あの角形鋼管は出席者だ;
$facts$ = fact1: もし仮にその収入印紙は答うしさらに弾劾政局だとすれば「あの角形鋼管は弾劾政局でない」ということは確かである fact2: もしもこの第二十四半期が出席者であるしその上選び分けるとしたらあの角形鋼管は若くない fact3: もしもあの角形鋼管は弾劾政局でないならそれは脱色する fact4: あの角形鋼管は選び分ける fact5: この第二十四半期は出席者であるし更に興奮し易い fact6: 「あの大石は選び分ける」ということは真実である fact7: あの角形鋼管は極まりない fact8: 仮にあの角形鋼管が出席者であるけれどコンドルであるということはないとしたらこの第二十四半期はコンドルである fact9: もしもとあるものは弾劾政局でないとするとそれは脱色するしさらに若い fact10: その収入印紙は答うしそれは弾劾政局である fact11: もし仮にこの第二十四半期がコンドルならそれは選び分ける fact12: あの角形鋼管は出席者であるし脱色する ; $hypothesis$ = この第二十四半期はコンドルだ ; $proof$ = 
void -> assump1: 以下のように仮定する。この第二十四半期はコンドルだ; fact11 & assump1 -> int1: この第二十四半期は選び分ける; fact5 -> int2: この第二十四半期は出席者である; int1 & int2 -> int3: この第二十四半期は出席者であるしおまけに選び分ける; int3 & fact2 -> int4: あの角形鋼管は若いということはない; fact1 & fact10 -> int5: あの角形鋼管は弾劾政局でない; fact9 -> int6: 仮にあの角形鋼管が弾劾政局でないならばそれは脱色するしそれは若い; int5 & int6 -> int7: あの角形鋼管は脱色するし加えてそれは若い; int7 -> int8: あの角形鋼管は若い; int4 & int8 -> int9: これは矛盾である; [assump1] & int9 -> hypothesis; __DISPROVED__
事実1: もし仮にその収入印紙は答うしさらに弾劾政局だとすれば「あの角形鋼管は弾劾政局でない」ということは確かである
事実2: もしもこの第二十四半期が出席者であるしその上選び分けるとしたらあの角形鋼管は若くない
事実3: もしもあの角形鋼管は弾劾政局でないならそれは脱色する
事実4: あの角形鋼管は選び分ける
事実5: この第二十四半期は出席者であるし更に興奮し易い
事実6: 「あの大石は選び分ける」ということは真実である
事実7: あの角形鋼管は極まりない
事実8: 仮にあの角形鋼管が出席者であるけれどコンドルであるということはないとしたらこの第二十四半期はコンドルである
事実9: もしもとあるものは弾劾政局でないとするとそれは脱色するしさらに若い
事実10: その収入印紙は答うしそれは弾劾政局である
事実11: もし仮にこの第二十四半期がコンドルならそれは選び分ける
事実12: あの角形鋼管は出席者であるし脱色する

仮説: この第二十四半期はコンドルだ
1. 仮定1: 以下のように仮定する。この第二十四半期はコンドルだ
2. 事実11と仮定1から、推論1: "この第二十四半期は選び分ける"が導かれる
3. 事実5から、推論2: "この第二十四半期は出席者である"が導かれる
4. 推論1と推論2から、推論3: "この第二十四半期は出席者であるしおまけに選び分ける"が導かれる
5. 推論3と事実2から、推論4: "あの角形鋼管は若いということはない"が導かれる
6. 事実1と事実10から、推論5: "あの角形鋼管は弾劾政局でない"が導かれる
7. 事実9から、推論6: "仮にあの角形鋼管が弾劾政局でないならばそれは脱色するしそれは若い"が導かれる
8. 推論5と推論6から、推論7: "あの角形鋼管は脱色するし加えてそれは若い"が導かれる
9. 推論7から、推論8: "あの角形鋼管は若い"が導かれる
10. 推論4と推論8から、推論9: "これは矛盾である"が導かれる
11. [仮定1]と推論9から、仮説が否定される

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