「この空間布置は俘軍でないしまた捨て難くない」ということは偽である
fact1: この空間布置は俘軍であるということはないしかつ捨て難くない fact2: もしもあるものが膨らみ立たないとしたら社団自体でなくてまた俘軍でない
fact1 -> hypothesis;
fact1 -> hypothesis;
この空間布置は社団自体でなくてかつ俘軍でない
fact3 -> int1: もしこの空間布置が膨らみ立たないとしたらそれは社団自体でないしそれは俘軍でない;
$facts$ = fact1: この空間布置は俘軍であるということはないしかつ捨て難くない fact2: もしもあるものが膨らみ立たないとしたら社団自体でなくてまた俘軍でない ; $hypothesis$ = 「この空間布置は俘軍でないしまた捨て難くない」ということは偽である ; $proof$ = 
fact1 -> hypothesis; __DISPROVED__
事実1: この空間布置は俘軍であるということはないしかつ捨て難くない
事実2: もしもあるものが膨らみ立たないとしたら社団自体でなくてまた俘軍でない

仮説: 「この空間布置は俘軍でないしまた捨て難くない」ということは偽である
1. 事実1から、仮説が否定される

よって、仮説が否定されました。