この隔壁は叩き潰さない
fact1: もしこの隔壁が遡行するならそれは叩き潰す fact2: この隔壁は遡行する
$facts$ = fact1: もしこの隔壁が遡行するならそれは叩き潰す fact2: この隔壁は遡行する ; $hypothesis$ = この隔壁は叩き潰さない ; $proof$ = 
事実1: もしこの隔壁が遡行するならそれは叩き潰す
事実2: この隔壁は遡行する

仮説: この隔壁は叩き潰さない