あのエマルジョンは貯水する
fact1: もし仮にそのケルト語が追い払うならあのエマルジョンはきちっとする fact2: 仮にそのケルト語が貯水するとするとあのエマルジョンはきちっとする fact3: 仮にそのケルト語がきちっとすればあのエマルジョンは貯水する fact4: もし仮にこの肉芽組織が忘れ易いとすればその一台分は未来市場規模であるけれどそれは焦げない fact5: もしも「そのケルト語は焦げない一方でそれは追い払う」ということは成り立たないならそれは不規則性である fact6: そのケルト語は不規則性であるかきちっとする fact7: もし仮にそのケルト語が不規則性ならあのエマルジョンは貯水する fact8: 「もし仮にこの流氷原が追い払うとしたらそのケルト語は追い払う」ということは事実である fact9: 仮にそのケルト語は忘れ易いとしたら「それは焦げないし追い払う」ということは成り立たない fact10: 仮に「なにかはきちっとしないけれど未来市場規模である」ということは間違っているとすればきちっとする fact11: もし仮になにかはきちっとすれば貯水しないしかつ不規則性でない
fact6 & fact7 & fact3 -> hypothesis;
fact6 & fact7 & fact3 -> hypothesis;
「あのエマルジョンは貯水するということはない」ということは真実である
fact12 -> int1: もし「そのケルト語はきちっとするということはないけれど未来市場規模である」ということは誤りであるとしたらそれはきちっとする;
$facts$ = fact1: もし仮にそのケルト語が追い払うならあのエマルジョンはきちっとする fact2: 仮にそのケルト語が貯水するとするとあのエマルジョンはきちっとする fact3: 仮にそのケルト語がきちっとすればあのエマルジョンは貯水する fact4: もし仮にこの肉芽組織が忘れ易いとすればその一台分は未来市場規模であるけれどそれは焦げない fact5: もしも「そのケルト語は焦げない一方でそれは追い払う」ということは成り立たないならそれは不規則性である fact6: そのケルト語は不規則性であるかきちっとする fact7: もし仮にそのケルト語が不規則性ならあのエマルジョンは貯水する fact8: 「もし仮にこの流氷原が追い払うとしたらそのケルト語は追い払う」ということは事実である fact9: 仮にそのケルト語は忘れ易いとしたら「それは焦げないし追い払う」ということは成り立たない fact10: 仮に「なにかはきちっとしないけれど未来市場規模である」ということは間違っているとすればきちっとする fact11: もし仮になにかはきちっとすれば貯水しないしかつ不規則性でない ; $hypothesis$ = あのエマルジョンは貯水する ; $proof$ = 
fact6 & fact7 & fact3 -> hypothesis; __PROVED__
事実1: もし仮にそのケルト語が追い払うならあのエマルジョンはきちっとする
事実2: 仮にそのケルト語が貯水するとするとあのエマルジョンはきちっとする
事実3: 仮にそのケルト語がきちっとすればあのエマルジョンは貯水する
事実4: もし仮にこの肉芽組織が忘れ易いとすればその一台分は未来市場規模であるけれどそれは焦げない
事実5: もしも「そのケルト語は焦げない一方でそれは追い払う」ということは成り立たないならそれは不規則性である
事実6: そのケルト語は不規則性であるかきちっとする
事実7: もし仮にそのケルト語が不規則性ならあのエマルジョンは貯水する
事実8: 「もし仮にこの流氷原が追い払うとしたらそのケルト語は追い払う」ということは事実である
事実9: 仮にそのケルト語は忘れ易いとしたら「それは焦げないし追い払う」ということは成り立たない
事実10: 仮に「なにかはきちっとしないけれど未来市場規模である」ということは間違っているとすればきちっとする
事実11: もし仮になにかはきちっとすれば貯水しないしかつ不規則性でない

仮説: あのエマルジョンは貯水する
1. 事実6と事実7と事実3から、仮説が導かれる

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