「「もし「原因菌である」ということは確かだとすると良くてＲＳＡでない」ものはある」ということは成り立たない
fact1: 仮にあのモデルガンは貿易商であるとすれば理論生計費であるししかも良い fact2: もし仮にあの清廉さが原因菌ならばそれは過密だ fact3: もしあのモデルガンが原因菌だとするとそれはＲＳＡでない fact4: 「もしも原因菌であるならばＲＳＡでない」ものはある fact5: 薬臭い物はこっ酷いけれどシーケンシャル処理でない fact6: 「もし仮に継続し難いとしたら処遇しない」物はある fact7: あのモデルガンが原因菌ならばそれは良いがしかしＲＳＡでない fact8: 「もしサービス業であるならば掘れる」ものはある
fact7 -> hypothesis;
「もしも薬臭いならこっ酷くてシーケンシャル処理でない」ものはある
fact9 -> int1: もしあの春季オープン・カレッジが薬臭いならそれはこっ酷いがしかしシーケンシャル処理だということはない; int1 -> hypothesis;
$facts$ = fact1: 仮にあのモデルガンは貿易商であるとすれば理論生計費であるししかも良い fact2: もし仮にあの清廉さが原因菌ならばそれは過密だ fact3: もしあのモデルガンが原因菌だとするとそれはＲＳＡでない fact4: 「もしも原因菌であるならばＲＳＡでない」ものはある fact5: 薬臭い物はこっ酷いけれどシーケンシャル処理でない fact6: 「もし仮に継続し難いとしたら処遇しない」物はある fact7: あのモデルガンが原因菌ならばそれは良いがしかしＲＳＡでない fact8: 「もしサービス業であるならば掘れる」ものはある ; $hypothesis$ = 「「もし「原因菌である」ということは確かだとすると良くてＲＳＡでない」ものはある」ということは成り立たない ; $proof$ = 
fact7 -> hypothesis; __DISPROVED__
事実1: 仮にあのモデルガンは貿易商であるとすれば理論生計費であるししかも良い
事実2: もし仮にあの清廉さが原因菌ならばそれは過密だ
事実3: もしあのモデルガンが原因菌だとするとそれはＲＳＡでない
事実4: 「もしも原因菌であるならばＲＳＡでない」ものはある
事実5: 薬臭い物はこっ酷いけれどシーケンシャル処理でない
事実6: 「もし仮に継続し難いとしたら処遇しない」物はある
事実7: あのモデルガンが原因菌ならばそれは良いがしかしＲＳＡでない
事実8: 「もしサービス業であるならば掘れる」ものはある

仮説: 「「もし「原因菌である」ということは確かだとすると良くてＲＳＡでない」ものはある」ということは成り立たない
1. 事実7から、仮説が否定される

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