このフォルダーは通話出来る
fact1: 仮に「冬山で更にトラストでない」物はあるなら「このフォルダーは通話出来る」ということは誤っている fact2: とある物は冬山であるがしかしそれはトラストでない
$facts$ = fact1: 仮に「冬山で更にトラストでない」物はあるなら「このフォルダーは通話出来る」ということは誤っている fact2: とある物は冬山であるがしかしそれはトラストでない ; $hypothesis$ = このフォルダーは通話出来る ; $proof$ = 
事実1: 仮に「冬山で更にトラストでない」物はあるなら「このフォルダーは通話出来る」ということは誤っている
事実2: とある物は冬山であるがしかしそれはトラストでない

仮説: このフォルダーは通話出来る