「あの松竹大船はブラッシュアップしない」ということは確かだ
fact1: その精神的柔道は灰色っぽいけれど連署でない fact2: あの松竹大船は知覚神経でないがモンゴル部族だ fact3: あの松竹大船は連署だ fact4: 仮にあの松竹大船が連署だとするとそれは軍紀である fact5: あの松竹大船は張り合わせるということはないが美し fact6: 「仮に軍紀が張り合わせないとすればブラッシュアップする」ということは本当である
fact4 & fact3 -> int1: あの松竹大船は軍紀だ; fact5 -> int2: あの松竹大船は張り合わせない; int1 & int2 -> int3: あの松竹大船は軍紀だ一方で張り合わせるということはない; fact6 -> int4: 仮にあの松竹大船が軍紀だが張り合わせないとすればそれはブラッシュアップする; int3 & int4 -> hypothesis;
$facts$ = fact1: その精神的柔道は灰色っぽいけれど連署でない fact2: あの松竹大船は知覚神経でないがモンゴル部族だ fact3: あの松竹大船は連署だ fact4: 仮にあの松竹大船が連署だとするとそれは軍紀である fact5: あの松竹大船は張り合わせるということはないが美し fact6: 「仮に軍紀が張り合わせないとすればブラッシュアップする」ということは本当である ; $hypothesis$ = 「あの松竹大船はブラッシュアップしない」ということは確かだ ; $proof$ = 
fact4 & fact3 -> int1: あの松竹大船は軍紀だ; fact5 -> int2: あの松竹大船は張り合わせない; int1 & int2 -> int3: あの松竹大船は軍紀だ一方で張り合わせるということはない; fact6 -> int4: 仮にあの松竹大船が軍紀だが張り合わせないとすればそれはブラッシュアップする; int3 & int4 -> hypothesis; __DISPROVED__
事実1: その精神的柔道は灰色っぽいけれど連署でない
事実2: あの松竹大船は知覚神経でないがモンゴル部族だ
事実3: あの松竹大船は連署だ
事実4: 仮にあの松竹大船が連署だとするとそれは軍紀である
事実5: あの松竹大船は張り合わせるということはないが美し
事実6: 「仮に軍紀が張り合わせないとすればブラッシュアップする」ということは本当である

仮説: 「あの松竹大船はブラッシュアップしない」ということは確かだ
1. 事実4と事実3から、推論1: "あの松竹大船は軍紀だ"が導かれる
2. 事実5から、推論2: "あの松竹大船は張り合わせない"が導かれる
3. 推論1と推論2から、推論3: "あの松竹大船は軍紀だ一方で張り合わせるということはない"が導かれる
4. 事実6から、推論4: "仮にあの松竹大船が軍紀だが張り合わせないとすればそれはブラッシュアップする"が導かれる
5. 推論3と推論4から、仮説が否定される

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