そのセレクタは生温かくてまたレビューする
fact1: そのセレクタはレビューする fact2: あの四十年代半ばはレビューする fact3: そのセレクタは生温かい fact4: もしとある物が如かないとしたらそれは生温かいししかもマエストロである
fact3 & fact1 -> hypothesis;
fact3 & fact1 -> hypothesis;
あの心膜片はレビューする
fact5 -> int1: もしあの心膜片が如かないとするとそれは生温かいしマエストロだ;
$facts$ = fact1: そのセレクタはレビューする fact2: あの四十年代半ばはレビューする fact3: そのセレクタは生温かい fact4: もしとある物が如かないとしたらそれは生温かいししかもマエストロである ; $hypothesis$ = そのセレクタは生温かくてまたレビューする ; $proof$ = 
fact3 & fact1 -> hypothesis; __PROVED__
事実1: そのセレクタはレビューする
事実2: あの四十年代半ばはレビューする
事実3: そのセレクタは生温かい
事実4: もしとある物が如かないとしたらそれは生温かいししかもマエストロである

仮説: そのセレクタは生温かくてまたレビューする
1. 事実3と事実1から、仮説が導かれる

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