その三色旗は生産・販売する
fact1: もしもこの注意が大人し過ぎるししかも生産・販売するとするとその三色旗は唸り続けない fact2: なにかは鋳直さないとしたらそれはオリオン文明であるということはない fact3: もしこの注意がオリオン文明でないならその三色旗は先端部だ fact4: 「なにがしかのものは先端部だ」ということは事実なら遣り難いけれど掃除しない fact5: もしなんらかのものが遣り難いとすると第二種監視化学物質だ fact6: なんらかのものは第二種監視化学物質だとすれば「生産・販売する」ということは真実だ fact7: この注意は唸り続ける fact8: もし「そのヒップは得易い」ということは真実だとすればこの注意は鋳直さない fact9: もし「そのヒップは略する」ということは正しいとすれば得易い fact10: この注意は大人し過ぎるし唸り続ける fact11: もしこの注意が大人し過ぎるししかもそれが唸り続ければその三色旗は生産・販売しない
fact11 & fact10 -> hypothesis;
fact11 & fact10 -> hypothesis;
その三色旗は生産・販売する
fact17 -> int1: 仮にその三色旗は第二種監視化学物質であるとすると「生産・販売する」ということは真実だ; fact16 -> int2: もしその三色旗が遣り難いならばそれは第二種監視化学物質だ; fact13 -> int3: その三色旗が先端部ならそれは遣り難いけれど掃除しない; fact14 -> int4: 仮に「この注意は鋳直すということはない」ということは成り立てば「それはオリオン文明でない」ということは事実だ;
$facts$ = fact1: もしもこの注意が大人し過ぎるししかも生産・販売するとするとその三色旗は唸り続けない fact2: なにかは鋳直さないとしたらそれはオリオン文明であるということはない fact3: もしこの注意がオリオン文明でないならその三色旗は先端部だ fact4: 「なにがしかのものは先端部だ」ということは事実なら遣り難いけれど掃除しない fact5: もしなんらかのものが遣り難いとすると第二種監視化学物質だ fact6: なんらかのものは第二種監視化学物質だとすれば「生産・販売する」ということは真実だ fact7: この注意は唸り続ける fact8: もし「そのヒップは得易い」ということは真実だとすればこの注意は鋳直さない fact9: もし「そのヒップは略する」ということは正しいとすれば得易い fact10: この注意は大人し過ぎるし唸り続ける fact11: もしこの注意が大人し過ぎるししかもそれが唸り続ければその三色旗は生産・販売しない ; $hypothesis$ = その三色旗は生産・販売する ; $proof$ = 
fact11 & fact10 -> hypothesis; __DISPROVED__
事実1: もしもこの注意が大人し過ぎるししかも生産・販売するとするとその三色旗は唸り続けない
事実2: なにかは鋳直さないとしたらそれはオリオン文明であるということはない
事実3: もしこの注意がオリオン文明でないならその三色旗は先端部だ
事実4: 「なにがしかのものは先端部だ」ということは事実なら遣り難いけれど掃除しない
事実5: もしなんらかのものが遣り難いとすると第二種監視化学物質だ
事実6: なんらかのものは第二種監視化学物質だとすれば「生産・販売する」ということは真実だ
事実7: この注意は唸り続ける
事実8: もし「そのヒップは得易い」ということは真実だとすればこの注意は鋳直さない
事実9: もし「そのヒップは略する」ということは正しいとすれば得易い
事実10: この注意は大人し過ぎるし唸り続ける
事実11: もしこの注意が大人し過ぎるししかもそれが唸り続ければその三色旗は生産・販売しない

仮説: その三色旗は生産・販売する
1. 事実11と事実10から、仮説が否定される

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