「あのクイズは優勝出来るがしかしそれは国運でない」ということは成り立たない
fact1: あのクイズは外科手術だがしかし押さえない fact2: あの変遷史は最小化する fact3: この娯楽は優勝出来ない fact4: 仮にあのクイズが如才無くないとすれば周知徹底する fact5: その難所は最小化する fact6: 仮にあの醸造が開きであるならばあの梅若塚は病後でないか最小化するかあるいはどちらもだ fact7: もしもその公害は優勝出来ないとすると「それはイタリア料理だ」ということは成り立つ fact8: 仮にあの梅若塚は最小化すれば「あのクイズは優勝出来るがしかし国運だということはない」ということは成り立たない fact9: もしあのクイズが最小化しないならばそれは優勝出来るしそれは国運でない fact10: あのクイズは最小化しない fact11: あのクイズは順応し易い一方で進め易いということはない fact12: 仮にあるものは病後でないかまたは最小化するかもしくは両方ともだとするとそれは最小化する fact13: その魔道師は優勝出来ない fact14: あのクイズは野守だが取り返せない
fact9 & fact10 -> hypothesis;
fact9 & fact10 -> hypothesis;
「あのクイズは優勝出来る一方で国運でない」ということは偽である
fact15 -> int1: あの梅若塚が病後でないかまたはそれが最小化するとしたら最小化する;
$facts$ = fact1: あのクイズは外科手術だがしかし押さえない fact2: あの変遷史は最小化する fact3: この娯楽は優勝出来ない fact4: 仮にあのクイズが如才無くないとすれば周知徹底する fact5: その難所は最小化する fact6: 仮にあの醸造が開きであるならばあの梅若塚は病後でないか最小化するかあるいはどちらもだ fact7: もしもその公害は優勝出来ないとすると「それはイタリア料理だ」ということは成り立つ fact8: 仮にあの梅若塚は最小化すれば「あのクイズは優勝出来るがしかし国運だということはない」ということは成り立たない fact9: もしあのクイズが最小化しないならばそれは優勝出来るしそれは国運でない fact10: あのクイズは最小化しない fact11: あのクイズは順応し易い一方で進め易いということはない fact12: 仮にあるものは病後でないかまたは最小化するかもしくは両方ともだとするとそれは最小化する fact13: その魔道師は優勝出来ない fact14: あのクイズは野守だが取り返せない ; $hypothesis$ = 「あのクイズは優勝出来るがしかしそれは国運でない」ということは成り立たない ; $proof$ = 
fact9 & fact10 -> hypothesis; __DISPROVED__
事実1: あのクイズは外科手術だがしかし押さえない
事実2: あの変遷史は最小化する
事実3: この娯楽は優勝出来ない
事実4: 仮にあのクイズが如才無くないとすれば周知徹底する
事実5: その難所は最小化する
事実6: 仮にあの醸造が開きであるならばあの梅若塚は病後でないか最小化するかあるいはどちらもだ
事実7: もしもその公害は優勝出来ないとすると「それはイタリア料理だ」ということは成り立つ
事実8: 仮にあの梅若塚は最小化すれば「あのクイズは優勝出来るがしかし国運だということはない」ということは成り立たない
事実9: もしあのクイズが最小化しないならばそれは優勝出来るしそれは国運でない
事実10: あのクイズは最小化しない
事実11: あのクイズは順応し易い一方で進め易いということはない
事実12: 仮にあるものは病後でないかまたは最小化するかもしくは両方ともだとするとそれは最小化する
事実13: その魔道師は優勝出来ない
事実14: あのクイズは野守だが取り返せない

仮説: 「あのクイズは優勝出来るがしかしそれは国運でない」ということは成り立たない
1. 事実9と事実10から、仮説が否定される

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