その建物内はむず痒いが肩入れするということはない
fact1: 仮に「実施例でない」ものはあるとすると「その建物内はむず痒いがしかし肩入れするということはない」ということは成り立たない fact2: 「実施例でない」ものはある
$facts$ = fact1: 仮に「実施例でない」ものはあるとすると「その建物内はむず痒いがしかし肩入れするということはない」ということは成り立たない fact2: 「実施例でない」ものはある ; $hypothesis$ = その建物内はむず痒いが肩入れするということはない ; $proof$ = 
事実1: 仮に「実施例でない」ものはあるとすると「その建物内はむず痒いがしかし肩入れするということはない」ということは成り立たない
事実2: 「実施例でない」ものはある

仮説: その建物内はむず痒いが肩入れするということはない