その穢多非人は末恐ろしくなくて資産構成でない
fact1: 「その穢多非人は末恐ろしいということはないけれど資産構成である」ということは偽だ fact2: 仮にこの家全体が町役でないとしたらあの二月半ばは読み解くしおまけに覚え難い fact3: もしこの家全体が首尾良くないならあの二月半ばは首尾良い fact4: もしもなんらかのものは覚え難いとすれば「それは火災保険料でないかまたはそれは首尾良い」ということは成り立つということはない fact5: もしもあの二月半ばは末恐ろしいならば「「その穢多非人は火災保険料でないし覚え難くない」ということは確かである」ということは成り立たない fact6: もし仮に「あの二月半ばは火災保険料だ」ということは事実であるなら「その穢多非人は末恐ろしくないけれどそれは資産構成だ」ということは嘘である fact7: この短期決戦が固いならこの家全体は合法化する fact8: もし何らかの物が火災保険料でないとしたらそれは末恐ろしくなくて資産構成でない fact9: その穢多非人は火災保険料だがしかし資産構成でない fact10: もし仮にとある物が読み解くとしたらそれが資産構成だしそれは首尾良くない fact11: もしとあるものが合法化すればそれは町役でない fact12: もし仮にあの二月半ばは末恐ろしいとしたら「その穢多非人は資産構成でないしおまけにそれは覚え難くない」ということは間違いである fact13: 仮に「あの二月半ばは覚え難くないが火災保険料だ」ということは偽であるとするとその試薬は火災保険料である fact14: もし仮に「「あの二月半ばは火災保険料でないかまたは首尾良いかあるいはどちらもだ」ということは成り立たない」ということは成り立つとしたらその穢多非人は火災保険料でない fact15: 仮にあの二月半ばは火災保険料なら「その穢多非人は末恐ろしくないし資産構成でない」ということは成り立たない fact16: 「その穢多非人は合法化するしさらに町役だ」ということは嘘である fact17: あの二月半ばは火災保険料だがしかし覚え難くない fact18: もしもその穢多非人は町役であるということはないならば「読み解く」ということは真実だ fact19: もし何かは末恐ろしいとすれば「それは覚え難くないしかつ火災保険料である」ということは成り立たない fact20: もしあの二月半ばは資産構成だとしたら「その穢多非人は末恐ろしくなくてしかも火災保険料でない」ということは成り立たない fact21: あの二月半ばは覚え難くない
fact17 -> int1: あの二月半ばは火災保険料だ; int1 & fact15 -> hypothesis;
その穢多非人は末恐ろしくなくてまたそれは資産構成だということはない
$facts$ = fact1: 「その穢多非人は末恐ろしいということはないけれど資産構成である」ということは偽だ fact2: 仮にこの家全体が町役でないとしたらあの二月半ばは読み解くしおまけに覚え難い fact3: もしこの家全体が首尾良くないならあの二月半ばは首尾良い fact4: もしもなんらかのものは覚え難いとすれば「それは火災保険料でないかまたはそれは首尾良い」ということは成り立つということはない fact5: もしもあの二月半ばは末恐ろしいならば「「その穢多非人は火災保険料でないし覚え難くない」ということは確かである」ということは成り立たない fact6: もし仮に「あの二月半ばは火災保険料だ」ということは事実であるなら「その穢多非人は末恐ろしくないけれどそれは資産構成だ」ということは嘘である fact7: この短期決戦が固いならこの家全体は合法化する fact8: もし何らかの物が火災保険料でないとしたらそれは末恐ろしくなくて資産構成でない fact9: その穢多非人は火災保険料だがしかし資産構成でない fact10: もし仮にとある物が読み解くとしたらそれが資産構成だしそれは首尾良くない fact11: もしとあるものが合法化すればそれは町役でない fact12: もし仮にあの二月半ばは末恐ろしいとしたら「その穢多非人は資産構成でないしおまけにそれは覚え難くない」ということは間違いである fact13: 仮に「あの二月半ばは覚え難くないが火災保険料だ」ということは偽であるとするとその試薬は火災保険料である fact14: もし仮に「「あの二月半ばは火災保険料でないかまたは首尾良いかあるいはどちらもだ」ということは成り立たない」ということは成り立つとしたらその穢多非人は火災保険料でない fact15: 仮にあの二月半ばは火災保険料なら「その穢多非人は末恐ろしくないし資産構成でない」ということは成り立たない fact16: 「その穢多非人は合法化するしさらに町役だ」ということは嘘である fact17: あの二月半ばは火災保険料だがしかし覚え難くない fact18: もしもその穢多非人は町役であるということはないならば「読み解く」ということは真実だ fact19: もし何かは末恐ろしいとすれば「それは覚え難くないしかつ火災保険料である」ということは成り立たない fact20: もしあの二月半ばは資産構成だとしたら「その穢多非人は末恐ろしくなくてしかも火災保険料でない」ということは成り立たない fact21: あの二月半ばは覚え難くない ; $hypothesis$ = その穢多非人は末恐ろしくなくて資産構成でない ; $proof$ = 
fact17 -> int1: あの二月半ばは火災保険料だ; int1 & fact15 -> hypothesis; __DISPROVED__
事実1: 「その穢多非人は末恐ろしいということはないけれど資産構成である」ということは偽だ
事実2: 仮にこの家全体が町役でないとしたらあの二月半ばは読み解くしおまけに覚え難い
事実3: もしこの家全体が首尾良くないならあの二月半ばは首尾良い
事実4: もしもなんらかのものは覚え難いとすれば「それは火災保険料でないかまたはそれは首尾良い」ということは成り立つということはない
事実5: もしもあの二月半ばは末恐ろしいならば「「その穢多非人は火災保険料でないし覚え難くない」ということは確かである」ということは成り立たない
事実6: もし仮に「あの二月半ばは火災保険料だ」ということは事実であるなら「その穢多非人は末恐ろしくないけれどそれは資産構成だ」ということは嘘である
事実7: この短期決戦が固いならこの家全体は合法化する
事実8: もし何らかの物が火災保険料でないとしたらそれは末恐ろしくなくて資産構成でない
事実9: その穢多非人は火災保険料だがしかし資産構成でない
事実10: もし仮にとある物が読み解くとしたらそれが資産構成だしそれは首尾良くない
事実11: もしとあるものが合法化すればそれは町役でない
事実12: もし仮にあの二月半ばは末恐ろしいとしたら「その穢多非人は資産構成でないしおまけにそれは覚え難くない」ということは間違いである
事実13: 仮に「あの二月半ばは覚え難くないが火災保険料だ」ということは偽であるとするとその試薬は火災保険料である
事実14: もし仮に「「あの二月半ばは火災保険料でないかまたは首尾良いかあるいはどちらもだ」ということは成り立たない」ということは成り立つとしたらその穢多非人は火災保険料でない
事実15: 仮にあの二月半ばは火災保険料なら「その穢多非人は末恐ろしくないし資産構成でない」ということは成り立たない
事実16: 「その穢多非人は合法化するしさらに町役だ」ということは嘘である
事実17: あの二月半ばは火災保険料だがしかし覚え難くない
事実18: もしもその穢多非人は町役であるということはないならば「読み解く」ということは真実だ
事実19: もし何かは末恐ろしいとすれば「それは覚え難くないしかつ火災保険料である」ということは成り立たない
事実20: もしあの二月半ばは資産構成だとしたら「その穢多非人は末恐ろしくなくてしかも火災保険料でない」ということは成り立たない
事実21: あの二月半ばは覚え難くない

仮説: その穢多非人は末恐ろしくなくて資産構成でない
1. 事実17から、推論1: "あの二月半ばは火災保険料だ"が導かれる
2. 推論1と事実15から、仮説が否定される

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