その国土面積は腹黒くない
fact1: 仮になんらかのものはどす黒くないとすれば「錆無くないし更にそれは行き兼ねる」ということは成り立たない fact2: あるものは腹黒いということはない fact3: 「行き兼ねないがしかし錆無い」物はある fact4: その国土面積は疚しい fact5: 何らかのものは自白しない fact6: 何らかの物は口籠もらない fact7: 「その特定期間は作成方法でないけれど取れ易い」ということは偽である fact8: この材料単価はどす黒いとしたらそれは行き兼ねる fact9: 「「千曳山でない一方でどす黒い」ということは間違いである」ものがあるとするとこの材料単価はどす黒くない fact10: 「行き兼ねなくて錆無くない」物はあるとすると「その国土面積は腹黒い」ということは真実である fact11: とあるものは転移性脊椎腫瘍でない fact12: 「なにかは作成方法でないが取れ易い」ということは事実と異なるとすれば取れ易くない fact13: 「錆無くない」ものはある fact14: 「行き兼ねる一方で錆無くない」ものはある fact15: 「溶接物でなくてしかも家庭訪問する」物はある fact16: 「入獄でない」物はある fact17: とあるものは物凄いということはなくてケレケレであるということはない fact18: もしなにがしかのものは取れ易くないとしたら「千曳山でないしどす黒い」ということは誤りである fact19: 「行き兼ねるということはなくて錆無くない」ものはある
fact19 & fact10 -> hypothesis;
fact19 & fact10 -> hypothesis;
その国土面積は腹黒くない
fact22 -> int1: 仮にこの材料単価はどす黒くないとすれば「錆無くないけど行き兼ねる」ということは誤りである; fact21 -> int2: もし仮にその特定期間は取れ易くないとすると「千曳山でないけれどどす黒い」ということは成り立たない; fact24 -> int3: もしも「その特定期間は作成方法だということはないがしかしそれは取れ易い」ということは事実と異なるとすればそれは取れ易いということはない; int3 & fact23 -> int4: その特定期間は取れ易くない; int2 & int4 -> int5: 「その特定期間は千曳山でないけれどそれはどす黒い」ということは偽である; int5 -> int6: 「「千曳山でないしさらにどす黒い」ということは間違っている」物はある; int6 & fact20 -> int7: 「この材料単価はどす黒くない」ということは事実だ; int1 & int7 -> int8: 「この材料単価は錆無くないけれどそれは行き兼ねる」ということは成り立たない; int8 -> int9: 「「錆無くないけど行き兼ねる」ということは成り立たない」ものはある;
$facts$ = fact1: 仮になんらかのものはどす黒くないとすれば「錆無くないし更にそれは行き兼ねる」ということは成り立たない fact2: あるものは腹黒いということはない fact3: 「行き兼ねないがしかし錆無い」物はある fact4: その国土面積は疚しい fact5: 何らかのものは自白しない fact6: 何らかの物は口籠もらない fact7: 「その特定期間は作成方法でないけれど取れ易い」ということは偽である fact8: この材料単価はどす黒いとしたらそれは行き兼ねる fact9: 「「千曳山でない一方でどす黒い」ということは間違いである」ものがあるとするとこの材料単価はどす黒くない fact10: 「行き兼ねなくて錆無くない」物はあるとすると「その国土面積は腹黒い」ということは真実である fact11: とあるものは転移性脊椎腫瘍でない fact12: 「なにかは作成方法でないが取れ易い」ということは事実と異なるとすれば取れ易くない fact13: 「錆無くない」ものはある fact14: 「行き兼ねる一方で錆無くない」ものはある fact15: 「溶接物でなくてしかも家庭訪問する」物はある fact16: 「入獄でない」物はある fact17: とあるものは物凄いということはなくてケレケレであるということはない fact18: もしなにがしかのものは取れ易くないとしたら「千曳山でないしどす黒い」ということは誤りである fact19: 「行き兼ねるということはなくて錆無くない」ものはある ; $hypothesis$ = その国土面積は腹黒くない ; $proof$ = 
fact19 & fact10 -> hypothesis; __DISPROVED__
事実1: 仮になんらかのものはどす黒くないとすれば「錆無くないし更にそれは行き兼ねる」ということは成り立たない
事実2: あるものは腹黒いということはない
事実3: 「行き兼ねないがしかし錆無い」物はある
事実4: その国土面積は疚しい
事実5: 何らかのものは自白しない
事実6: 何らかの物は口籠もらない
事実7: 「その特定期間は作成方法でないけれど取れ易い」ということは偽である
事実8: この材料単価はどす黒いとしたらそれは行き兼ねる
事実9: 「「千曳山でない一方でどす黒い」ということは間違いである」ものがあるとするとこの材料単価はどす黒くない
事実10: 「行き兼ねなくて錆無くない」物はあるとすると「その国土面積は腹黒い」ということは真実である
事実11: とあるものは転移性脊椎腫瘍でない
事実12: 「なにかは作成方法でないが取れ易い」ということは事実と異なるとすれば取れ易くない
事実13: 「錆無くない」ものはある
事実14: 「行き兼ねる一方で錆無くない」ものはある
事実15: 「溶接物でなくてしかも家庭訪問する」物はある
事実16: 「入獄でない」物はある
事実17: とあるものは物凄いということはなくてケレケレであるということはない
事実18: もしなにがしかのものは取れ易くないとしたら「千曳山でないしどす黒い」ということは誤りである
事実19: 「行き兼ねるということはなくて錆無くない」ものはある

仮説: その国土面積は腹黒くない
1. 事実19と事実10から、仮説が否定される

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