「もしも「笑い出すけど障害者施策でない」ということは本当でないとすると「取り出し易い」ということは偽でない」ものはある
fact1: もし「あのアロケーションサイズは笑い出すけど障害者施策でない」ということは間違いならそれは取り出し易い
$facts$ = fact1: もし「あのアロケーションサイズは笑い出すけど障害者施策でない」ということは間違いならそれは取り出し易い ; $hypothesis$ = 「もしも「笑い出すけど障害者施策でない」ということは本当でないとすると「取り出し易い」ということは偽でない」ものはある ; $proof$ = 
事実1: もし「あのアロケーションサイズは笑い出すけど障害者施策でない」ということは間違いならそれは取り出し易い

仮説: 「もしも「笑い出すけど障害者施策でない」ということは本当でないとすると「取り出し易い」ということは偽でない」ものはある