「その兄島はフランチャイズであるということはない」ということは確かである
fact1: もし仮にこの行動基準が礼儀正しいならあの老僧はこよないがしかしそれは古めかしくない fact2: もしもその二等車がオペレーションシステムならばあの兄島はフランチャイズである fact3: もしも「その兄島はオペレーションシステムだ」ということは成り立つとすればあの二等車はフランチャイズである fact4: あの子供自身が御し易くないし書類送検しないとするとこの行動基準は礼儀正しい fact5: あの子供自身は書類送検しない fact6: もしもそのビスキュイが古めかしいとしたらあの老僧は御入り為さる fact7: もしもそのビスキュイが単純化すればその二等車はオペレーションシステムである fact8: もし仮にあの子供自身が御し易くないけどそれが書類送検するならばあの行動基準は礼儀正しい fact9: あの子供自身は御し易くないしおまけに書類送検しない fact10: あの老僧はこよない fact11: あの老僧が古めかしいということはないとしたらそのビスキュイは御入り為さるしまた単純化する
fact4 & fact9 -> int1: この行動基準は礼儀正しい; int1 & fact1 -> int2: 「あの老僧はこよないものでさらに古めかしくない」ということは間違いでない; int2 -> int3: あの老僧は古めかしくない; int3 & fact11 -> int4: そのビスキュイは御入り為さるし単純化する; int4 -> int5: そのビスキュイは単純化する; int5 & fact7 -> int6: その二等車はオペレーションシステムだ; int6 & fact2 -> hypothesis;
$facts$ = fact1: もし仮にこの行動基準が礼儀正しいならあの老僧はこよないがしかしそれは古めかしくない fact2: もしもその二等車がオペレーションシステムならばあの兄島はフランチャイズである fact3: もしも「その兄島はオペレーションシステムだ」ということは成り立つとすればあの二等車はフランチャイズである fact4: あの子供自身が御し易くないし書類送検しないとするとこの行動基準は礼儀正しい fact5: あの子供自身は書類送検しない fact6: もしもそのビスキュイが古めかしいとしたらあの老僧は御入り為さる fact7: もしもそのビスキュイが単純化すればその二等車はオペレーションシステムである fact8: もし仮にあの子供自身が御し易くないけどそれが書類送検するならばあの行動基準は礼儀正しい fact9: あの子供自身は御し易くないしおまけに書類送検しない fact10: あの老僧はこよない fact11: あの老僧が古めかしいということはないとしたらそのビスキュイは御入り為さるしまた単純化する ; $hypothesis$ = 「その兄島はフランチャイズであるということはない」ということは確かである ; $proof$ = 
fact4 & fact9 -> int1: この行動基準は礼儀正しい; int1 & fact1 -> int2: 「あの老僧はこよないものでさらに古めかしくない」ということは間違いでない; int2 -> int3: あの老僧は古めかしくない; int3 & fact11 -> int4: そのビスキュイは御入り為さるし単純化する; int4 -> int5: そのビスキュイは単純化する; int5 & fact7 -> int6: その二等車はオペレーションシステムだ; int6 & fact2 -> hypothesis; __DISPROVED__
事実1: もし仮にこの行動基準が礼儀正しいならあの老僧はこよないがしかしそれは古めかしくない
事実2: もしもその二等車がオペレーションシステムならばあの兄島はフランチャイズである
事実3: もしも「その兄島はオペレーションシステムだ」ということは成り立つとすればあの二等車はフランチャイズである
事実4: あの子供自身が御し易くないし書類送検しないとするとこの行動基準は礼儀正しい
事実5: あの子供自身は書類送検しない
事実6: もしもそのビスキュイが古めかしいとしたらあの老僧は御入り為さる
事実7: もしもそのビスキュイが単純化すればその二等車はオペレーションシステムである
事実8: もし仮にあの子供自身が御し易くないけどそれが書類送検するならばあの行動基準は礼儀正しい
事実9: あの子供自身は御し易くないしおまけに書類送検しない
事実10: あの老僧はこよない
事実11: あの老僧が古めかしいということはないとしたらそのビスキュイは御入り為さるしまた単純化する

仮説: 「その兄島はフランチャイズであるということはない」ということは確かである
1. 事実4と事実9から、推論1: "この行動基準は礼儀正しい"が導かれる
2. 推論1と事実1から、推論2: "「あの老僧はこよないものでさらに古めかしくない」ということは間違いでない"が導かれる
3. 推論2から、推論3: "あの老僧は古めかしくない"が導かれる
4. 推論3と事実11から、推論4: "そのビスキュイは御入り為さるし単純化する"が導かれる
5. 推論4から、推論5: "そのビスキュイは単純化する"が導かれる
6. 推論5と事実7から、推論6: "その二等車はオペレーションシステムだ"が導かれる
7. 推論6と事実2から、仮説が否定される

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