あのポータブルトイレは願い奉る
fact1: あのポータブルトイレはキスである fact2: もしあのポータブルトイレはキスであるならそれは願い奉る
$facts$ = fact1: あのポータブルトイレはキスである fact2: もしあのポータブルトイレはキスであるならそれは願い奉る ; $hypothesis$ = あのポータブルトイレは願い奉る ; $proof$ = 
事実1: あのポータブルトイレはキスである
事実2: もしあのポータブルトイレはキスであるならそれは願い奉る

仮説: あのポータブルトイレは願い奉る