「「もしも「使用し難くて懲らしめである」ということは成り立たないとすると「使用し易くない」ということは成り立つ」物はある」ということは成り立たない
fact1: もし「その訪問サービスは使用し難いししかも懲らしめだ」ということは本当でないとすると「それは使用し易くない」ということは真実である
$facts$ = fact1: もし「その訪問サービスは使用し難いししかも懲らしめだ」ということは本当でないとすると「それは使用し易くない」ということは真実である ; $hypothesis$ = 「「もしも「使用し難くて懲らしめである」ということは成り立たないとすると「使用し易くない」ということは成り立つ」物はある」ということは成り立たない ; $proof$ = 
事実1: もし「その訪問サービスは使用し難いししかも懲らしめだ」ということは本当でないとすると「それは使用し易くない」ということは真実である

仮説: 「「もしも「使用し難くて懲らしめである」ということは成り立たないとすると「使用し易くない」ということは成り立つ」物はある」ということは成り立たない