その学生等は売れ続けるし索敵である
fact1: もしこの商店会が薄暗くないとするとその学生等は薄暗い fact2: 「この商店会は惚れ込むしさらにそれは感慨深い」ということは成り立たない fact3: もしこの商店会は薄暗いとすると「惚れ込むししかも感慨深い」ということは誤っている fact4: この商店会は薄暗い fact5: 「「何らかのものは惚れ込まないけど感慨深い」ということは成り立つ」ということは事実と異なるならそれは売れ続けない fact6: もし仮にこの商店会が売れ続けないとすればあの学生等は売れ続けるしまた索敵である fact7: もし仮にこの商店会が売れ続けないとすればあの学生等は売れ続ける fact8: 仮に「何らかの物は茶色いということはない」ということは成り立つとしたらそれは嫌味っぽくない fact9: この商店会は索敵でない fact10: もし仮に「この商店会は惚れ込む」ということは真実だとすると売れ続けない fact11: この商店会が薄暗いということはないとすればその学生等は薄暗いし加えて売れ続ける fact12: 「この商店会は薄暗い」ということは正しいとしたら「惚れ込むということはないけれど感慨深い」ということは誤っている fact13: もし仮に「この商店会は売れ続けない」ということは成り立つとしたらその学生等は売れ続けるし感慨深い fact14: あの築城本部は索敵だけれど売れ続けない fact15: 「あの八月分はレーガン政権期でない一方でそれは入れである」ということは間違いであるとすればそれは感慨深くない fact16: その学生等は売れ続ける fact17: 「その宅建業法は議会制民主主義でないけどおっきい」ということは真実でない fact18: この子育て支援は索敵だ fact19: もしある物が惚れ込めば売れ続けない fact20: もしも索敵が売れ続けないとしたらそれは調べ易い fact21: もし仮にその学生等が薄暗いということはないならばあの商店会は薄暗い fact22: その学生等は感慨深いしそれに遅刻する
fact5 -> int1: もし仮に「この商店会は惚れ込むということはない一方で感慨深い」ということは間違っているとすればそれは売れ続けない; fact4 & fact12 -> int2: 「この商店会は惚れ込まないけどそれは感慨深い」ということは真実でない; int1 & int2 -> int3: この商店会は売れ続けない; int3 & fact6 -> hypothesis;
fact5 -> int1: ¬(¬{AA}{aa} & {AB}{aa}) -> ¬{B}{aa}; fact4 & fact12 -> int2: ¬(¬{AA}{aa} & {AB}{aa}); int1 & int2 -> int3: ¬{B}{aa}; int3 & fact6 -> hypothesis;
あの築城本部は調べ易いし加えて惚れ込む
fact24 -> int4: もし仮にあの築城本部は索敵であるけれど売れ続けないなら「それは調べ易い」ということは嘘でない; int4 & fact23 -> int5: 「あの築城本部は調べ易い」ということは正しい;
$facts$ = fact1: もしこの商店会が薄暗くないとするとその学生等は薄暗い fact2: 「この商店会は惚れ込むしさらにそれは感慨深い」ということは成り立たない fact3: もしこの商店会は薄暗いとすると「惚れ込むししかも感慨深い」ということは誤っている fact4: この商店会は薄暗い fact5: 「「何らかのものは惚れ込まないけど感慨深い」ということは成り立つ」ということは事実と異なるならそれは売れ続けない fact6: もし仮にこの商店会が売れ続けないとすればあの学生等は売れ続けるしまた索敵である fact7: もし仮にこの商店会が売れ続けないとすればあの学生等は売れ続ける fact8: 仮に「何らかの物は茶色いということはない」ということは成り立つとしたらそれは嫌味っぽくない fact9: この商店会は索敵でない fact10: もし仮に「この商店会は惚れ込む」ということは真実だとすると売れ続けない fact11: この商店会が薄暗いということはないとすればその学生等は薄暗いし加えて売れ続ける fact12: 「この商店会は薄暗い」ということは正しいとしたら「惚れ込むということはないけれど感慨深い」ということは誤っている fact13: もし仮に「この商店会は売れ続けない」ということは成り立つとしたらその学生等は売れ続けるし感慨深い fact14: あの築城本部は索敵だけれど売れ続けない fact15: 「あの八月分はレーガン政権期でない一方でそれは入れである」ということは間違いであるとすればそれは感慨深くない fact16: その学生等は売れ続ける fact17: 「その宅建業法は議会制民主主義でないけどおっきい」ということは真実でない fact18: この子育て支援は索敵だ fact19: もしある物が惚れ込めば売れ続けない fact20: もしも索敵が売れ続けないとしたらそれは調べ易い fact21: もし仮にその学生等が薄暗いということはないならばあの商店会は薄暗い fact22: その学生等は感慨深いしそれに遅刻する ; $hypothesis$ = その学生等は売れ続けるし索敵である ; $proof$ = 
fact5 -> int1: もし仮に「この商店会は惚れ込むということはない一方で感慨深い」ということは間違っているとすればそれは売れ続けない; fact4 & fact12 -> int2: 「この商店会は惚れ込まないけどそれは感慨深い」ということは真実でない; int1 & int2 -> int3: この商店会は売れ続けない; int3 & fact6 -> hypothesis; __PROVED__
事実1: もしこの商店会が薄暗くないとするとその学生等は薄暗い
事実2: 「この商店会は惚れ込むしさらにそれは感慨深い」ということは成り立たない
事実3: もしこの商店会は薄暗いとすると「惚れ込むししかも感慨深い」ということは誤っている
事実4: この商店会は薄暗い
事実5: 「「何らかのものは惚れ込まないけど感慨深い」ということは成り立つ」ということは事実と異なるならそれは売れ続けない
事実6: もし仮にこの商店会が売れ続けないとすればあの学生等は売れ続けるしまた索敵である
事実7: もし仮にこの商店会が売れ続けないとすればあの学生等は売れ続ける
事実8: 仮に「何らかの物は茶色いということはない」ということは成り立つとしたらそれは嫌味っぽくない
事実9: この商店会は索敵でない
事実10: もし仮に「この商店会は惚れ込む」ということは真実だとすると売れ続けない
事実11: この商店会が薄暗いということはないとすればその学生等は薄暗いし加えて売れ続ける
事実12: 「この商店会は薄暗い」ということは正しいとしたら「惚れ込むということはないけれど感慨深い」ということは誤っている
事実13: もし仮に「この商店会は売れ続けない」ということは成り立つとしたらその学生等は売れ続けるし感慨深い
事実14: あの築城本部は索敵だけれど売れ続けない
事実15: 「あの八月分はレーガン政権期でない一方でそれは入れである」ということは間違いであるとすればそれは感慨深くない
事実16: その学生等は売れ続ける
事実17: 「その宅建業法は議会制民主主義でないけどおっきい」ということは真実でない
事実18: この子育て支援は索敵だ
事実19: もしある物が惚れ込めば売れ続けない
事実20: もしも索敵が売れ続けないとしたらそれは調べ易い
事実21: もし仮にその学生等が薄暗いということはないならばあの商店会は薄暗い
事実22: その学生等は感慨深いしそれに遅刻する

仮説: その学生等は売れ続けるし索敵である
1. 事実5から、推論1: "もし仮に「この商店会は惚れ込むということはない一方で感慨深い」ということは間違っているとすればそれは売れ続けない"が導かれる
2. 事実4と事実12から、推論2: "「この商店会は惚れ込まないけどそれは感慨深い」ということは真実でない"が導かれる
3. 推論1と推論2から、推論3: "この商店会は売れ続けない"が導かれる
4. 推論3と事実6から、仮説が導かれる

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