「あの工事代はイスラム圏である一方で愛情深くない」ということは真実でない
fact1: もし仮にあの地球防衛軍テラホークスは栽培茸なら「あの工事代はイスラム圏だけれど愛情深いということはない」ということは誤りである fact2: あの地球防衛軍テラホークスは栽培茸である
$facts$ = fact1: もし仮にあの地球防衛軍テラホークスは栽培茸なら「あの工事代はイスラム圏だけれど愛情深いということはない」ということは誤りである fact2: あの地球防衛軍テラホークスは栽培茸である ; $hypothesis$ = 「あの工事代はイスラム圏である一方で愛情深くない」ということは真実でない ; $proof$ = 
事実1: もし仮にあの地球防衛軍テラホークスは栽培茸なら「あの工事代はイスラム圏だけれど愛情深いということはない」ということは誤りである
事実2: あの地球防衛軍テラホークスは栽培茸である

仮説: 「あの工事代はイスラム圏である一方で愛情深くない」ということは真実でない