「このマルガ離宮は市町村優先でなくてスポーツマンらしくない」ということは事実だ
fact1: 両脇はスポーツマンらしくない fact2: このマルガ離宮は両脇だ fact3: 両脇は市町村優先でなくてまたスポーツマンらしくない
fact3 -> int1: もしもこのマルガ離宮が両脇だとすると市町村優先でないしまたスポーツマンらしいということはない; int1 & fact2 -> hypothesis;
fact3 -> int1: {A}{aa} -> (¬{AA}{aa} & ¬{AB}{aa}); int1 & fact2 -> hypothesis;
$facts$ = fact1: 両脇はスポーツマンらしくない fact2: このマルガ離宮は両脇だ fact3: 両脇は市町村優先でなくてまたスポーツマンらしくない ; $hypothesis$ = 「このマルガ離宮は市町村優先でなくてスポーツマンらしくない」ということは事実だ ; $proof$ = 
fact3 -> int1: もしもこのマルガ離宮が両脇だとすると市町村優先でないしまたスポーツマンらしいということはない; int1 & fact2 -> hypothesis; __PROVED__
事実1: 両脇はスポーツマンらしくない
事実2: このマルガ離宮は両脇だ
事実3: 両脇は市町村優先でなくてまたスポーツマンらしくない

仮説: 「このマルガ離宮は市町村優先でなくてスポーツマンらしくない」ということは事実だ
1. 事実3から、推論1: "もしもこのマルガ離宮が両脇だとすると市町村優先でないしまたスポーツマンらしいということはない"が導かれる
2. 推論1と事実2から、仮説が導かれる

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