「この志染支店は子供っぽい」ということは成り立つ
fact1: もしもあるものは台本直しでないとすれば「証券ディーラーでないし更に十二神将だ」ということは間違いだ fact2: この志染支店は民主主義である fact3: もし「この親子は十二神将でない」ということは確かであるとしたら「そのアルファベット・記号は薄青いしその上予防行動である」ということは成り立たない fact4: このコーストガードは予防行動だ fact5: この志染支店は遣り取りだ fact6: もしもこの志染支店は予防行動であるとしたらそれは子供っぽい fact7: この志染支店は予防行動だ fact8: 仮に「そのアルファベット・記号は薄青いし予防行動である」ということは嘘であるならこの志染支店は子供っぽくない fact9: もしもあのコミュニティ内が金融機関だとするとこの親子は台本直しでないけれどそれは取得し易い fact10: この勤務地限定は子供っぽい fact11: 「もし「ある物は証券ディーラーでない一方で十二神将だ」ということは本当でないなら「十二神将だということはない」ということは正しい」ということは成り立つ fact12: あの二Ｆは予防行動である
fact6 & fact7 -> hypothesis;
fact6 & fact7 -> hypothesis;
この志染支店は子供っぽいということはない
fact16 -> int1: 「この親子は証券ディーラーでないけど十二神将である」ということは誤っているとすればそれは十二神将でない; fact13 -> int2: 仮にこの親子は台本直しでないならば「証券ディーラーでないが十二神将である」ということは嘘だ;
$facts$ = fact1: もしもあるものは台本直しでないとすれば「証券ディーラーでないし更に十二神将だ」ということは間違いだ fact2: この志染支店は民主主義である fact3: もし「この親子は十二神将でない」ということは確かであるとしたら「そのアルファベット・記号は薄青いしその上予防行動である」ということは成り立たない fact4: このコーストガードは予防行動だ fact5: この志染支店は遣り取りだ fact6: もしもこの志染支店は予防行動であるとしたらそれは子供っぽい fact7: この志染支店は予防行動だ fact8: 仮に「そのアルファベット・記号は薄青いし予防行動である」ということは嘘であるならこの志染支店は子供っぽくない fact9: もしもあのコミュニティ内が金融機関だとするとこの親子は台本直しでないけれどそれは取得し易い fact10: この勤務地限定は子供っぽい fact11: 「もし「ある物は証券ディーラーでない一方で十二神将だ」ということは本当でないなら「十二神将だということはない」ということは正しい」ということは成り立つ fact12: あの二Ｆは予防行動である ; $hypothesis$ = 「この志染支店は子供っぽい」ということは成り立つ ; $proof$ = 
fact6 & fact7 -> hypothesis; __PROVED__
事実1: もしもあるものは台本直しでないとすれば「証券ディーラーでないし更に十二神将だ」ということは間違いだ
事実2: この志染支店は民主主義である
事実3: もし「この親子は十二神将でない」ということは確かであるとしたら「そのアルファベット・記号は薄青いしその上予防行動である」ということは成り立たない
事実4: このコーストガードは予防行動だ
事実5: この志染支店は遣り取りだ
事実6: もしもこの志染支店は予防行動であるとしたらそれは子供っぽい
事実7: この志染支店は予防行動だ
事実8: 仮に「そのアルファベット・記号は薄青いし予防行動である」ということは嘘であるならこの志染支店は子供っぽくない
事実9: もしもあのコミュニティ内が金融機関だとするとこの親子は台本直しでないけれどそれは取得し易い
事実10: この勤務地限定は子供っぽい
事実11: 「もし「ある物は証券ディーラーでない一方で十二神将だ」ということは本当でないなら「十二神将だということはない」ということは正しい」ということは成り立つ
事実12: あの二Ｆは予防行動である

仮説: 「この志染支店は子供っぽい」ということは成り立つ
1. 事実6と事実7から、仮説が導かれる

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