「「来るが懐かしない」ということは間違いである」ものはある
fact1: もし「「救護する」ということは成り立つ」ものはあるとすれば「あの自然林は来るけれど懐かしということはない」ということは事実と異なる fact2: もしも「あの自然林は懐かし一方で子産であるということはない」ということは嘘であるなら懐かしない fact3: 「その枸櫞は救護する」ということは真実である
fact3 -> int1: 「救護する」物はある; int1 & fact1 -> int2: 「あの自然林は来る一方で懐かしない」ということは偽である; int2 -> hypothesis;
「その宮方はＩＶＣＴであるが来ない」ということは成り立つということはない
$facts$ = fact1: もし「「救護する」ということは成り立つ」ものはあるとすれば「あの自然林は来るけれど懐かしということはない」ということは事実と異なる fact2: もしも「あの自然林は懐かし一方で子産であるということはない」ということは嘘であるなら懐かしない fact3: 「その枸櫞は救護する」ということは真実である ; $hypothesis$ = 「「来るが懐かしない」ということは間違いである」ものはある ; $proof$ = 
fact3 -> int1: 「救護する」物はある; int1 & fact1 -> int2: 「あの自然林は来る一方で懐かしない」ということは偽である; int2 -> hypothesis; __PROVED__
事実1: もし「「救護する」ということは成り立つ」ものはあるとすれば「あの自然林は来るけれど懐かしということはない」ということは事実と異なる
事実2: もしも「あの自然林は懐かし一方で子産であるということはない」ということは嘘であるなら懐かしない
事実3: 「その枸櫞は救護する」ということは真実である

仮説: 「「来るが懐かしない」ということは間違いである」ものはある
1. 事実3から、推論1: "「救護する」物はある"が導かれる
2. 推論1と事実1から、推論2: "「あの自然林は来る一方で懐かしない」ということは偽である"が導かれる
3. 推論2から、仮説が導かれる

よって、仮説が証明されました。