「あの防衛設備はしょっぱいしさらに振り替え額だ」ということは成り立たない
fact1: 仮に「「作り難い」ということは本当な」物はあるとしたら「あの防衛設備は被蓋であるし見過ごし難い」ということは本当でない fact2: 「「分有する」物はある」ということは確かだ fact3: もし仮にとある物がスタメンでないなら振り替え額であるしそれはしょっぱい fact4: もし「「分有する」ものはある」ということは成り立つとすると「あの防衛設備はしょっぱいしそれは振り替え額だ」ということは間違いである fact5: 「振り替え額である」物はある fact6: 仮に何かはしょっぱいとすると「分有するということはないしさらに悪しいということはない」ということは成り立たない fact7: もし「なにがしかのものは分有しないしまた悪しくない」ということは嘘であるならば悪しい fact8: あの防衛設備が九室でないとすればしょっぱくておまけにそれは見過ごし難い
fact2 & fact4 -> hypothesis;
fact2 & fact4 -> hypothesis;
あの防衛設備はしょっぱいしおまけにそれは振り替え額だ
$facts$ = fact1: 仮に「「作り難い」ということは本当な」物はあるとしたら「あの防衛設備は被蓋であるし見過ごし難い」ということは本当でない fact2: 「「分有する」物はある」ということは確かだ fact3: もし仮にとある物がスタメンでないなら振り替え額であるしそれはしょっぱい fact4: もし「「分有する」ものはある」ということは成り立つとすると「あの防衛設備はしょっぱいしそれは振り替え額だ」ということは間違いである fact5: 「振り替え額である」物はある fact6: 仮に何かはしょっぱいとすると「分有するということはないしさらに悪しいということはない」ということは成り立たない fact7: もし「なにがしかのものは分有しないしまた悪しくない」ということは嘘であるならば悪しい fact8: あの防衛設備が九室でないとすればしょっぱくておまけにそれは見過ごし難い ; $hypothesis$ = 「あの防衛設備はしょっぱいしさらに振り替え額だ」ということは成り立たない ; $proof$ = 
fact2 & fact4 -> hypothesis; __PROVED__
事実1: 仮に「「作り難い」ということは本当な」物はあるとしたら「あの防衛設備は被蓋であるし見過ごし難い」ということは本当でない
事実2: 「「分有する」物はある」ということは確かだ
事実3: もし仮にとある物がスタメンでないなら振り替え額であるしそれはしょっぱい
事実4: もし「「分有する」ものはある」ということは成り立つとすると「あの防衛設備はしょっぱいしそれは振り替え額だ」ということは間違いである
事実5: 「振り替え額である」物はある
事実6: 仮に何かはしょっぱいとすると「分有するということはないしさらに悪しいということはない」ということは成り立たない
事実7: もし「なにがしかのものは分有しないしまた悪しくない」ということは嘘であるならば悪しい
事実8: あの防衛設備が九室でないとすればしょっぱくておまけにそれは見過ごし難い

仮説: 「あの防衛設備はしょっぱいしさらに振り替え額だ」ということは成り立たない
1. 事実2と事実4から、仮説が導かれる

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