あるものは会告であるということはないしかつ決め難くない
fact1: 「この節税分は人種偏見であるかまたはそれは熱苦しいかもしくは両方ともである」ということは偽だ fact2: 「進めなくてしかも火星人な」物はある fact3: もし「「人種偏見であるかあるいは熱苦しいかもしくは両方だ」ということは事実と異なる」ものがあるとするとあの夜道は会告でない fact4: もし仮に「あの夜道は会告だということはない」ということは確かならばあの役割制限は会告でないし加えて決め難くない fact5: もし仮にあの夜道が決め難くないとしたらその役割制限は決め難くないしそれは会告でない
fact1 -> int1: 「「人種偏見であるかまたは熱苦しいかもしくは両方だ」ということは事実でない」ものはある; int1 & fact3 -> int2: あの夜道は会告でない; int2 & fact4 -> int3: その役割制限は会告であるということはないしまた決め難くない; int3 -> hypothesis;
$facts$ = fact1: 「この節税分は人種偏見であるかまたはそれは熱苦しいかもしくは両方ともである」ということは偽だ fact2: 「進めなくてしかも火星人な」物はある fact3: もし「「人種偏見であるかあるいは熱苦しいかもしくは両方だ」ということは事実と異なる」ものがあるとするとあの夜道は会告でない fact4: もし仮に「あの夜道は会告だということはない」ということは確かならばあの役割制限は会告でないし加えて決め難くない fact5: もし仮にあの夜道が決め難くないとしたらその役割制限は決め難くないしそれは会告でない ; $hypothesis$ = あるものは会告であるということはないしかつ決め難くない ; $proof$ = 
fact1 -> int1: 「「人種偏見であるかまたは熱苦しいかもしくは両方だ」ということは事実でない」ものはある; int1 & fact3 -> int2: あの夜道は会告でない; int2 & fact4 -> int3: その役割制限は会告であるということはないしまた決め難くない; int3 -> hypothesis; __PROVED__
事実1: 「この節税分は人種偏見であるかまたはそれは熱苦しいかもしくは両方ともである」ということは偽だ
事実2: 「進めなくてしかも火星人な」物はある
事実3: もし「「人種偏見であるかあるいは熱苦しいかもしくは両方だ」ということは事実と異なる」ものがあるとするとあの夜道は会告でない
事実4: もし仮に「あの夜道は会告だということはない」ということは確かならばあの役割制限は会告でないし加えて決め難くない
事実5: もし仮にあの夜道が決め難くないとしたらその役割制限は決め難くないしそれは会告でない

仮説: あるものは会告であるということはないしかつ決め難くない
1. 事実1から、推論1: "「「人種偏見であるかまたは熱苦しいかもしくは両方だ」ということは事実でない」ものはある"が導かれる
2. 推論1と事実3から、推論2: "あの夜道は会告でない"が導かれる
3. 推論2と事実4から、推論3: "その役割制限は会告であるということはないしまた決め難くない"が導かれる
4. 推論3から、仮説が導かれる

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