その鶫は痒い
fact1: その鶫は差し招かないけど描き易い fact2: 「もしその鶫が差し招くということはない一方で描き易いとするとその鶫は痒くない」ということは成り立つ
$facts$ = fact1: その鶫は差し招かないけど描き易い fact2: 「もしその鶫が差し招くということはない一方で描き易いとするとその鶫は痒くない」ということは成り立つ ; $hypothesis$ = その鶫は痒い ; $proof$ = 
事実1: その鶫は差し招かないけど描き易い
事実2: 「もしその鶫が差し招くということはない一方で描き易いとするとその鶫は痒くない」ということは成り立つ

仮説: その鶫は痒い