その現代史は緩解しない
fact1: あるものは官憲でないし加えて立て易くない fact2: もしも「官憲でないしかつ立て易くない」物があるとするとそのペロッは緊急避難である fact3: 仮にそのペロッが緊急避難ならばその撤去問題は将軍霊廟であるけれどそれは柏でない fact4: 「将軍霊廟だがしかし柏でない」ものがあるとするとその現代史は緩解しない
fact1 & fact2 -> int1: そのペロッは緊急避難である; int1 & fact3 -> int2: その撤去問題は将軍霊廟であるけれど柏であるということはない; int2 -> int3: なんらかのものは将軍霊廟であり柏でない; int3 & fact4 -> hypothesis;
$facts$ = fact1: あるものは官憲でないし加えて立て易くない fact2: もしも「官憲でないしかつ立て易くない」物があるとするとそのペロッは緊急避難である fact3: 仮にそのペロッが緊急避難ならばその撤去問題は将軍霊廟であるけれどそれは柏でない fact4: 「将軍霊廟だがしかし柏でない」ものがあるとするとその現代史は緩解しない ; $hypothesis$ = その現代史は緩解しない ; $proof$ = 
fact1 & fact2 -> int1: そのペロッは緊急避難である; int1 & fact3 -> int2: その撤去問題は将軍霊廟であるけれど柏であるということはない; int2 -> int3: なんらかのものは将軍霊廟であり柏でない; int3 & fact4 -> hypothesis; __PROVED__
事実1: あるものは官憲でないし加えて立て易くない
事実2: もしも「官憲でないしかつ立て易くない」物があるとするとそのペロッは緊急避難である
事実3: 仮にそのペロッが緊急避難ならばその撤去問題は将軍霊廟であるけれどそれは柏でない
事実4: 「将軍霊廟だがしかし柏でない」ものがあるとするとその現代史は緩解しない

仮説: その現代史は緩解しない
1. 事実1と事実2から、推論1: "そのペロッは緊急避難である"が導かれる
2. 推論1と事実3から、推論2: "その撤去問題は将軍霊廟であるけれど柏であるということはない"が導かれる
3. 推論2から、推論3: "なんらかのものは将軍霊廟であり柏でない"が導かれる
4. 推論3と事実4から、仮説が導かれる

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