この作戦本部は城方でない
fact1: もしその共済事業は天皇であるとしたら「この胸腔鏡視下は天皇でないが知らせ合う」ということは成り立たない fact2: その共済事業は天皇であるしおまけに遼陽会戦である fact3: 「この胸腔鏡視下は天皇でない一方でそれは知らせ合う」ということは成り立たないならこの作戦本部は城方でない
fact2 -> int1: その共済事業は天皇である; int1 & fact1 -> int2: 「この胸腔鏡視下は天皇でないがしかし知らせ合う」ということは成り立たない; int2 & fact3 -> hypothesis;
fact2 -> int1: {A}{a}; int1 & fact1 -> int2: ¬(¬{A}{b} & {C}{b}); int2 & fact3 -> hypothesis;
$facts$ = fact1: もしその共済事業は天皇であるとしたら「この胸腔鏡視下は天皇でないが知らせ合う」ということは成り立たない fact2: その共済事業は天皇であるしおまけに遼陽会戦である fact3: 「この胸腔鏡視下は天皇でない一方でそれは知らせ合う」ということは成り立たないならこの作戦本部は城方でない ; $hypothesis$ = この作戦本部は城方でない ; $proof$ = 
fact2 -> int1: その共済事業は天皇である; int1 & fact1 -> int2: 「この胸腔鏡視下は天皇でないがしかし知らせ合う」ということは成り立たない; int2 & fact3 -> hypothesis; __PROVED__
事実1: もしその共済事業は天皇であるとしたら「この胸腔鏡視下は天皇でないが知らせ合う」ということは成り立たない
事実2: その共済事業は天皇であるしおまけに遼陽会戦である
事実3: 「この胸腔鏡視下は天皇でない一方でそれは知らせ合う」ということは成り立たないならこの作戦本部は城方でない

仮説: この作戦本部は城方でない
1. 事実2から、推論1: "その共済事業は天皇である"が導かれる
2. 推論1と事実1から、推論2: "「この胸腔鏡視下は天皇でないがしかし知らせ合う」ということは成り立たない"が導かれる
3. 推論2と事実3から、仮説が導かれる

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