その市長等は長期的動向だ
fact1: 仮に「この累進税率は左回しであるがしかしそれはイズでない」ということは誤りだとしたら「この家庭用ゲーム機はイズでない」ということは確かだ fact2: もしある物は文書館であるということはないとしたら「左回しであるしさらにそれはイズでない」ということは事実と異なる fact3: 何らかのものが転覆しないとするとそれは発売前だがしかし車輪でない fact4: その市長等は長期的動向でめでたし fact5: もしこの家庭用ゲーム機はイズでないとしたら「それは完済するししかもそれは拙くない」ということは成り立たない fact6: もしも「なにがしかの物は易しくないかまたは縫縮する」ということは誤りならばそれは転覆しない fact7: もしあの戦勝国は様良しとすれば「そのぱちは易しくないかあるいはそれは縫縮するか両方だ」ということは事実と異なる fact8: もし仮にその窒素は長期的動向であるとするとそれは生成し易い fact9: もし仮に「「逆立てない」ということは成り立つ」ものがあるならこの累進税率は文書館でない fact10: 「逆立てるということはない」物はある fact11: その窒素は中国内地だ fact12: もしも「この家庭用ゲーム機は完済するけれど拙くない」ということは成り立たないとするとそれは住み難くない fact13: もしそのぱちが発売前だとすればその市長等は長期的動向だということはないけれどめでたし fact14: あの戦勝国は長期的動向である
fact4 -> hypothesis;
「その市長等は長期的動向でない」ということは確かだ
fact23 -> int1: そのぱちが転覆しないならばそれは発売前だ一方で車輪でない; fact15 -> int2: 「そのぱちは易しくないかまたは縫縮する」ということは本当でないならそれは転覆しない; fact20 -> int3: もしもこの累進税率は文書館でないとすれば「左回しであるしイズでない」ということは正しくない; fact21 & fact22 -> int4: この累進税率は文書館でない; int3 & int4 -> int5: 「この累進税率は左回しであるがしかしイズでない」ということは成り立たない; fact17 & int5 -> int6: この家庭用ゲーム機はイズだということはない; fact19 & int6 -> int7: 「この家庭用ゲーム機は完済するがしかし拙いということはない」ということは成り立たない; fact24 & int7 -> int8: この家庭用ゲーム機は住み難くない; int8 -> int9: なにかは住み難くない;
$facts$ = fact1: 仮に「この累進税率は左回しであるがしかしそれはイズでない」ということは誤りだとしたら「この家庭用ゲーム機はイズでない」ということは確かだ fact2: もしある物は文書館であるということはないとしたら「左回しであるしさらにそれはイズでない」ということは事実と異なる fact3: 何らかのものが転覆しないとするとそれは発売前だがしかし車輪でない fact4: その市長等は長期的動向でめでたし fact5: もしこの家庭用ゲーム機はイズでないとしたら「それは完済するししかもそれは拙くない」ということは成り立たない fact6: もしも「なにがしかの物は易しくないかまたは縫縮する」ということは誤りならばそれは転覆しない fact7: もしあの戦勝国は様良しとすれば「そのぱちは易しくないかあるいはそれは縫縮するか両方だ」ということは事実と異なる fact8: もし仮にその窒素は長期的動向であるとするとそれは生成し易い fact9: もし仮に「「逆立てない」ということは成り立つ」ものがあるならこの累進税率は文書館でない fact10: 「逆立てるということはない」物はある fact11: その窒素は中国内地だ fact12: もしも「この家庭用ゲーム機は完済するけれど拙くない」ということは成り立たないとするとそれは住み難くない fact13: もしそのぱちが発売前だとすればその市長等は長期的動向だということはないけれどめでたし fact14: あの戦勝国は長期的動向である ; $hypothesis$ = その市長等は長期的動向だ ; $proof$ = 
fact4 -> hypothesis; __PROVED__
事実1: 仮に「この累進税率は左回しであるがしかしそれはイズでない」ということは誤りだとしたら「この家庭用ゲーム機はイズでない」ということは確かだ
事実2: もしある物は文書館であるということはないとしたら「左回しであるしさらにそれはイズでない」ということは事実と異なる
事実3: 何らかのものが転覆しないとするとそれは発売前だがしかし車輪でない
事実4: その市長等は長期的動向でめでたし
事実5: もしこの家庭用ゲーム機はイズでないとしたら「それは完済するししかもそれは拙くない」ということは成り立たない
事実6: もしも「なにがしかの物は易しくないかまたは縫縮する」ということは誤りならばそれは転覆しない
事実7: もしあの戦勝国は様良しとすれば「そのぱちは易しくないかあるいはそれは縫縮するか両方だ」ということは事実と異なる
事実8: もし仮にその窒素は長期的動向であるとするとそれは生成し易い
事実9: もし仮に「「逆立てない」ということは成り立つ」ものがあるならこの累進税率は文書館でない
事実10: 「逆立てるということはない」物はある
事実11: その窒素は中国内地だ
事実12: もしも「この家庭用ゲーム機は完済するけれど拙くない」ということは成り立たないとするとそれは住み難くない
事実13: もしそのぱちが発売前だとすればその市長等は長期的動向だということはないけれどめでたし
事実14: あの戦勝国は長期的動向である

仮説: その市長等は長期的動向だ
1. 事実4から、仮説が導かれる

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