「「もし仮に真似ならば発症し易くないしさらに女バスでない」物はある」ということは誤りである
fact1: 真似は女バスでない fact2: 真似は発症し易いがしかし女バスでない fact3: 仮にあの都市改造事業が真似だとしたらそれは発症し易くてまた女バスであるということはない fact4: もしなにがしかの物は真似であるとしたらそれは発症し易くないし女バスだということはない
fact4 -> int1: 仮にあの都市改造事業が真似ならばそれは発症し易くないしさらに女バスだということはない; int1 -> hypothesis;
$facts$ = fact1: 真似は女バスでない fact2: 真似は発症し易いがしかし女バスでない fact3: 仮にあの都市改造事業が真似だとしたらそれは発症し易くてまた女バスであるということはない fact4: もしなにがしかの物は真似であるとしたらそれは発症し易くないし女バスだということはない ; $hypothesis$ = 「「もし仮に真似ならば発症し易くないしさらに女バスでない」物はある」ということは誤りである ; $proof$ = 
fact4 -> int1: 仮にあの都市改造事業が真似ならばそれは発症し易くないしさらに女バスだということはない; int1 -> hypothesis; __DISPROVED__
事実1: 真似は女バスでない
事実2: 真似は発症し易いがしかし女バスでない
事実3: 仮にあの都市改造事業が真似だとしたらそれは発症し易くてまた女バスであるということはない
事実4: もしなにがしかの物は真似であるとしたらそれは発症し易くないし女バスだということはない

仮説: 「「もし仮に真似ならば発症し易くないしさらに女バスでない」物はある」ということは誤りである
1. 事実4から、推論1: "仮にあの都市改造事業が真似ならばそれは発症し易くないしさらに女バスだということはない"が導かれる
2. 推論1から、仮説が否定される

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