仮にその隠蔽は積み出しであるとしたら「それはアデルハイド姫だ」ということは成り立たない
fact1: もしもなんらかの物は積み出しであるとするとそれはアデルハイド姫である fact2: もしもなにかは積み出しならばアデルハイド姫でない fact3: もし「この二同軸・同時照射レーザーは電光表示板だ」ということは成り立つとすればアデルハイド姫でない fact4: もし仮にその隠蔽が積み出しならばそれはアデルハイド姫である fact5: 仮に何かは減損すれば放火小説だ
fact2 -> hypothesis;
fact2 -> hypothesis;
$facts$ = fact1: もしもなんらかの物は積み出しであるとするとそれはアデルハイド姫である fact2: もしもなにかは積み出しならばアデルハイド姫でない fact3: もし「この二同軸・同時照射レーザーは電光表示板だ」ということは成り立つとすればアデルハイド姫でない fact4: もし仮にその隠蔽が積み出しならばそれはアデルハイド姫である fact5: 仮に何かは減損すれば放火小説だ ; $hypothesis$ = 仮にその隠蔽は積み出しであるとしたら「それはアデルハイド姫だ」ということは成り立たない ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: もしもなんらかの物は積み出しであるとするとそれはアデルハイド姫である
事実2: もしもなにかは積み出しならばアデルハイド姫でない
事実3: もし「この二同軸・同時照射レーザーは電光表示板だ」ということは成り立つとすればアデルハイド姫でない
事実4: もし仮にその隠蔽が積み出しならばそれはアデルハイド姫である
事実5: 仮に何かは減損すれば放火小説だ

仮説: 仮にその隠蔽は積み出しであるとしたら「それはアデルハイド姫だ」ということは成り立たない
1. 事実2から、仮説が導かれる

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