その各大臣は煙たくない
fact1: ガイド付きは煙たい fact2: ガイド付きは安し fact3: その各大臣はガイド付きであり安し fact4: もし何らかのものは安しないとすれば「煙たいがしかしガイド付きだということはない」ということは真実であるということはない
fact3 -> int1: その各大臣はガイド付きだ; fact1 -> int2: もし仮にその各大臣がガイド付きだとしたら煙たい; int1 & int2 -> hypothesis;
fact3 -> int1: {A}{a}; fact1 -> int2: {A}{a} -> {C}{a}; int1 & int2 -> hypothesis;
その各大臣は煙たくない
fact5 -> int3: その各大臣は安しということはないなら「煙たくてそれはガイド付きでない」ということは間違いである;
$facts$ = fact1: ガイド付きは煙たい fact2: ガイド付きは安し fact3: その各大臣はガイド付きであり安し fact4: もし何らかのものは安しないとすれば「煙たいがしかしガイド付きだということはない」ということは真実であるということはない ; $hypothesis$ = その各大臣は煙たくない ; $proof$ = 
fact3 -> int1: その各大臣はガイド付きだ; fact1 -> int2: もし仮にその各大臣がガイド付きだとしたら煙たい; int1 & int2 -> hypothesis; __DISPROVED__
事実1: ガイド付きは煙たい
事実2: ガイド付きは安し
事実3: その各大臣はガイド付きであり安し
事実4: もし何らかのものは安しないとすれば「煙たいがしかしガイド付きだということはない」ということは真実であるということはない

仮説: その各大臣は煙たくない
1. 事実3から、推論1: "その各大臣はガイド付きだ"が導かれる
2. 事実1から、推論2: "もし仮にその各大臣がガイド付きだとしたら煙たい"が導かれる
3. 推論1と推論2から、仮説が否定される

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