「「その大好物はウイットでないしまた技術分野でない」ということは成り立たないとしたらその大好物は馬体だ」ということは事実でない
fact1: もし「「何らかのものはウイットでないしその上技術分野だということはない」ということは正しい」ということは誤りならば馬体だ
$facts$ = fact1: もし「「何らかのものはウイットでないしその上技術分野だということはない」ということは正しい」ということは誤りならば馬体だ ; $hypothesis$ = 「「その大好物はウイットでないしまた技術分野でない」ということは成り立たないとしたらその大好物は馬体だ」ということは事実でない ; $proof$ = 
事実1: もし「「何らかのものはウイットでないしその上技術分野だということはない」ということは正しい」ということは誤りならば馬体だ

仮説: 「「その大好物はウイットでないしまた技術分野でない」ということは成り立たないとしたらその大好物は馬体だ」ということは事実でない