この肺循環は角膜移植である
fact1: もしも「「形容し難いけれど追い上げない」ということは成り立たない」物があるならこの肺循環は角膜移植でない fact2: 「「形容し難いけど追い上げない」ということは成り立たない」ものはある
$facts$ = fact1: もしも「「形容し難いけれど追い上げない」ということは成り立たない」物があるならこの肺循環は角膜移植でない fact2: 「「形容し難いけど追い上げない」ということは成り立たない」ものはある ; $hypothesis$ = この肺循環は角膜移植である ; $proof$ = 
事実1: もしも「「形容し難いけれど追い上げない」ということは成り立たない」物があるならこの肺循環は角膜移植でない
事実2: 「「形容し難いけど追い上げない」ということは成り立たない」ものはある

仮説: この肺循環は角膜移植である