この二段階は心車である
fact1: もしもその正常域が心車であるが施行しないならこの二段階は心車でない fact2: あの洋はインタビューする fact3: この二段階はインタビューする fact4: この二段階がインタビューするならそれは心車である
fact4 & fact3 -> hypothesis;
fact4 & fact3 -> hypothesis;
この二段階は心車でない
$facts$ = fact1: もしもその正常域が心車であるが施行しないならこの二段階は心車でない fact2: あの洋はインタビューする fact3: この二段階はインタビューする fact4: この二段階がインタビューするならそれは心車である ; $hypothesis$ = この二段階は心車である ; $proof$ = 
fact4 & fact3 -> hypothesis; __PROVED__
事実1: もしもその正常域が心車であるが施行しないならこの二段階は心車でない
事実2: あの洋はインタビューする
事実3: この二段階はインタビューする
事実4: この二段階がインタビューするならそれは心車である

仮説: この二段階は心車である
1. 事実4と事実3から、仮説が導かれる

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