あの専門的トレーニングは恐れないし素人っぽくない
fact1: 仮に面映ゆかない物はアベンジャーでないとすると造影する fact2: もしもあるものはアベンジャーだとしたら「それは恐れるということはなくてそれに素人っぽいということはない」ということは間違いだ fact3: もしもあの浮き世絵は素人っぽくないとすれば「あの専門的トレーニングは恐れない」ということは確かだ fact4: あの専門的トレーニングは初々しかないしさらに通り抜けない fact5: あの専門的トレーニングは面映ゆかない fact6: あの浮き世絵はアベンジャーでない fact7: あの専門的トレーニングは勤務先だ fact8: 仮に「あの浮き世絵はど偉くないかもしくは卑しないかどちらもである」ということは事実でないとすると面映ゆいということはない fact9: 仮にあの浮き世絵が造影するし勤務先であるならばそれは素人っぽくない fact10: この通信兵は造影しないがしかし素人っぽい fact11: あの専門的トレーニングは恐れ多くて地方新聞であるとしたら造影しない fact12: あの浮き世絵は勤務先である fact13: もし仮に「あの専門的トレーニングは素人っぽいということはない」ということは正しいならばあの浮き世絵は恐れないしまた素人っぽくない fact14: 仮に「あの浮き世絵はど偉いということはないかあるいはそれは卑し」ということは偽であるとすれば面映ゆかない fact15: 「あの浮き世絵はど偉くないかそれは卑しないか両方だ」ということは偽である fact16: もしもあの浮き世絵が素人っぽくないとするとあの専門的トレーニングは恐れないしかつ素人っぽくない fact17: あの専門的トレーニングは御尽力下さらなくて大当たりしない
fact8 & fact15 -> int1: あの浮き世絵は面映ゆかない; int1 & fact6 -> int2: あの浮き世絵が面映ゆかないしさらにそれはアベンジャーでない; fact1 -> int3: 仮にあの浮き世絵は面映ゆかなくてその上アベンジャーでないとするとそれは造影する; int2 & int3 -> int4: 「あの浮き世絵は造影する」ということは間違いだということはない; int4 & fact12 -> int5: あの浮き世絵は造影するしおまけに勤務先である; int5 & fact9 -> int6: あの浮き世絵は素人っぽくない; int6 & fact16 -> hypothesis;
この通信兵は標榜しないし勤務先だということはない
fact18 -> int7: この通信兵は造影しない;
$facts$ = fact1: 仮に面映ゆかない物はアベンジャーでないとすると造影する fact2: もしもあるものはアベンジャーだとしたら「それは恐れるということはなくてそれに素人っぽいということはない」ということは間違いだ fact3: もしもあの浮き世絵は素人っぽくないとすれば「あの専門的トレーニングは恐れない」ということは確かだ fact4: あの専門的トレーニングは初々しかないしさらに通り抜けない fact5: あの専門的トレーニングは面映ゆかない fact6: あの浮き世絵はアベンジャーでない fact7: あの専門的トレーニングは勤務先だ fact8: 仮に「あの浮き世絵はど偉くないかもしくは卑しないかどちらもである」ということは事実でないとすると面映ゆいということはない fact9: 仮にあの浮き世絵が造影するし勤務先であるならばそれは素人っぽくない fact10: この通信兵は造影しないがしかし素人っぽい fact11: あの専門的トレーニングは恐れ多くて地方新聞であるとしたら造影しない fact12: あの浮き世絵は勤務先である fact13: もし仮に「あの専門的トレーニングは素人っぽいということはない」ということは正しいならばあの浮き世絵は恐れないしまた素人っぽくない fact14: 仮に「あの浮き世絵はど偉いということはないかあるいはそれは卑し」ということは偽であるとすれば面映ゆかない fact15: 「あの浮き世絵はど偉くないかそれは卑しないか両方だ」ということは偽である fact16: もしもあの浮き世絵が素人っぽくないとするとあの専門的トレーニングは恐れないしかつ素人っぽくない fact17: あの専門的トレーニングは御尽力下さらなくて大当たりしない ; $hypothesis$ = あの専門的トレーニングは恐れないし素人っぽくない ; $proof$ = 
fact8 & fact15 -> int1: あの浮き世絵は面映ゆかない; int1 & fact6 -> int2: あの浮き世絵が面映ゆかないしさらにそれはアベンジャーでない; fact1 -> int3: 仮にあの浮き世絵は面映ゆかなくてその上アベンジャーでないとするとそれは造影する; int2 & int3 -> int4: 「あの浮き世絵は造影する」ということは間違いだということはない; int4 & fact12 -> int5: あの浮き世絵は造影するしおまけに勤務先である; int5 & fact9 -> int6: あの浮き世絵は素人っぽくない; int6 & fact16 -> hypothesis; __PROVED__
事実1: 仮に面映ゆかない物はアベンジャーでないとすると造影する
事実2: もしもあるものはアベンジャーだとしたら「それは恐れるということはなくてそれに素人っぽいということはない」ということは間違いだ
事実3: もしもあの浮き世絵は素人っぽくないとすれば「あの専門的トレーニングは恐れない」ということは確かだ
事実4: あの専門的トレーニングは初々しかないしさらに通り抜けない
事実5: あの専門的トレーニングは面映ゆかない
事実6: あの浮き世絵はアベンジャーでない
事実7: あの専門的トレーニングは勤務先だ
事実8: 仮に「あの浮き世絵はど偉くないかもしくは卑しないかどちらもである」ということは事実でないとすると面映ゆいということはない
事実9: 仮にあの浮き世絵が造影するし勤務先であるならばそれは素人っぽくない
事実10: この通信兵は造影しないがしかし素人っぽい
事実11: あの専門的トレーニングは恐れ多くて地方新聞であるとしたら造影しない
事実12: あの浮き世絵は勤務先である
事実13: もし仮に「あの専門的トレーニングは素人っぽいということはない」ということは正しいならばあの浮き世絵は恐れないしまた素人っぽくない
事実14: 仮に「あの浮き世絵はど偉いということはないかあるいはそれは卑し」ということは偽であるとすれば面映ゆかない
事実15: 「あの浮き世絵はど偉くないかそれは卑しないか両方だ」ということは偽である
事実16: もしもあの浮き世絵が素人っぽくないとするとあの専門的トレーニングは恐れないしかつ素人っぽくない
事実17: あの専門的トレーニングは御尽力下さらなくて大当たりしない

仮説: あの専門的トレーニングは恐れないし素人っぽくない
1. 事実8と事実15から、推論1: "あの浮き世絵は面映ゆかない"が導かれる
2. 推論1と事実6から、推論2: "あの浮き世絵が面映ゆかないしさらにそれはアベンジャーでない"が導かれる
3. 事実1から、推論3: "仮にあの浮き世絵は面映ゆかなくてその上アベンジャーでないとするとそれは造影する"が導かれる
4. 推論2と推論3から、推論4: "「あの浮き世絵は造影する」ということは間違いだということはない"が導かれる
5. 推論4と事実12から、推論5: "あの浮き世絵は造影するしおまけに勤務先である"が導かれる
6. 推論5と事実9から、推論6: "あの浮き世絵は素人っぽくない"が導かれる
7. 推論6と事実16から、仮説が導かれる

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