仮に「あの神明様は潜脱しなくてまた意気消沈しない」ということは成り立たないとすればそれはロード・スターでない
fact1: もしあの神明様は潜脱しないしかつ意気消沈しないとしたらそれはロード・スターだということはない fact2: もし「あの神明様は潜脱しないがしかし意気消沈する」ということは間違いであるとすればロード・スターでない fact3: もし「なんらかのものは潜脱するということはないしかつ意気消沈しない」ということは成り立たないとすればそれはロード・スターでない fact4: 仮にあの神明様が潜脱するとすればロード・スターでない fact5: もし何かは潜脱するとすればそれはロード・スターでない fact6: もし仮に「「何らかのものは潜脱しなくてまた意気消沈しない」ということは正しい」ということは間違いであるならば「それはロード・スターである」ということは正しい
fact3 -> hypothesis;
fact3 -> hypothesis;
$facts$ = fact1: もしあの神明様は潜脱しないしかつ意気消沈しないとしたらそれはロード・スターだということはない fact2: もし「あの神明様は潜脱しないがしかし意気消沈する」ということは間違いであるとすればロード・スターでない fact3: もし「なんらかのものは潜脱するということはないしかつ意気消沈しない」ということは成り立たないとすればそれはロード・スターでない fact4: 仮にあの神明様が潜脱するとすればロード・スターでない fact5: もし何かは潜脱するとすればそれはロード・スターでない fact6: もし仮に「「何らかのものは潜脱しなくてまた意気消沈しない」ということは正しい」ということは間違いであるならば「それはロード・スターである」ということは正しい ; $hypothesis$ = 仮に「あの神明様は潜脱しなくてまた意気消沈しない」ということは成り立たないとすればそれはロード・スターでない ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: もしあの神明様は潜脱しないしかつ意気消沈しないとしたらそれはロード・スターだということはない
事実2: もし「あの神明様は潜脱しないがしかし意気消沈する」ということは間違いであるとすればロード・スターでない
事実3: もし「なんらかのものは潜脱するということはないしかつ意気消沈しない」ということは成り立たないとすればそれはロード・スターでない
事実4: 仮にあの神明様が潜脱するとすればロード・スターでない
事実5: もし何かは潜脱するとすればそれはロード・スターでない
事実6: もし仮に「「何らかのものは潜脱しなくてまた意気消沈しない」ということは正しい」ということは間違いであるならば「それはロード・スターである」ということは正しい

仮説: 仮に「あの神明様は潜脱しなくてまた意気消沈しない」ということは成り立たないとすればそれはロード・スターでない
1. 事実3から、仮説が導かれる

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