その洗い桶は男っぽくない
fact1: このバルパライソが乱入しないとするとあのテロ戦争は地域資本である fact2: このバルパライソは乱入しない fact3: 仮にあのテロ戦争が地域資本でないし乱入しないとするとこのバルパライソは乱入する fact4: このバルパライソが乱入するとしたらその洗い桶は男っぽい fact5: その努力無しは乱入しない fact6: 仮にあのテロ戦争が地域資本であるとすればその洗い桶は男っぽくない
fact1 & fact2 -> int1: あのテロ戦争は地域資本だ; int1 & fact6 -> hypothesis;
その洗い桶は男っぽい
$facts$ = fact1: このバルパライソが乱入しないとするとあのテロ戦争は地域資本である fact2: このバルパライソは乱入しない fact3: 仮にあのテロ戦争が地域資本でないし乱入しないとするとこのバルパライソは乱入する fact4: このバルパライソが乱入するとしたらその洗い桶は男っぽい fact5: その努力無しは乱入しない fact6: 仮にあのテロ戦争が地域資本であるとすればその洗い桶は男っぽくない ; $hypothesis$ = その洗い桶は男っぽくない ; $proof$ = 
fact1 & fact2 -> int1: あのテロ戦争は地域資本だ; int1 & fact6 -> hypothesis; __PROVED__
事実1: このバルパライソが乱入しないとするとあのテロ戦争は地域資本である
事実2: このバルパライソは乱入しない
事実3: 仮にあのテロ戦争が地域資本でないし乱入しないとするとこのバルパライソは乱入する
事実4: このバルパライソが乱入するとしたらその洗い桶は男っぽい
事実5: その努力無しは乱入しない
事実6: 仮にあのテロ戦争が地域資本であるとすればその洗い桶は男っぽくない

仮説: その洗い桶は男っぽくない
1. 事実1と事実2から、推論1: "あのテロ戦争は地域資本だ"が導かれる
2. 推論1と事実6から、仮説が導かれる

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