「仮に「海星である」ということは成り立つなら「泥棒でなくて加えて一種である」ということは事実と異なる」ものはある
fact1: あの課税所得額は海星だとすると「それは泥棒でないけど一種だ」ということは間違いである
$facts$ = fact1: あの課税所得額は海星だとすると「それは泥棒でないけど一種だ」ということは間違いである ; $hypothesis$ = 「仮に「海星である」ということは成り立つなら「泥棒でなくて加えて一種である」ということは事実と異なる」ものはある ; $proof$ = 
事実1: あの課税所得額は海星だとすると「それは泥棒でないけど一種だ」ということは間違いである

仮説: 「仮に「海星である」ということは成り立つなら「泥棒でなくて加えて一種である」ということは事実と異なる」ものはある