あのスプレータイプは欲深くない
fact1: あのスプレータイプはシュールレアリスムだ fact2: あのスプレータイプがシュールレアリスムならばそれは欲深い
$facts$ = fact1: あのスプレータイプはシュールレアリスムだ fact2: あのスプレータイプがシュールレアリスムならばそれは欲深い ; $hypothesis$ = あのスプレータイプは欲深くない ; $proof$ = 
事実1: あのスプレータイプはシュールレアリスムだ
事実2: あのスプレータイプがシュールレアリスムならばそれは欲深い

仮説: あのスプレータイプは欲深くない