その中学校社会科地図はぶら下がるということはない
fact1: 「「その有斐閣は制限物権であるし農家調査結果表だ」ということは本当である」ということは誤りである fact2: もしもその住宅市場が侮蔑すればその中学校社会科地図はぶら下がる fact3: 「「制限物権であるしまた農家調査結果表だ」ということは誤っている」ものがあるとするとその住宅市場は侮蔑する fact4: もしその中学校社会科地図が制限物権であるとしたらその有斐閣はぶら下がる fact5: もしもその住宅市場が受け入れ難いとすればらふてえだがしかし卑しくない fact6: なんらかのものはぶら下がるし農家調査結果表である fact7: その市川白猿集は平べったいということはないかもしくは地質時代でない fact8: もし仮になにがしかの物が侮蔑しないとすればそれはぶら下がるということはない fact9: その市川白猿集が平べったいということはないならばあのネオコロニアリズムは受け入れ難くないかまたはそれはそそっかしくない fact10: 仮に「制限物権でない」物があればその住宅市場は侮蔑する fact11: もし何かはらふてえであるならば「それが誇らしいしその上立て易くない」ということは誤りである fact12: もし「その有斐閣はぶら下がる」ということは成り立つとするとその中学校社会科地図は農家調査結果表だ fact13: もしその市川白猿集が平べったくないかあるいは地質時代でないとすればそれは平べったくない fact14: とあるものは制限物権であるし農家調査結果表だ
fact1 -> int1: 「「制限物権だしその上農家調査結果表だ」ということは成り立つということはない」物はある; int1 & fact3 -> int2: 「その住宅市場は侮蔑する」ということは確かだ; int2 & fact2 -> hypothesis;
fact1 -> int1: (Ex): ¬({AA}x & {AB}x); int1 & fact3 -> int2: {A}{a}; int2 & fact2 -> hypothesis;
その中学校社会科地図はぶら下がらない
fact17 -> int3: 仮にその中学校社会科地図が侮蔑しないならばぶら下がらない; fact18 -> int4: もしもその住宅市場はらふてえだとすると「それは誇らしい一方で立て易くない」ということは誤りである; fact16 & fact15 -> int5: その市川白猿集は平べったいということはない; fact20 & int5 -> int6: このネオコロニアリズムは受け入れ難くないかあるいはそれはそそっかしくないかあるいは両方だ;
$facts$ = fact1: 「「その有斐閣は制限物権であるし農家調査結果表だ」ということは本当である」ということは誤りである fact2: もしもその住宅市場が侮蔑すればその中学校社会科地図はぶら下がる fact3: 「「制限物権であるしまた農家調査結果表だ」ということは誤っている」ものがあるとするとその住宅市場は侮蔑する fact4: もしその中学校社会科地図が制限物権であるとしたらその有斐閣はぶら下がる fact5: もしもその住宅市場が受け入れ難いとすればらふてえだがしかし卑しくない fact6: なんらかのものはぶら下がるし農家調査結果表である fact7: その市川白猿集は平べったいということはないかもしくは地質時代でない fact8: もし仮になにがしかの物が侮蔑しないとすればそれはぶら下がるということはない fact9: その市川白猿集が平べったいということはないならばあのネオコロニアリズムは受け入れ難くないかまたはそれはそそっかしくない fact10: 仮に「制限物権でない」物があればその住宅市場は侮蔑する fact11: もし何かはらふてえであるならば「それが誇らしいしその上立て易くない」ということは誤りである fact12: もし「その有斐閣はぶら下がる」ということは成り立つとするとその中学校社会科地図は農家調査結果表だ fact13: もしその市川白猿集が平べったくないかあるいは地質時代でないとすればそれは平べったくない fact14: とあるものは制限物権であるし農家調査結果表だ ; $hypothesis$ = その中学校社会科地図はぶら下がるということはない ; $proof$ = 
fact1 -> int1: 「「制限物権だしその上農家調査結果表だ」ということは成り立つということはない」物はある; int1 & fact3 -> int2: 「その住宅市場は侮蔑する」ということは確かだ; int2 & fact2 -> hypothesis; __DISPROVED__
事実1: 「「その有斐閣は制限物権であるし農家調査結果表だ」ということは本当である」ということは誤りである
事実2: もしもその住宅市場が侮蔑すればその中学校社会科地図はぶら下がる
事実3: 「「制限物権であるしまた農家調査結果表だ」ということは誤っている」ものがあるとするとその住宅市場は侮蔑する
事実4: もしその中学校社会科地図が制限物権であるとしたらその有斐閣はぶら下がる
事実5: もしもその住宅市場が受け入れ難いとすればらふてえだがしかし卑しくない
事実6: なんらかのものはぶら下がるし農家調査結果表である
事実7: その市川白猿集は平べったいということはないかもしくは地質時代でない
事実8: もし仮になにがしかの物が侮蔑しないとすればそれはぶら下がるということはない
事実9: その市川白猿集が平べったいということはないならばあのネオコロニアリズムは受け入れ難くないかまたはそれはそそっかしくない
事実10: 仮に「制限物権でない」物があればその住宅市場は侮蔑する
事実11: もし何かはらふてえであるならば「それが誇らしいしその上立て易くない」ということは誤りである
事実12: もし「その有斐閣はぶら下がる」ということは成り立つとするとその中学校社会科地図は農家調査結果表だ
事実13: もしその市川白猿集が平べったくないかあるいは地質時代でないとすればそれは平べったくない
事実14: とあるものは制限物権であるし農家調査結果表だ

仮説: その中学校社会科地図はぶら下がるということはない
1. 事実1から、推論1: "「「制限物権だしその上農家調査結果表だ」ということは成り立つということはない」物はある"が導かれる
2. 推論1と事実3から、推論2: "「その住宅市場は侮蔑する」ということは確かだ"が導かれる
3. 推論2と事実2から、仮説が否定される

よって、仮説が否定されました。