そのダークエリアは採取するかもしくは重んずるかもしくは両方だ
fact1: 仮に「その実現値は詳しいということはないかもしくは十一月頃でないか両方ともである」ということは誤っているとしたらそのダークエリアは十一月頃である fact2: 仮にその実現値が十一月頃でないかまたは滅びるかまたは両方だとしたらその特別招待参加は滅びない fact3: もしも何かは繋がり易いとすると階段詳細図である fact4: 「ＳＥＣ蛋白質な」物はある fact5: 仮にそのダークエリアが十一月頃であるとすればあの型枠数量は十一月頃だ fact6: もしもなにかは階段詳細図でないならそれは十一月頃でないかまたは滅びるか両方ともである fact7: もしもその特別招待参加が滅びないとするとそのダークエリアは満たない fact8: その特別招待参加は繋がり易くないかもしくはそれは階段詳細図であるかあるいは両方である fact9: そのヨーロッパ共同体は細動脈レベルであるか弛み無いかどちらもである fact10: もしもこの設備配管が同艦だということはないけれど階段詳細図であるとするとその実現値は階段詳細図でない fact11: 仮になにかは滅びるということはないならばそれは満つし採取する fact12: 仮に階段詳細図は十一月頃であるとすれば滅びない fact13: もしもなんらかの物は満つということはないならば「採取するかもしくはそれは重んずる」ということは真実でない fact14: その小学校高学年は重んずる fact15: その特別招待参加が繋がり易いということはないかもしくは階段詳細図であるかあるいはどちらもであるとするとあの型枠数量は階段詳細図だ fact16: そのダークエリアは重んずる fact17: もしも何かは採取するなら「重んずる」ということは成り立つ fact18: 「なんらかのものは御寂しくないがしかしそれは詳しい」ということは成り立つということはないとしたら「それは繋がり易い」ということは確かだ fact19: もし「ＳＥＣ蛋白質な」物があるならこの設備配管は同艦でない
fact16 -> hypothesis;
「そのダークエリアは採取するかあるいはそれは重んずるかどちらもである」ということは事実でない
fact26 -> int1: 仮にそのダークエリアは満つということはないとすれば「それは採取するかあるいはそれは重んずる」ということは成り立たない; fact22 -> int2: 仮にその実現値は階段詳細図でないならそれは十一月頃でないかあるいは滅びるかまたはどちらもだ; fact28 & fact20 -> int3: この設備配管は同艦でない; fact24 -> int4: もしもこの設備配管が繋がり易いとすれば階段詳細図である; fact21 -> int5: もし仮に「この設備配管は御寂しくないけど詳しい」ということは誤っているとすればそれは繋がり易い;
$facts$ = fact1: 仮に「その実現値は詳しいということはないかもしくは十一月頃でないか両方ともである」ということは誤っているとしたらそのダークエリアは十一月頃である fact2: 仮にその実現値が十一月頃でないかまたは滅びるかまたは両方だとしたらその特別招待参加は滅びない fact3: もしも何かは繋がり易いとすると階段詳細図である fact4: 「ＳＥＣ蛋白質な」物はある fact5: 仮にそのダークエリアが十一月頃であるとすればあの型枠数量は十一月頃だ fact6: もしもなにかは階段詳細図でないならそれは十一月頃でないかまたは滅びるか両方ともである fact7: もしもその特別招待参加が滅びないとするとそのダークエリアは満たない fact8: その特別招待参加は繋がり易くないかもしくはそれは階段詳細図であるかあるいは両方である fact9: そのヨーロッパ共同体は細動脈レベルであるか弛み無いかどちらもである fact10: もしもこの設備配管が同艦だということはないけれど階段詳細図であるとするとその実現値は階段詳細図でない fact11: 仮になにかは滅びるということはないならばそれは満つし採取する fact12: 仮に階段詳細図は十一月頃であるとすれば滅びない fact13: もしもなんらかの物は満つということはないならば「採取するかもしくはそれは重んずる」ということは真実でない fact14: その小学校高学年は重んずる fact15: その特別招待参加が繋がり易いということはないかもしくは階段詳細図であるかあるいはどちらもであるとするとあの型枠数量は階段詳細図だ fact16: そのダークエリアは重んずる fact17: もしも何かは採取するなら「重んずる」ということは成り立つ fact18: 「なんらかのものは御寂しくないがしかしそれは詳しい」ということは成り立つということはないとしたら「それは繋がり易い」ということは確かだ fact19: もし「ＳＥＣ蛋白質な」物があるならこの設備配管は同艦でない ; $hypothesis$ = そのダークエリアは採取するかもしくは重んずるかもしくは両方だ ; $proof$ = 
fact16 -> hypothesis; __PROVED__
事実1: 仮に「その実現値は詳しいということはないかもしくは十一月頃でないか両方ともである」ということは誤っているとしたらそのダークエリアは十一月頃である
事実2: 仮にその実現値が十一月頃でないかまたは滅びるかまたは両方だとしたらその特別招待参加は滅びない
事実3: もしも何かは繋がり易いとすると階段詳細図である
事実4: 「ＳＥＣ蛋白質な」物はある
事実5: 仮にそのダークエリアが十一月頃であるとすればあの型枠数量は十一月頃だ
事実6: もしもなにかは階段詳細図でないならそれは十一月頃でないかまたは滅びるか両方ともである
事実7: もしもその特別招待参加が滅びないとするとそのダークエリアは満たない
事実8: その特別招待参加は繋がり易くないかもしくはそれは階段詳細図であるかあるいは両方である
事実9: そのヨーロッパ共同体は細動脈レベルであるか弛み無いかどちらもである
事実10: もしもこの設備配管が同艦だということはないけれど階段詳細図であるとするとその実現値は階段詳細図でない
事実11: 仮になにかは滅びるということはないならばそれは満つし採取する
事実12: 仮に階段詳細図は十一月頃であるとすれば滅びない
事実13: もしもなんらかの物は満つということはないならば「採取するかもしくはそれは重んずる」ということは真実でない
事実14: その小学校高学年は重んずる
事実15: その特別招待参加が繋がり易いということはないかもしくは階段詳細図であるかあるいはどちらもであるとするとあの型枠数量は階段詳細図だ
事実16: そのダークエリアは重んずる
事実17: もしも何かは採取するなら「重んずる」ということは成り立つ
事実18: 「なんらかのものは御寂しくないがしかしそれは詳しい」ということは成り立つということはないとしたら「それは繋がり易い」ということは確かだ
事実19: もし「ＳＥＣ蛋白質な」物があるならこの設備配管は同艦でない

仮説: そのダークエリアは採取するかもしくは重んずるかもしくは両方だ
1. 事実16から、仮説が導かれる

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