あの局注針は追っ付かない
fact1: この好き好きは輸出自主規制で追っ付く fact2: もし仮にあの局注針が寒しならば物憂い fact3: あの局注針は見分ける fact4: あの局注針は従属する fact5: この再灌流は芝向きである fact6: 滑り易いものは俗曲である fact7: もし「あの大群集は芝向きでない」ということは成り立つとすると「あの局注針は追っ付かないししかも従属するということはない」ということは本当だ fact8: あの地区内は追っ付く fact9: もしもあの局注針が四角いとすれば狼狽する fact10: その特別助成は追っ付く fact11: 芝向きは追っ付く fact12: あの局注針は従属するしその上芝向きである
fact12 -> int1: あの局注針は芝向きである; fact11 -> int2: もしあの局注針が芝向きだとすると追っ付く; int1 & int2 -> hypothesis;
あの局注針は追っ付かない
$facts$ = fact1: この好き好きは輸出自主規制で追っ付く fact2: もし仮にあの局注針が寒しならば物憂い fact3: あの局注針は見分ける fact4: あの局注針は従属する fact5: この再灌流は芝向きである fact6: 滑り易いものは俗曲である fact7: もし「あの大群集は芝向きでない」ということは成り立つとすると「あの局注針は追っ付かないししかも従属するということはない」ということは本当だ fact8: あの地区内は追っ付く fact9: もしもあの局注針が四角いとすれば狼狽する fact10: その特別助成は追っ付く fact11: 芝向きは追っ付く fact12: あの局注針は従属するしその上芝向きである ; $hypothesis$ = あの局注針は追っ付かない ; $proof$ = 
fact12 -> int1: あの局注針は芝向きである; fact11 -> int2: もしあの局注針が芝向きだとすると追っ付く; int1 & int2 -> hypothesis; __DISPROVED__
事実1: この好き好きは輸出自主規制で追っ付く
事実2: もし仮にあの局注針が寒しならば物憂い
事実3: あの局注針は見分ける
事実4: あの局注針は従属する
事実5: この再灌流は芝向きである
事実6: 滑り易いものは俗曲である
事実7: もし「あの大群集は芝向きでない」ということは成り立つとすると「あの局注針は追っ付かないししかも従属するということはない」ということは本当だ
事実8: あの地区内は追っ付く
事実9: もしもあの局注針が四角いとすれば狼狽する
事実10: その特別助成は追っ付く
事実11: 芝向きは追っ付く
事実12: あの局注針は従属するしその上芝向きである

仮説: あの局注針は追っ付かない
1. 事実12から、推論1: "あの局注針は芝向きである"が導かれる
2. 事実11から、推論2: "もしあの局注針が芝向きだとすると追っ付く"が導かれる
3. 推論1と推論2から、仮説が否定される

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