その豪族は好感であるけれど京都九Ｒでない
fact1: あのふらんす物語はＤＮＡ考古学だ fact2: 仮に何らかのものがＤＮＡ考古学でないかもしくはそれは録音するかあるいは両方ともであるならＤＮＡ考古学でない fact3: 「その豪族は好感でまた京都九Ｒだ」ということは成り立たない fact4: 「あのふらんす物語はＤＮＡ考古学だがしかし京都九Ｒでない」ということは成り立たない fact5: そのシニアパートナーは喉頭でない一方でそれは馴染み難い fact6: もしも何かはＤＮＡ考古学であるとすれば「その豪族が好感だしその上それは京都九Ｒだ」ということは成り立たない fact7: もし仮に「ＤＮＡ考古学な」ものはあれば「その豪族は好感である一方で京都九Ｒであるということはない」ということは間違いである fact8: もし仮にあの堅牢がＤＮＡ考古学でないとすればあの豪族は好感だけれど京都九Ｒであるということはない fact9: そのシニアパートナーが喉頭でないとすればその単独運転はＤＮＡ考古学でないかまたは悔しいということはないかもしくは両方ともだ fact10: 「京都九Ｒな」物はある
fact1 -> int1: 「ＤＮＡ考古学な」ものはある; int1 & fact7 -> hypothesis;
fact1 -> int1: (Ex): {A}x; int1 & fact7 -> hypothesis;
その豪族は好感だけれどそれは京都九Ｒでない
fact13 -> int2: あの堅牢がＤＮＡ考古学でないかもしくは録音するとしたらＤＮＡ考古学でない; fact11 -> int3: そのシニアパートナーは喉頭でない; fact14 & int3 -> int4: その単独運転はＤＮＡ考古学でないかあるいは悔しくないかあるいは両方だ; int4 -> int5: 何らかのものはＤＮＡ考古学でないかそれは悔しくない;
$facts$ = fact1: あのふらんす物語はＤＮＡ考古学だ fact2: 仮に何らかのものがＤＮＡ考古学でないかもしくはそれは録音するかあるいは両方ともであるならＤＮＡ考古学でない fact3: 「その豪族は好感でまた京都九Ｒだ」ということは成り立たない fact4: 「あのふらんす物語はＤＮＡ考古学だがしかし京都九Ｒでない」ということは成り立たない fact5: そのシニアパートナーは喉頭でない一方でそれは馴染み難い fact6: もしも何かはＤＮＡ考古学であるとすれば「その豪族が好感だしその上それは京都九Ｒだ」ということは成り立たない fact7: もし仮に「ＤＮＡ考古学な」ものはあれば「その豪族は好感である一方で京都九Ｒであるということはない」ということは間違いである fact8: もし仮にあの堅牢がＤＮＡ考古学でないとすればあの豪族は好感だけれど京都九Ｒであるということはない fact9: そのシニアパートナーが喉頭でないとすればその単独運転はＤＮＡ考古学でないかまたは悔しいということはないかもしくは両方ともだ fact10: 「京都九Ｒな」物はある ; $hypothesis$ = その豪族は好感であるけれど京都九Ｒでない ; $proof$ = 
fact1 -> int1: 「ＤＮＡ考古学な」ものはある; int1 & fact7 -> hypothesis; __DISPROVED__
事実1: あのふらんす物語はＤＮＡ考古学だ
事実2: 仮に何らかのものがＤＮＡ考古学でないかもしくはそれは録音するかあるいは両方ともであるならＤＮＡ考古学でない
事実3: 「その豪族は好感でまた京都九Ｒだ」ということは成り立たない
事実4: 「あのふらんす物語はＤＮＡ考古学だがしかし京都九Ｒでない」ということは成り立たない
事実5: そのシニアパートナーは喉頭でない一方でそれは馴染み難い
事実6: もしも何かはＤＮＡ考古学であるとすれば「その豪族が好感だしその上それは京都九Ｒだ」ということは成り立たない
事実7: もし仮に「ＤＮＡ考古学な」ものはあれば「その豪族は好感である一方で京都九Ｒであるということはない」ということは間違いである
事実8: もし仮にあの堅牢がＤＮＡ考古学でないとすればあの豪族は好感だけれど京都九Ｒであるということはない
事実9: そのシニアパートナーが喉頭でないとすればその単独運転はＤＮＡ考古学でないかまたは悔しいということはないかもしくは両方ともだ
事実10: 「京都九Ｒな」物はある

仮説: その豪族は好感であるけれど京都九Ｒでない
1. 事実1から、推論1: "「ＤＮＡ考古学な」ものはある"が導かれる
2. 推論1と事実7から、仮説が否定される

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