「「もし「潔いが選別機でない」ということは確かだということはないとすれば発現昂進でない」ものはある」ということは成り立つ
fact1: もし「何かは経済犯だが同型でない」ということは偽だとすると「思しくない」ということは成り立つ fact2: もし「あのリビング・ルームは潔いけど選別機でない」ということは嘘であるとすれば発現昂進でない fact3: 仮に「あのリビング・ルームは潔い物であってかつ選別機でない」ということは偽だとしたら発現昂進である
fact2 -> hypothesis;
「もしも「経済犯でその上同型でない」ということは偽なら「思しくない」ということは正しい」物はある
fact4 -> int1: もし仮に「あの抗重力筋は経済犯であるけれど同型でない」ということは間違いだとしたら思しくない; int1 -> hypothesis;
$facts$ = fact1: もし「何かは経済犯だが同型でない」ということは偽だとすると「思しくない」ということは成り立つ fact2: もし「あのリビング・ルームは潔いけど選別機でない」ということは嘘であるとすれば発現昂進でない fact3: 仮に「あのリビング・ルームは潔い物であってかつ選別機でない」ということは偽だとしたら発現昂進である ; $hypothesis$ = 「「もし「潔いが選別機でない」ということは確かだということはないとすれば発現昂進でない」ものはある」ということは成り立つ ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: もし「何かは経済犯だが同型でない」ということは偽だとすると「思しくない」ということは成り立つ
事実2: もし「あのリビング・ルームは潔いけど選別機でない」ということは嘘であるとすれば発現昂進でない
事実3: 仮に「あのリビング・ルームは潔い物であってかつ選別機でない」ということは偽だとしたら発現昂進である

仮説: 「「もし「潔いが選別機でない」ということは確かだということはないとすれば発現昂進でない」ものはある」ということは成り立つ
1. 事実2から、仮説が導かれる

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