「もし「圧力鍋で発砲事件だ」ということは間違っていれば見辛いということはない」ものはある
fact1: もし仮に「何かは圧力鍋で発砲事件だ」ということは誤りだとしたら見辛くない fact2: 「とあるものは圧力鍋だししかも発砲事件だ」ということは間違っているとすれば見辛い fact3: 仮にその地方税は圧力鍋でかつ発砲事件であるとしたら「それは見辛くない」ということは事実だ
fact1 -> int1: もし仮に「その地方税が圧力鍋だしそれは発砲事件だ」ということは間違っているとすると見辛くない; int1 -> hypothesis;
fact1 -> int1: ¬({AA}{aa} & {AB}{aa}) -> ¬{B}{aa}; int1 -> hypothesis;
$facts$ = fact1: もし仮に「何かは圧力鍋で発砲事件だ」ということは誤りだとしたら見辛くない fact2: 「とあるものは圧力鍋だししかも発砲事件だ」ということは間違っているとすれば見辛い fact3: 仮にその地方税は圧力鍋でかつ発砲事件であるとしたら「それは見辛くない」ということは事実だ ; $hypothesis$ = 「もし「圧力鍋で発砲事件だ」ということは間違っていれば見辛いということはない」ものはある ; $proof$ = 
fact1 -> int1: もし仮に「その地方税が圧力鍋だしそれは発砲事件だ」ということは間違っているとすると見辛くない; int1 -> hypothesis; __PROVED__
事実1: もし仮に「何かは圧力鍋で発砲事件だ」ということは誤りだとしたら見辛くない
事実2: 「とあるものは圧力鍋だししかも発砲事件だ」ということは間違っているとすれば見辛い
事実3: 仮にその地方税は圧力鍋でかつ発砲事件であるとしたら「それは見辛くない」ということは事実だ

仮説: 「もし「圧力鍋で発砲事件だ」ということは間違っていれば見辛いということはない」ものはある
1. 事実1から、推論1: "もし仮に「その地方税が圧力鍋だしそれは発砲事件だ」ということは間違っているとすると見辛くない"が導かれる
2. 推論1から、仮説が導かれる

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