「仮に「活動写真であるがしかし呼び出し元でない」ということは事実と異なるとすれば由々しない」物はある
fact1: もし仮に「あのバイナリ処理は活動写真だが呼び出し元だということはない」ということは成り立たないならば由々しない
$facts$ = fact1: もし仮に「あのバイナリ処理は活動写真だが呼び出し元だということはない」ということは成り立たないならば由々しない ; $hypothesis$ = 「仮に「活動写真であるがしかし呼び出し元でない」ということは事実と異なるとすれば由々しない」物はある ; $proof$ = 
事実1: もし仮に「あのバイナリ処理は活動写真だが呼び出し元だということはない」ということは成り立たないならば由々しない

仮説: 「仮に「活動写真であるがしかし呼び出し元でない」ということは事実と異なるとすれば由々しない」物はある