あのコスト意識はさもしいし更に空爆する
fact1: 「あの帯締めは四半でない」ということは成り立つとしたらその三十三系統は甚だしないししかも麗しない fact2: その大親分がさもしいがそれが除籍しないなら空爆しない fact3: 「あの以北は平中様であるしかつそれは山深い」ということは誤りだ fact4: その三十三系統は勿体無くておまけに山深い fact5: あの帯締めは血液でなくておまけにそれは陰子でない fact6: 「その三十三系統はクリスタル・パレスだということはない」ということは嘘でない fact7: あの帯締めは四半でない fact8: 「奮起する」物はある fact9: 「さもしい」物はある fact10: その大親分は空爆するしかつそれは除籍する fact11: もしもさもしくない物は四半でないならば甚だしない fact12: その三十三系統はさもしくない fact13: もし仮になにがしかの物は空爆しないとしたら「その大親分はさもしいしおまけに除籍する」ということは誤っている fact14: もしもその大親分がクリスタル・パレスであるということはないとすればあの以北は山深くない fact15: 何らかのものは除籍するし平中様だとすればそれはクリスタル・パレスでない fact16: その三十三系統は使用機材でない fact17: 「もし何かは山深くないとすると「あのコスト意識はさもしくて空爆する」ということは間違っている」ということは事実である fact18: その大親分はさもしいということはないしその上陸揚げしない fact19: 仮にその三十三系統が除籍しないならその大親分は除籍するしそれは平中様だ fact20: もし仮に甚だしないものが麗しないならばそれは除籍しない fact21: その三十三系統は引っ越しするしさらに飾り窓だ fact22: 「「空爆しない」ということは正しい」ものはある fact23: その三十三系統は四半でない fact24: 「もしその大親分が除籍しないとしたらその三十三系統はクリスタル・パレスだということはなくて四半でない」ということは成り立つ fact25: もし仮にあの以北が麗しないし山深くないとすればさもしくない
fact1 & fact7 -> int1: その三十三系統は甚だしということはないしそれは麗しない; fact20 -> int2: もし仮にその三十三系統が甚だしないしまたそれが麗しということはないとすれば除籍しない; int1 & int2 -> int3: その三十三系統は除籍しない; int3 & fact19 -> int4: その大親分は除籍するしまた平中様である; fact15 -> int5: その大親分が除籍するし平中様であるとすると「それはクリスタル・パレスでない」ということは成り立つ; int4 & int5 -> int6: その大親分はクリスタル・パレスでない; int6 & fact14 -> int7: 「あの以北は山深くない」ということは事実である; int7 -> int8: なにかは山深くない; int8 & fact17 -> hypothesis;
$facts$ = fact1: 「あの帯締めは四半でない」ということは成り立つとしたらその三十三系統は甚だしないししかも麗しない fact2: その大親分がさもしいがそれが除籍しないなら空爆しない fact3: 「あの以北は平中様であるしかつそれは山深い」ということは誤りだ fact4: その三十三系統は勿体無くておまけに山深い fact5: あの帯締めは血液でなくておまけにそれは陰子でない fact6: 「その三十三系統はクリスタル・パレスだということはない」ということは嘘でない fact7: あの帯締めは四半でない fact8: 「奮起する」物はある fact9: 「さもしい」物はある fact10: その大親分は空爆するしかつそれは除籍する fact11: もしもさもしくない物は四半でないならば甚だしない fact12: その三十三系統はさもしくない fact13: もし仮になにがしかの物は空爆しないとしたら「その大親分はさもしいしおまけに除籍する」ということは誤っている fact14: もしもその大親分がクリスタル・パレスであるということはないとすればあの以北は山深くない fact15: 何らかのものは除籍するし平中様だとすればそれはクリスタル・パレスでない fact16: その三十三系統は使用機材でない fact17: 「もし何かは山深くないとすると「あのコスト意識はさもしくて空爆する」ということは間違っている」ということは事実である fact18: その大親分はさもしいということはないしその上陸揚げしない fact19: 仮にその三十三系統が除籍しないならその大親分は除籍するしそれは平中様だ fact20: もし仮に甚だしないものが麗しないならばそれは除籍しない fact21: その三十三系統は引っ越しするしさらに飾り窓だ fact22: 「「空爆しない」ということは正しい」ものはある fact23: その三十三系統は四半でない fact24: 「もしその大親分が除籍しないとしたらその三十三系統はクリスタル・パレスだということはなくて四半でない」ということは成り立つ fact25: もし仮にあの以北が麗しないし山深くないとすればさもしくない ; $hypothesis$ = あのコスト意識はさもしいし更に空爆する ; $proof$ = 
fact1 & fact7 -> int1: その三十三系統は甚だしということはないしそれは麗しない; fact20 -> int2: もし仮にその三十三系統が甚だしないしまたそれが麗しということはないとすれば除籍しない; int1 & int2 -> int3: その三十三系統は除籍しない; int3 & fact19 -> int4: その大親分は除籍するしまた平中様である; fact15 -> int5: その大親分が除籍するし平中様であるとすると「それはクリスタル・パレスでない」ということは成り立つ; int4 & int5 -> int6: その大親分はクリスタル・パレスでない; int6 & fact14 -> int7: 「あの以北は山深くない」ということは事実である; int7 -> int8: なにかは山深くない; int8 & fact17 -> hypothesis; __DISPROVED__
事実1: 「あの帯締めは四半でない」ということは成り立つとしたらその三十三系統は甚だしないししかも麗しない
事実2: その大親分がさもしいがそれが除籍しないなら空爆しない
事実3: 「あの以北は平中様であるしかつそれは山深い」ということは誤りだ
事実4: その三十三系統は勿体無くておまけに山深い
事実5: あの帯締めは血液でなくておまけにそれは陰子でない
事実6: 「その三十三系統はクリスタル・パレスだということはない」ということは嘘でない
事実7: あの帯締めは四半でない
事実8: 「奮起する」物はある
事実9: 「さもしい」物はある
事実10: その大親分は空爆するしかつそれは除籍する
事実11: もしもさもしくない物は四半でないならば甚だしない
事実12: その三十三系統はさもしくない
事実13: もし仮になにがしかの物は空爆しないとしたら「その大親分はさもしいしおまけに除籍する」ということは誤っている
事実14: もしもその大親分がクリスタル・パレスであるということはないとすればあの以北は山深くない
事実15: 何らかのものは除籍するし平中様だとすればそれはクリスタル・パレスでない
事実16: その三十三系統は使用機材でない
事実17: 「もし何かは山深くないとすると「あのコスト意識はさもしくて空爆する」ということは間違っている」ということは事実である
事実18: その大親分はさもしいということはないしその上陸揚げしない
事実19: 仮にその三十三系統が除籍しないならその大親分は除籍するしそれは平中様だ
事実20: もし仮に甚だしないものが麗しないならばそれは除籍しない
事実21: その三十三系統は引っ越しするしさらに飾り窓だ
事実22: 「「空爆しない」ということは正しい」ものはある
事実23: その三十三系統は四半でない
事実24: 「もしその大親分が除籍しないとしたらその三十三系統はクリスタル・パレスだということはなくて四半でない」ということは成り立つ
事実25: もし仮にあの以北が麗しないし山深くないとすればさもしくない

仮説: あのコスト意識はさもしいし更に空爆する
1. 事実1と事実7から、推論1: "その三十三系統は甚だしということはないしそれは麗しない"が導かれる
2. 事実20から、推論2: "もし仮にその三十三系統が甚だしないしまたそれが麗しということはないとすれば除籍しない"が導かれる
3. 推論1と推論2から、推論3: "その三十三系統は除籍しない"が導かれる
4. 推論3と事実19から、推論4: "その大親分は除籍するしまた平中様である"が導かれる
5. 事実15から、推論5: "その大親分が除籍するし平中様であるとすると「それはクリスタル・パレスでない」ということは成り立つ"が導かれる
6. 推論4と推論5から、推論6: "その大親分はクリスタル・パレスでない"が導かれる
7. 推論6と事実14から、推論7: "「あの以北は山深くない」ということは事実である"が導かれる
8. 推論7から、推論8: "なにかは山深くない"が導かれる
9. 推論8と事実17から、仮説が否定される

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