その資産売却は該ポリヌクレオチドである
fact1: もし「このＤＡニューロンは出し易いということはないかもしくは当たり散らすかどちらもである」ということは間違いであるとすればその資産売却は該ポリヌクレオチドでない fact2: このＤＡニューロンは当たり散らす fact3: 「このＤＡニューロンは出し易いということはないか当たり散らさないか両方である」ということは誤りだ fact4: もしもこのＤＡニューロンが呼び込まないならばその資産売却は小暗いししかもそれは該ポリヌクレオチドだ fact5: 仮に「このＤＡニューロンは出し易くないかもしくは当たり散らさないか両方ともである」ということは間違いだとしたらその資産売却は該ポリヌクレオチドでない fact6: 図り難いということはない物は呼び込まない
fact5 & fact3 -> hypothesis;
「その資産売却は該ポリヌクレオチドだ」ということは成り立つ
fact7 -> int1: 仮にこのＤＡニューロンが図り難くないならば呼び込むということはない;
$facts$ = fact1: もし「このＤＡニューロンは出し易いということはないかもしくは当たり散らすかどちらもである」ということは間違いであるとすればその資産売却は該ポリヌクレオチドでない fact2: このＤＡニューロンは当たり散らす fact3: 「このＤＡニューロンは出し易いということはないか当たり散らさないか両方である」ということは誤りだ fact4: もしもこのＤＡニューロンが呼び込まないならばその資産売却は小暗いししかもそれは該ポリヌクレオチドだ fact5: 仮に「このＤＡニューロンは出し易くないかもしくは当たり散らさないか両方ともである」ということは間違いだとしたらその資産売却は該ポリヌクレオチドでない fact6: 図り難いということはない物は呼び込まない ; $hypothesis$ = その資産売却は該ポリヌクレオチドである ; $proof$ = 
fact5 & fact3 -> hypothesis; __DISPROVED__
事実1: もし「このＤＡニューロンは出し易いということはないかもしくは当たり散らすかどちらもである」ということは間違いであるとすればその資産売却は該ポリヌクレオチドでない
事実2: このＤＡニューロンは当たり散らす
事実3: 「このＤＡニューロンは出し易いということはないか当たり散らさないか両方である」ということは誤りだ
事実4: もしもこのＤＡニューロンが呼び込まないならばその資産売却は小暗いししかもそれは該ポリヌクレオチドだ
事実5: 仮に「このＤＡニューロンは出し易くないかもしくは当たり散らさないか両方ともである」ということは間違いだとしたらその資産売却は該ポリヌクレオチドでない
事実6: 図り難いということはない物は呼び込まない

仮説: その資産売却は該ポリヌクレオチドである
1. 事実5と事実3から、仮説が否定される

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