「この運転資金はグリル満天星であるかあるいはそれはセメンタイトであるかどちらもだ」ということは本当だということはない
fact1: 「あのナイロンコートワイヤーはセメンタイトだ」ということは正しい fact2: この運転資金は尽きであるかそれはマリオット・ホテルであるかあるいはどちらもだ fact3: もしもその三十六人が配当出来ないとしたらこの執行文付与は保険財政だしまた採用する fact4: なんらかのものが牛車でないとしたらセメンタイトでグリル満天星でない fact5: もしもあるものは牛車でないとすれば「それはグリル満天星であるかそれはセメンタイトであるかまたは両方ともだ」ということは嘘だ fact6: この運転資金はグリル満天星だ fact7: このビンゴはセメンタイトであるかあるいは硬度であるかまたは両方だ fact8: 「「配当出来るししかも成し難い」ということは間違っている」物はある fact9: この運転資金は壊せるかまたはセメンタイトであるかあるいは両方だ fact10: この運転資金は祟り石である fact11: その新学期は旧稿であるかもしくはそれは切り離し難いかもしくはどちらもだ fact12: セメンタイトはグリル満天星でないとしたら「それはどうしても欲しい」ということは真実である
fact6 -> hypothesis;
fact6 -> hypothesis;
その増産はどうしても欲しいか時以後である
fact13 -> int1: もしもその増産がセメンタイトだけどグリル満天星でないならばそれはどうしても欲しい; fact14 -> int2: もしその増産が牛車でないとすればセメンタイトであるしグリル満天星でない;
$facts$ = fact1: 「あのナイロンコートワイヤーはセメンタイトだ」ということは正しい fact2: この運転資金は尽きであるかそれはマリオット・ホテルであるかあるいはどちらもだ fact3: もしもその三十六人が配当出来ないとしたらこの執行文付与は保険財政だしまた採用する fact4: なんらかのものが牛車でないとしたらセメンタイトでグリル満天星でない fact5: もしもあるものは牛車でないとすれば「それはグリル満天星であるかそれはセメンタイトであるかまたは両方ともだ」ということは嘘だ fact6: この運転資金はグリル満天星だ fact7: このビンゴはセメンタイトであるかあるいは硬度であるかまたは両方だ fact8: 「「配当出来るししかも成し難い」ということは間違っている」物はある fact9: この運転資金は壊せるかまたはセメンタイトであるかあるいは両方だ fact10: この運転資金は祟り石である fact11: その新学期は旧稿であるかもしくはそれは切り離し難いかもしくはどちらもだ fact12: セメンタイトはグリル満天星でないとしたら「それはどうしても欲しい」ということは真実である ; $hypothesis$ = 「この運転資金はグリル満天星であるかあるいはそれはセメンタイトであるかどちらもだ」ということは本当だということはない ; $proof$ = 
fact6 -> hypothesis; __DISPROVED__
事実1: 「あのナイロンコートワイヤーはセメンタイトだ」ということは正しい
事実2: この運転資金は尽きであるかそれはマリオット・ホテルであるかあるいはどちらもだ
事実3: もしもその三十六人が配当出来ないとしたらこの執行文付与は保険財政だしまた採用する
事実4: なんらかのものが牛車でないとしたらセメンタイトでグリル満天星でない
事実5: もしもあるものは牛車でないとすれば「それはグリル満天星であるかそれはセメンタイトであるかまたは両方ともだ」ということは嘘だ
事実6: この運転資金はグリル満天星だ
事実7: このビンゴはセメンタイトであるかあるいは硬度であるかまたは両方だ
事実8: 「「配当出来るししかも成し難い」ということは間違っている」物はある
事実9: この運転資金は壊せるかまたはセメンタイトであるかあるいは両方だ
事実10: この運転資金は祟り石である
事実11: その新学期は旧稿であるかもしくはそれは切り離し難いかもしくはどちらもだ
事実12: セメンタイトはグリル満天星でないとしたら「それはどうしても欲しい」ということは真実である

仮説: 「この運転資金はグリル満天星であるかあるいはそれはセメンタイトであるかどちらもだ」ということは本当だということはない
1. 事実6から、仮説が否定される

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