そのプログラム画面は体重計だということはない
fact1: そのプログラム画面は体重計だということはないがそれは酸い
$facts$ = fact1: そのプログラム画面は体重計だということはないがそれは酸い ; $hypothesis$ = そのプログラム画面は体重計だということはない ; $proof$ = 
事実1: そのプログラム画面は体重計だということはないがそれは酸い

仮説: そのプログラム画面は体重計だということはない