「その神殿跡は流転するかもしくは配備するかあるいはどちらもだ」ということは事実と異なる
fact1: もし「何かは大差無くないし御寒くない」ということは本当であるとするとそれは配備する fact2: もしもこの第三世代は御寒くないならば「その神殿跡は流転するかもしくはそれは配備するかもしくは両方ともである」ということは正しくない fact3: この第三世代は御寒くない fact4: 「その神殿跡は配備しない」ということは事実である fact5: 仮にこの第三世代が御寒くないとしたらその神殿跡は配備しない
fact2 & fact3 -> hypothesis;
fact2 & fact3 -> hypothesis;
その神殿跡は流転するかあるいはそれは配備するか両方である
fact6 -> int1: 仮にその神殿跡が大差無くなくてしかも御寒くないとするとそれは配備する;
$facts$ = fact1: もし「何かは大差無くないし御寒くない」ということは本当であるとするとそれは配備する fact2: もしもこの第三世代は御寒くないならば「その神殿跡は流転するかもしくはそれは配備するかもしくは両方ともである」ということは正しくない fact3: この第三世代は御寒くない fact4: 「その神殿跡は配備しない」ということは事実である fact5: 仮にこの第三世代が御寒くないとしたらその神殿跡は配備しない ; $hypothesis$ = 「その神殿跡は流転するかもしくは配備するかあるいはどちらもだ」ということは事実と異なる ; $proof$ = 
fact2 & fact3 -> hypothesis; __PROVED__
事実1: もし「何かは大差無くないし御寒くない」ということは本当であるとするとそれは配備する
事実2: もしもこの第三世代は御寒くないならば「その神殿跡は流転するかもしくはそれは配備するかもしくは両方ともである」ということは正しくない
事実3: この第三世代は御寒くない
事実4: 「その神殿跡は配備しない」ということは事実である
事実5: 仮にこの第三世代が御寒くないとしたらその神殿跡は配備しない

仮説: 「その神殿跡は流転するかもしくは配備するかあるいはどちらもだ」ということは事実と異なる
1. 事実2と事実3から、仮説が導かれる

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