あの豚足は先発ローテだ
fact1: もし「何らかの物は脂っぽくないがしかし頼み難い」ということは成り立たないならそれは頼み難くない fact2: 「あの永先生は宋代であるがしかし変え為さらない」ということは間違いである fact3: 仮になんらかの物は鉄道建設改良事業でないとすれば「それは脂っぽくないが頼み難い」ということは成り立たない fact4: もしも何かは頼み難くないなら先発ローテだしその上掻き混ぜる fact5: あの永先生は買い占める fact6: 「あの豚足は変え為さる」ということは成り立つ fact7: 「あの豚足は掻き混ぜるがしかし変え為さらない」ということは成り立たない fact8: もしあの豚足が宋代であるとすればあの永先生は宋代である fact9: もしも「あの永先生は宋代であるがしかし変え為さらない」ということは嘘であるとすると掻き混ぜる fact10: 仮にあの永先生が掻き混ぜるとするとあの豚足は掻き混ぜるがそれは先発ローテだということはない fact11: あの永先生が掻き混ぜるならばあの豚足は掻き混ぜるが宋代でない
fact9 & fact2 -> int1: あの永先生は掻き混ぜる; int1 & fact10 -> int2: あの豚足は掻き混ぜる一方で先発ローテでない; int2 -> hypothesis;
あの豚足は先発ローテだ
fact13 -> int3: 仮に「あの豚足は頼み難くない」ということは成り立つならそれは先発ローテであるしさらに掻き混ぜる; fact14 -> int4: もし「あの豚足は脂っぽくないが頼み難い」ということは嘘であるとすればそれは頼み難くない; fact12 -> int5: あの豚足は鉄道建設改良事業でないとしたら「それが脂っぽくないしさらに頼み難い」ということは成り立たない; fact15 -> int6: ある物は買い占める;
$facts$ = fact1: もし「何らかの物は脂っぽくないがしかし頼み難い」ということは成り立たないならそれは頼み難くない fact2: 「あの永先生は宋代であるがしかし変え為さらない」ということは間違いである fact3: 仮になんらかの物は鉄道建設改良事業でないとすれば「それは脂っぽくないが頼み難い」ということは成り立たない fact4: もしも何かは頼み難くないなら先発ローテだしその上掻き混ぜる fact5: あの永先生は買い占める fact6: 「あの豚足は変え為さる」ということは成り立つ fact7: 「あの豚足は掻き混ぜるがしかし変え為さらない」ということは成り立たない fact8: もしあの豚足が宋代であるとすればあの永先生は宋代である fact9: もしも「あの永先生は宋代であるがしかし変え為さらない」ということは嘘であるとすると掻き混ぜる fact10: 仮にあの永先生が掻き混ぜるとするとあの豚足は掻き混ぜるがそれは先発ローテだということはない fact11: あの永先生が掻き混ぜるならばあの豚足は掻き混ぜるが宋代でない ; $hypothesis$ = あの豚足は先発ローテだ ; $proof$ = 
fact9 & fact2 -> int1: あの永先生は掻き混ぜる; int1 & fact10 -> int2: あの豚足は掻き混ぜる一方で先発ローテでない; int2 -> hypothesis; __DISPROVED__
事実1: もし「何らかの物は脂っぽくないがしかし頼み難い」ということは成り立たないならそれは頼み難くない
事実2: 「あの永先生は宋代であるがしかし変え為さらない」ということは間違いである
事実3: 仮になんらかの物は鉄道建設改良事業でないとすれば「それは脂っぽくないが頼み難い」ということは成り立たない
事実4: もしも何かは頼み難くないなら先発ローテだしその上掻き混ぜる
事実5: あの永先生は買い占める
事実6: 「あの豚足は変え為さる」ということは成り立つ
事実7: 「あの豚足は掻き混ぜるがしかし変え為さらない」ということは成り立たない
事実8: もしあの豚足が宋代であるとすればあの永先生は宋代である
事実9: もしも「あの永先生は宋代であるがしかし変え為さらない」ということは嘘であるとすると掻き混ぜる
事実10: 仮にあの永先生が掻き混ぜるとするとあの豚足は掻き混ぜるがそれは先発ローテだということはない
事実11: あの永先生が掻き混ぜるならばあの豚足は掻き混ぜるが宋代でない

仮説: あの豚足は先発ローテだ
1. 事実9と事実2から、推論1: "あの永先生は掻き混ぜる"が導かれる
2. 推論1と事実10から、推論2: "あの豚足は掻き混ぜる一方で先発ローテでない"が導かれる
3. 推論2から、仮説が否定される

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