この正則君は貧乏しないか纏めるか両方である
fact1: この正則君は貧乏しないか纏めるかもしくはどちらもだ fact2: この端末側は心理生理的反応であるかもしくはそれは纏めるかもしくは両方である fact3: もしもこのグルコース濃度がＬＣＡＴ活性でなくて加えてそれが鉄砲でないとしたらこの正則君は調和し難くない fact4: もし「なんらかの物は調和し難いししかも立たす」ということは真実でないとするとそれは立たさない fact5: この正則君は接さないかあるいはそれは御助けであるかどちらもである fact6: もしこの正則君が立たせばこのエメラルドはメーソンでない fact7: この正則君は貧乏するかあるいは纏めるかまたはどちらもだ fact8: 仮にこの正則君が調和し難くないとすれば立たすしさらに散華する
fact1 -> hypothesis;
fact1 -> hypothesis;
このエメラルドはメーソンでないかもしくはそれは御めでたいかあるいは両方である
$facts$ = fact1: この正則君は貧乏しないか纏めるかもしくはどちらもだ fact2: この端末側は心理生理的反応であるかもしくはそれは纏めるかもしくは両方である fact3: もしもこのグルコース濃度がＬＣＡＴ活性でなくて加えてそれが鉄砲でないとしたらこの正則君は調和し難くない fact4: もし「なんらかの物は調和し難いししかも立たす」ということは真実でないとするとそれは立たさない fact5: この正則君は接さないかあるいはそれは御助けであるかどちらもである fact6: もしこの正則君が立たせばこのエメラルドはメーソンでない fact7: この正則君は貧乏するかあるいは纏めるかまたはどちらもだ fact8: 仮にこの正則君が調和し難くないとすれば立たすしさらに散華する ; $hypothesis$ = この正則君は貧乏しないか纏めるか両方である ; $proof$ = 
fact1 -> hypothesis; __PROVED__
事実1: この正則君は貧乏しないか纏めるかもしくはどちらもだ
事実2: この端末側は心理生理的反応であるかもしくはそれは纏めるかもしくは両方である
事実3: もしもこのグルコース濃度がＬＣＡＴ活性でなくて加えてそれが鉄砲でないとしたらこの正則君は調和し難くない
事実4: もし「なんらかの物は調和し難いししかも立たす」ということは真実でないとするとそれは立たさない
事実5: この正則君は接さないかあるいはそれは御助けであるかどちらもである
事実6: もしこの正則君が立たせばこのエメラルドはメーソンでない
事実7: この正則君は貧乏するかあるいは纏めるかまたはどちらもだ
事実8: 仮にこの正則君が調和し難くないとすれば立たすしさらに散華する

仮説: この正則君は貧乏しないか纏めるか両方である
1. 事実1から、仮説が導かれる

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