その喇叭吹奏は黄色くない
fact1: 「その栃木県内は改装しなくてしかも介護システムでない」ということは間違いだとすると為出かさない fact2: 全ての物は介護システムでなくて更に改装する fact3: もしもなんらかのものが改装すればそれは黄色い fact4: もし仮に「このマーキーは運用管理である」ということは成り立つとすると生理活性物質である
fact2 -> int1: その喇叭吹奏は介護システムでないけれど改装する; int1 -> int2: その喇叭吹奏は改装する; fact3 -> int3: 仮にその喇叭吹奏は改装するとすれば「それは黄色い」ということは事実である; int2 & int3 -> hypothesis;
fact2 -> int1: (¬{A}{aa} & {B}{aa}); int1 -> int2: {B}{aa}; fact3 -> int3: {B}{aa} -> {C}{aa}; int2 & int3 -> hypothesis;
その栃木県内は為出かさないけれど黄色い
$facts$ = fact1: 「その栃木県内は改装しなくてしかも介護システムでない」ということは間違いだとすると為出かさない fact2: 全ての物は介護システムでなくて更に改装する fact3: もしもなんらかのものが改装すればそれは黄色い fact4: もし仮に「このマーキーは運用管理である」ということは成り立つとすると生理活性物質である ; $hypothesis$ = その喇叭吹奏は黄色くない ; $proof$ = 
fact2 -> int1: その喇叭吹奏は介護システムでないけれど改装する; int1 -> int2: その喇叭吹奏は改装する; fact3 -> int3: 仮にその喇叭吹奏は改装するとすれば「それは黄色い」ということは事実である; int2 & int3 -> hypothesis; __DISPROVED__
事実1: 「その栃木県内は改装しなくてしかも介護システムでない」ということは間違いだとすると為出かさない
事実2: 全ての物は介護システムでなくて更に改装する
事実3: もしもなんらかのものが改装すればそれは黄色い
事実4: もし仮に「このマーキーは運用管理である」ということは成り立つとすると生理活性物質である

仮説: その喇叭吹奏は黄色くない
1. 事実2から、推論1: "その喇叭吹奏は介護システムでないけれど改装する"が導かれる
2. 推論1から、推論2: "その喇叭吹奏は改装する"が導かれる
3. 事実3から、推論3: "仮にその喇叭吹奏は改装するとすれば「それは黄色い」ということは事実である"が導かれる
4. 推論2と推論3から、仮説が否定される

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