「「入力し終わらないし加えて上昇志向でない」ということは成り立たないとしたら本症でない」物はある
fact1: 仮に「そのフレンドは入力し終わらなくてしかもそれは上昇志向でない」ということは間違いだとすれば本症でない
$facts$ = fact1: 仮に「そのフレンドは入力し終わらなくてしかもそれは上昇志向でない」ということは間違いだとすれば本症でない ; $hypothesis$ = 「「入力し終わらないし加えて上昇志向でない」ということは成り立たないとしたら本症でない」物はある ; $proof$ = 
事実1: 仮に「そのフレンドは入力し終わらなくてしかもそれは上昇志向でない」ということは間違いだとすれば本症でない

仮説: 「「入力し終わらないし加えて上昇志向でない」ということは成り立たないとしたら本症でない」物はある