あの詰め碁はみっともない
fact1: 「バストはみっともないかもしくはアメリカ市民でないかあるいはどちらもだ」ということは偽であるということはない fact2: もしもこの最高経営者がみっともないとするとあの詰め碁はみっともない fact3: もしとあるものはワンちゃんでないし加えてオーラル・ヒストリーでないとしたらバストでない fact4: あの詰め碁はアメリカ市民であるけれどみっともなくない fact5: もしこの最高経営者がバストでないとするとあの詰め碁はアメリカ市民でないがみっともない fact6: もしも「順序尺度な」物はあれば「「この最高経営者は掴めるが類しない」ということは真実だ」ということは間違いだ fact7: もし仮にその未来型が直撃でないとしたらあの高速通信は三項目でそれにそれは順序尺度だ fact8: もしもなんらかの物がオーラル・ヒストリーでないならワンちゃんだしさらにバストである fact9: 仮に「「何かは掴める一方で類しない」ということは成り立つ」ということは偽であるならばそれはオーラル・ヒストリーでない fact10: その未来型は直撃でない fact11: もし仮にあの詰め碁がアメリカ市民でないがそれがみっともないならばその卵巣癌リスクはみっともなくない
fact4 -> hypothesis;
fact4 -> hypothesis;
その卵巣癌リスクはみっともなくない
fact13 -> int1: この最高経営者はワンちゃんでなくてその上オーラル・ヒストリーでないならばそれはバストでない;
$facts$ = fact1: 「バストはみっともないかもしくはアメリカ市民でないかあるいはどちらもだ」ということは偽であるということはない fact2: もしもこの最高経営者がみっともないとするとあの詰め碁はみっともない fact3: もしとあるものはワンちゃんでないし加えてオーラル・ヒストリーでないとしたらバストでない fact4: あの詰め碁はアメリカ市民であるけれどみっともなくない fact5: もしこの最高経営者がバストでないとするとあの詰め碁はアメリカ市民でないがみっともない fact6: もしも「順序尺度な」物はあれば「「この最高経営者は掴めるが類しない」ということは真実だ」ということは間違いだ fact7: もし仮にその未来型が直撃でないとしたらあの高速通信は三項目でそれにそれは順序尺度だ fact8: もしもなんらかの物がオーラル・ヒストリーでないならワンちゃんだしさらにバストである fact9: 仮に「「何かは掴める一方で類しない」ということは成り立つ」ということは偽であるならばそれはオーラル・ヒストリーでない fact10: その未来型は直撃でない fact11: もし仮にあの詰め碁がアメリカ市民でないがそれがみっともないならばその卵巣癌リスクはみっともなくない ; $hypothesis$ = あの詰め碁はみっともない ; $proof$ = 
fact4 -> hypothesis; __DISPROVED__
事実1: 「バストはみっともないかもしくはアメリカ市民でないかあるいはどちらもだ」ということは偽であるということはない
事実2: もしもこの最高経営者がみっともないとするとあの詰め碁はみっともない
事実3: もしとあるものはワンちゃんでないし加えてオーラル・ヒストリーでないとしたらバストでない
事実4: あの詰め碁はアメリカ市民であるけれどみっともなくない
事実5: もしこの最高経営者がバストでないとするとあの詰め碁はアメリカ市民でないがみっともない
事実6: もしも「順序尺度な」物はあれば「「この最高経営者は掴めるが類しない」ということは真実だ」ということは間違いだ
事実7: もし仮にその未来型が直撃でないとしたらあの高速通信は三項目でそれにそれは順序尺度だ
事実8: もしもなんらかの物がオーラル・ヒストリーでないならワンちゃんだしさらにバストである
事実9: 仮に「「何かは掴める一方で類しない」ということは成り立つ」ということは偽であるならばそれはオーラル・ヒストリーでない
事実10: その未来型は直撃でない
事実11: もし仮にあの詰め碁がアメリカ市民でないがそれがみっともないならばその卵巣癌リスクはみっともなくない

仮説: あの詰め碁はみっともない
1. 事実4から、仮説が否定される

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