「このフル回転は温かくなくてしかも四年契約であるということはない」ということは偽である
fact1: この主観的モデルは化けない fact2: もし仮にこの主観的モデルは化けないなら「このフル回転は温かくないしおまけに四年契約でない」ということは偽である
$facts$ = fact1: この主観的モデルは化けない fact2: もし仮にこの主観的モデルは化けないなら「このフル回転は温かくないしおまけに四年契約でない」ということは偽である ; $hypothesis$ = 「このフル回転は温かくなくてしかも四年契約であるということはない」ということは偽である ; $proof$ = 
事実1: この主観的モデルは化けない
事実2: もし仮にこの主観的モデルは化けないなら「このフル回転は温かくないしおまけに四年契約でない」ということは偽である

仮説: 「このフル回転は温かくなくてしかも四年契約であるということはない」ということは偽である