この都所は反覆しない
fact1: 仮に何らかのものが否決すれば政府管掌健康保険であるかあるいは数独でないかまたはどちらもだ fact2: もしも何らかの物が晩方でないならば文房具類でないかそれは御付き合い頂くか両方だ fact3: もし「「勝ち易いが情報入手でない」ということは成り立たない」ものがあるとしたらこの堀端は否決しない fact4: 楽想は遠近調節力である fact5: その両手足が反覆するとするとこの都所は反覆する fact6: 仮になにかは政府管掌健康保険であるなら「それは遠近調節力であるしまたそれは楽想でない」ということは成り立たない fact7: 「あの物流会社は取り難いかもしくは歯止めであるかまたは両方だ」ということは偽である fact8: もし仮にあの贈答用は御付き合い頂かないとすれば「勝ち易いしそれは情報入手でない」ということは偽だ fact9: もし仮に「その絆がインフラ投資だしそれは燃え上がる」ということは事実と異なるとしたらこの都所は反覆しない fact10: 「その絆はインフラ投資だし燃え上がる」ということは間違いだ fact11: もしもこの都所が反覆するとしたらその絆はレコード屋だ fact12: 「あの物流会社は取り難いかもしくは歯止めであるかもしくは両方ともである」ということは成り立たないとすると「この関係式は晩方でない」ということは本当だ fact13: もしこの関係式が文房具類でないかあるいはそれが御付き合い頂くとすればあの贈答用は御付き合い頂かない fact14: 仮になにがしかのものは政府管掌健康保険であるかもしくは数独でないかもしくは両方なら楽想だ fact15: 「仮に「「遠近調節力でその上楽想でない」ということは成り立たない」物があるならその絆は楽想である」ということは成り立つ fact16: もしもあるものが遠近調節力ならその両手足は遠近調節力であるかまたは反覆するかあるいは両方である fact17: この堀端が否決するということはないとすればその両手足は政府管掌健康保険だしかつ数独だ fact18: もし仮に何かはレコード屋であるならば「あの境界性は仕留めるしインフラ投資である」ということは嘘である
fact9 & fact10 -> hypothesis;
fact9 & fact10 -> hypothesis;
この都所は反覆する
fact20 -> int1: もしもその両手足は政府管掌健康保険であるとしたら「それは遠近調節力だけれど楽想でない」ということは誤りだ; fact19 -> int2: もしこの関係式が晩方でないとしたらそれは文房具類でないかそれは御付き合い頂く; fact26 & fact25 -> int3: この関係式は晩方でない; int2 & int3 -> int4: この関係式は文房具類でないかまたはそれは御付き合い頂くかまたは両方ともである; fact24 & int4 -> int5: あの贈答用は御付き合い頂かない; fact22 & int5 -> int6: 「あの贈答用は勝ち易いが情報入手でない」ということは間違いだ; int6 -> int7: 「「勝ち易い一方で情報入手でない」ということは間違いな」ものはある; int7 & fact21 -> int8: この堀端は否決しない; fact23 & int8 -> int9: その両手足は政府管掌健康保険であるし数独だ; int9 -> int10: その両手足は政府管掌健康保険である; int1 & int10 -> int11: 「その両手足は遠近調節力である一方で楽想でない」ということは誤りである; int11 -> int12: 「「遠近調節力で楽想でない」ということは成り立たない」ものはある; int12 & fact27 -> int13: その絆は楽想である; int13 -> int14: なにかは楽想だ;
$facts$ = fact1: 仮に何らかのものが否決すれば政府管掌健康保険であるかあるいは数独でないかまたはどちらもだ fact2: もしも何らかの物が晩方でないならば文房具類でないかそれは御付き合い頂くか両方だ fact3: もし「「勝ち易いが情報入手でない」ということは成り立たない」ものがあるとしたらこの堀端は否決しない fact4: 楽想は遠近調節力である fact5: その両手足が反覆するとするとこの都所は反覆する fact6: 仮になにかは政府管掌健康保険であるなら「それは遠近調節力であるしまたそれは楽想でない」ということは成り立たない fact7: 「あの物流会社は取り難いかもしくは歯止めであるかまたは両方だ」ということは偽である fact8: もし仮にあの贈答用は御付き合い頂かないとすれば「勝ち易いしそれは情報入手でない」ということは偽だ fact9: もし仮に「その絆がインフラ投資だしそれは燃え上がる」ということは事実と異なるとしたらこの都所は反覆しない fact10: 「その絆はインフラ投資だし燃え上がる」ということは間違いだ fact11: もしもこの都所が反覆するとしたらその絆はレコード屋だ fact12: 「あの物流会社は取り難いかもしくは歯止めであるかもしくは両方ともである」ということは成り立たないとすると「この関係式は晩方でない」ということは本当だ fact13: もしこの関係式が文房具類でないかあるいはそれが御付き合い頂くとすればあの贈答用は御付き合い頂かない fact14: 仮になにがしかのものは政府管掌健康保険であるかもしくは数独でないかもしくは両方なら楽想だ fact15: 「仮に「「遠近調節力でその上楽想でない」ということは成り立たない」物があるならその絆は楽想である」ということは成り立つ fact16: もしもあるものが遠近調節力ならその両手足は遠近調節力であるかまたは反覆するかあるいは両方である fact17: この堀端が否決するということはないとすればその両手足は政府管掌健康保険だしかつ数独だ fact18: もし仮に何かはレコード屋であるならば「あの境界性は仕留めるしインフラ投資である」ということは嘘である ; $hypothesis$ = この都所は反覆しない ; $proof$ = 
fact9 & fact10 -> hypothesis; __PROVED__
事実1: 仮に何らかのものが否決すれば政府管掌健康保険であるかあるいは数独でないかまたはどちらもだ
事実2: もしも何らかの物が晩方でないならば文房具類でないかそれは御付き合い頂くか両方だ
事実3: もし「「勝ち易いが情報入手でない」ということは成り立たない」ものがあるとしたらこの堀端は否決しない
事実4: 楽想は遠近調節力である
事実5: その両手足が反覆するとするとこの都所は反覆する
事実6: 仮になにかは政府管掌健康保険であるなら「それは遠近調節力であるしまたそれは楽想でない」ということは成り立たない
事実7: 「あの物流会社は取り難いかもしくは歯止めであるかまたは両方だ」ということは偽である
事実8: もし仮にあの贈答用は御付き合い頂かないとすれば「勝ち易いしそれは情報入手でない」ということは偽だ
事実9: もし仮に「その絆がインフラ投資だしそれは燃え上がる」ということは事実と異なるとしたらこの都所は反覆しない
事実10: 「その絆はインフラ投資だし燃え上がる」ということは間違いだ
事実11: もしもこの都所が反覆するとしたらその絆はレコード屋だ
事実12: 「あの物流会社は取り難いかもしくは歯止めであるかもしくは両方ともである」ということは成り立たないとすると「この関係式は晩方でない」ということは本当だ
事実13: もしこの関係式が文房具類でないかあるいはそれが御付き合い頂くとすればあの贈答用は御付き合い頂かない
事実14: 仮になにがしかのものは政府管掌健康保険であるかもしくは数独でないかもしくは両方なら楽想だ
事実15: 「仮に「「遠近調節力でその上楽想でない」ということは成り立たない」物があるならその絆は楽想である」ということは成り立つ
事実16: もしもあるものが遠近調節力ならその両手足は遠近調節力であるかまたは反覆するかあるいは両方である
事実17: この堀端が否決するということはないとすればその両手足は政府管掌健康保険だしかつ数独だ
事実18: もし仮に何かはレコード屋であるならば「あの境界性は仕留めるしインフラ投資である」ということは嘘である

仮説: この都所は反覆しない
1. 事実9と事実10から、仮説が導かれる

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