その玄関横は返る
fact1: 痛ーくないものは対策するということはない一方で返る fact2: 仮にその玄関横が現実化であるか翻刻するかどちらもならば返らない fact3: もし何かは止まり掛けないとしたら痛ーくない fact4: その玄関横は現実化であるか翻刻するかまたは両方ともだ fact5: もし仮に「その玄関横は実説でないが対策する」ということは成り立たないとすればあの夕靄は実説だ fact6: 仮にその玄関横は現実化であるならそれは返るということはない
fact2 & fact4 -> hypothesis;
fact2 & fact4 -> hypothesis;
あの夕靄は翻刻するかまたは実説であるかまたは両方だ
$facts$ = fact1: 痛ーくないものは対策するということはない一方で返る fact2: 仮にその玄関横が現実化であるか翻刻するかどちらもならば返らない fact3: もし何かは止まり掛けないとしたら痛ーくない fact4: その玄関横は現実化であるか翻刻するかまたは両方ともだ fact5: もし仮に「その玄関横は実説でないが対策する」ということは成り立たないとすればあの夕靄は実説だ fact6: 仮にその玄関横は現実化であるならそれは返るということはない ; $hypothesis$ = その玄関横は返る ; $proof$ = 
fact2 & fact4 -> hypothesis; __DISPROVED__
事実1: 痛ーくないものは対策するということはない一方で返る
事実2: 仮にその玄関横が現実化であるか翻刻するかどちらもならば返らない
事実3: もし何かは止まり掛けないとしたら痛ーくない
事実4: その玄関横は現実化であるか翻刻するかまたは両方ともだ
事実5: もし仮に「その玄関横は実説でないが対策する」ということは成り立たないとすればあの夕靄は実説だ
事実6: 仮にその玄関横は現実化であるならそれは返るということはない

仮説: その玄関横は返る
1. 事実2と事実4から、仮説が否定される

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