その旧城下町はメンタリティーである
fact1: あの三号営業が避妊するならばあの報復合戦は違法性判断だ fact2: 「この報復合戦は変容するししかも息み始める」ということは確かである fact3: その空手は避妊する fact4: あの三号営業は避妊する fact5: この報復合戦は避妊する fact6: もしもこの報復合戦が変容するしそれが違法性判断であるならその旧城下町はメンタリティーでない fact7: この報復合戦は息み始める
fact1 & fact4 -> int1: この報復合戦は違法性判断だ; fact2 -> int2: この報復合戦は変容する; int1 & int2 -> int3: この報復合戦は変容するし更に違法性判断である; int3 & fact6 -> hypothesis;
$facts$ = fact1: あの三号営業が避妊するならばあの報復合戦は違法性判断だ fact2: 「この報復合戦は変容するししかも息み始める」ということは確かである fact3: その空手は避妊する fact4: あの三号営業は避妊する fact5: この報復合戦は避妊する fact6: もしもこの報復合戦が変容するしそれが違法性判断であるならその旧城下町はメンタリティーでない fact7: この報復合戦は息み始める ; $hypothesis$ = その旧城下町はメンタリティーである ; $proof$ = 
fact1 & fact4 -> int1: この報復合戦は違法性判断だ; fact2 -> int2: この報復合戦は変容する; int1 & int2 -> int3: この報復合戦は変容するし更に違法性判断である; int3 & fact6 -> hypothesis; __DISPROVED__
事実1: あの三号営業が避妊するならばあの報復合戦は違法性判断だ
事実2: 「この報復合戦は変容するししかも息み始める」ということは確かである
事実3: その空手は避妊する
事実4: あの三号営業は避妊する
事実5: この報復合戦は避妊する
事実6: もしもこの報復合戦が変容するしそれが違法性判断であるならその旧城下町はメンタリティーでない
事実7: この報復合戦は息み始める

仮説: その旧城下町はメンタリティーである
1. 事実1と事実4から、推論1: "この報復合戦は違法性判断だ"が導かれる
2. 事実2から、推論2: "この報復合戦は変容する"が導かれる
3. 推論1と推論2から、推論3: "この報復合戦は変容するし更に違法性判断である"が導かれる
4. 推論3と事実6から、仮説が否定される

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