「「仮に移ろい易いかもしくは行政サイドだということはないかもしくは両方であるとしたら重なる」物はある」ということは成り立たない
fact1: もし仮に何かは移ろい易いかもしくはそれは行政サイドでないとしたら重なる
fact1 -> int1: もしあのピザ用チーズは移ろい易いかもしくは行政サイドでないかもしくは両方ともだとすると重なる; int1 -> hypothesis;
$facts$ = fact1: もし仮に何かは移ろい易いかもしくはそれは行政サイドでないとしたら重なる ; $hypothesis$ = 「「仮に移ろい易いかもしくは行政サイドだということはないかもしくは両方であるとしたら重なる」物はある」ということは成り立たない ; $proof$ = 
fact1 -> int1: もしあのピザ用チーズは移ろい易いかもしくは行政サイドでないかもしくは両方ともだとすると重なる; int1 -> hypothesis; __DISPROVED__
事実1: もし仮に何かは移ろい易いかもしくはそれは行政サイドでないとしたら重なる

仮説: 「「仮に移ろい易いかもしくは行政サイドだということはないかもしくは両方であるとしたら重なる」物はある」ということは成り立たない
1. 事実1から、推論1: "もしあのピザ用チーズは移ろい易いかもしくは行政サイドでないかもしくは両方ともだとすると重なる"が導かれる
2. 推論1から、仮説が否定される

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