「このペープサートは奥まるということはないけど亜分類する」ということは誤っている
fact1: すべては奥まらないしそれは亜分類する
$facts$ = fact1: すべては奥まらないしそれは亜分類する ; $hypothesis$ = 「このペープサートは奥まるということはないけど亜分類する」ということは誤っている ; $proof$ = 
事実1: すべては奥まらないしそれは亜分類する

仮説: 「このペープサートは奥まるということはないけど亜分類する」ということは誤っている