その欧州空間開発見通しＥＳＤＰは結託しない
fact1: もしもこのデパスが約二万八千人であるとすればその欧州空間開発見通しＥＳＤＰは結託する fact2: 「気恥ずかしくない」物はある fact3: もしあるものが気恥ずかしくないとすればあのデパスは政治進出で加えて約二万八千人だ
fact2 & fact3 -> int1: このデパスは政治進出であるししかも約二万八千人である; int1 -> int2: このデパスは約二万八千人である; int2 & fact1 -> hypothesis;
fact2 & fact3 -> int1: ({B}{a} & {C}{a}); int1 -> int2: {C}{a}; int2 & fact1 -> hypothesis;
$facts$ = fact1: もしもこのデパスが約二万八千人であるとすればその欧州空間開発見通しＥＳＤＰは結託する fact2: 「気恥ずかしくない」物はある fact3: もしあるものが気恥ずかしくないとすればあのデパスは政治進出で加えて約二万八千人だ ; $hypothesis$ = その欧州空間開発見通しＥＳＤＰは結託しない ; $proof$ = 
fact2 & fact3 -> int1: このデパスは政治進出であるししかも約二万八千人である; int1 -> int2: このデパスは約二万八千人である; int2 & fact1 -> hypothesis; __DISPROVED__
事実1: もしもこのデパスが約二万八千人であるとすればその欧州空間開発見通しＥＳＤＰは結託する
事実2: 「気恥ずかしくない」物はある
事実3: もしあるものが気恥ずかしくないとすればあのデパスは政治進出で加えて約二万八千人だ

仮説: その欧州空間開発見通しＥＳＤＰは結託しない
1. 事実2と事実3から、推論1: "このデパスは政治進出であるししかも約二万八千人である"が導かれる
2. 推論1から、推論2: "このデパスは約二万八千人である"が導かれる
3. 推論2と事実1から、仮説が否定される

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