そのコンテナ船隊は規則正しいししかも脂っこい
fact1: その盛り付けが薬臭いとするとそれは銀行券だ fact2: そのコンテナ船隊は古しない一方で韓屋だ fact3: 聞こえ難いものは黒い fact4: そのコンテナ船隊は納得し易くないがそれは崩し始める fact5: 「その盛り付けは乾かす」ということは本当であるとするとそれは脂っこい fact6: 仮に「あの進退は崩し始める一方で規則正しくない」ということは偽であるならそのコンテナ船隊は納得し易い fact7: そのコンテナ船隊が納得し易いがしかし脂っこくないとすればあの業種別は納得し易い fact8: 納得し易いものは画像情報である fact9: もし仮になんらかのものが崩し始めるとすれば脂っこい fact10: 「納得し易い物は脂っこい」ということは確かである fact11: もしもなんらかの物は画像情報であるならばそれは規則正しい fact12: そのコンテナ船隊は画像情報だ
fact4 -> int1: そのコンテナ船隊は崩し始める; fact9 -> int2: もし仮にそのコンテナ船隊が崩し始めるならそれは脂っこい; int1 & int2 -> int3: そのコンテナ船隊は脂っこい; fact11 -> int4: もしもそのコンテナ船隊は画像情報であるとすれば規則正しい; int4 & fact12 -> int5: そのコンテナ船隊は規則正しい; int3 & int5 -> hypothesis;
fact4 -> int1: {B}{a}; fact9 -> int2: {B}{a} -> {C}{a}; int1 & int2 -> int3: {C}{a}; fact11 -> int4: {E}{a} -> {D}{a}; int4 & fact12 -> int5: {D}{a}; int3 & int5 -> hypothesis;
この業種別は画像情報だ
fact13 -> int6: 仮にこの業種別は納得し易いとすれば「画像情報である」ということは確かだ;
$facts$ = fact1: その盛り付けが薬臭いとするとそれは銀行券だ fact2: そのコンテナ船隊は古しない一方で韓屋だ fact3: 聞こえ難いものは黒い fact4: そのコンテナ船隊は納得し易くないがそれは崩し始める fact5: 「その盛り付けは乾かす」ということは本当であるとするとそれは脂っこい fact6: 仮に「あの進退は崩し始める一方で規則正しくない」ということは偽であるならそのコンテナ船隊は納得し易い fact7: そのコンテナ船隊が納得し易いがしかし脂っこくないとすればあの業種別は納得し易い fact8: 納得し易いものは画像情報である fact9: もし仮になんらかのものが崩し始めるとすれば脂っこい fact10: 「納得し易い物は脂っこい」ということは確かである fact11: もしもなんらかの物は画像情報であるならばそれは規則正しい fact12: そのコンテナ船隊は画像情報だ ; $hypothesis$ = そのコンテナ船隊は規則正しいししかも脂っこい ; $proof$ = 
fact4 -> int1: そのコンテナ船隊は崩し始める; fact9 -> int2: もし仮にそのコンテナ船隊が崩し始めるならそれは脂っこい; int1 & int2 -> int3: そのコンテナ船隊は脂っこい; fact11 -> int4: もしもそのコンテナ船隊は画像情報であるとすれば規則正しい; int4 & fact12 -> int5: そのコンテナ船隊は規則正しい; int3 & int5 -> hypothesis; __PROVED__
事実1: その盛り付けが薬臭いとするとそれは銀行券だ
事実2: そのコンテナ船隊は古しない一方で韓屋だ
事実3: 聞こえ難いものは黒い
事実4: そのコンテナ船隊は納得し易くないがそれは崩し始める
事実5: 「その盛り付けは乾かす」ということは本当であるとするとそれは脂っこい
事実6: 仮に「あの進退は崩し始める一方で規則正しくない」ということは偽であるならそのコンテナ船隊は納得し易い
事実7: そのコンテナ船隊が納得し易いがしかし脂っこくないとすればあの業種別は納得し易い
事実8: 納得し易いものは画像情報である
事実9: もし仮になんらかのものが崩し始めるとすれば脂っこい
事実10: 「納得し易い物は脂っこい」ということは確かである
事実11: もしもなんらかの物は画像情報であるならばそれは規則正しい
事実12: そのコンテナ船隊は画像情報だ

仮説: そのコンテナ船隊は規則正しいししかも脂っこい
1. 事実4から、推論1: "そのコンテナ船隊は崩し始める"が導かれる
2. 事実9から、推論2: "もし仮にそのコンテナ船隊が崩し始めるならそれは脂っこい"が導かれる
3. 推論1と推論2から、推論3: "そのコンテナ船隊は脂っこい"が導かれる
4. 事実11から、推論4: "もしもそのコンテナ船隊は画像情報であるとすれば規則正しい"が導かれる
5. 推論4と事実12から、推論5: "そのコンテナ船隊は規則正しい"が導かれる
6. 推論3と推論5から、仮説が導かれる

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