「もし多様化であるかまたは炒め煮するということはないかまたは両方であるならエプロンであるということはない」物はある
fact1: 「もし多様化ならばエプロンでない」物はある fact2: 仮になにかは割れ易いかあるいは来談しないかあるいは両方ともであるならばそれは噴射しない fact3: その都市警察が多様化であるかまたは炒め煮するか両方だとするとエプロンでない fact4: その都市警察が多様化であるか炒め煮しないかあるいは両方ともであるとするとそれはエプロンでない fact5: もし仮にその都市警察が多様化であるかもしくは炒め煮しないとしたらそれはエプロンである
fact4 -> hypothesis;
もしもこの平行宇宙は割れ易いかもしくは来談しないか両方ともであるとしたら「噴射しない」ということは確かである
fact6 -> hypothesis;
$facts$ = fact1: 「もし多様化ならばエプロンでない」物はある fact2: 仮になにかは割れ易いかあるいは来談しないかあるいは両方ともであるならばそれは噴射しない fact3: その都市警察が多様化であるかまたは炒め煮するか両方だとするとエプロンでない fact4: その都市警察が多様化であるか炒め煮しないかあるいは両方ともであるとするとそれはエプロンでない fact5: もし仮にその都市警察が多様化であるかもしくは炒め煮しないとしたらそれはエプロンである ; $hypothesis$ = 「もし多様化であるかまたは炒め煮するということはないかまたは両方であるならエプロンであるということはない」物はある ; $proof$ = 
fact4 -> hypothesis; __PROVED__
事実1: 「もし多様化ならばエプロンでない」物はある
事実2: 仮になにかは割れ易いかあるいは来談しないかあるいは両方ともであるならばそれは噴射しない
事実3: その都市警察が多様化であるかまたは炒め煮するか両方だとするとエプロンでない
事実4: その都市警察が多様化であるか炒め煮しないかあるいは両方ともであるとするとそれはエプロンでない
事実5: もし仮にその都市警察が多様化であるかもしくは炒め煮しないとしたらそれはエプロンである

仮説: 「もし多様化であるかまたは炒め煮するということはないかまたは両方であるならエプロンであるということはない」物はある
1. 事実4から、仮説が導かれる

よって、仮説が証明されました。