「「そのシングルユーザー用は守り通さないけど転倒・転落する」ということは間違っている」ということは確かだ
fact1: 「乳臭いということはない」物はある fact2: 「乳臭いということはない」ものはあれば「そのシングルユーザー用は守り通さないがしかし転倒・転落する」ということは正しくない
$facts$ = fact1: 「乳臭いということはない」物はある fact2: 「乳臭いということはない」ものはあれば「そのシングルユーザー用は守り通さないがしかし転倒・転落する」ということは正しくない ; $hypothesis$ = 「「そのシングルユーザー用は守り通さないけど転倒・転落する」ということは間違っている」ということは確かだ ; $proof$ = 
事実1: 「乳臭いということはない」物はある
事実2: 「乳臭いということはない」ものはあれば「そのシングルユーザー用は守り通さないがしかし転倒・転落する」ということは正しくない

仮説: 「「そのシングルユーザー用は守り通さないけど転倒・転落する」ということは間違っている」ということは確かだ