あのシクロスポリンＡはアセトン臭であるしそれは乾燥出来る
fact1: あのシクロスポリンＡは乾燥出来る fact2: その刃渡りはアセトン臭だ fact3: このリンパ節腫脹は乾燥出来る fact4: あのシクロスポリンＡはアセトン臭である
fact4 & fact1 -> hypothesis;
fact4 & fact1 -> hypothesis;
$facts$ = fact1: あのシクロスポリンＡは乾燥出来る fact2: その刃渡りはアセトン臭だ fact3: このリンパ節腫脹は乾燥出来る fact4: あのシクロスポリンＡはアセトン臭である ; $hypothesis$ = あのシクロスポリンＡはアセトン臭であるしそれは乾燥出来る ; $proof$ = 
fact4 & fact1 -> hypothesis; __PROVED__
事実1: あのシクロスポリンＡは乾燥出来る
事実2: その刃渡りはアセトン臭だ
事実3: このリンパ節腫脹は乾燥出来る
事実4: あのシクロスポリンＡはアセトン臭である

仮説: あのシクロスポリンＡはアセトン臭であるしそれは乾燥出来る
1. 事実4と事実1から、仮説が導かれる

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