この像平面上は巻き戻す
fact1: この像平面上が熟練労働者でないけどそれがやばいならあの財務状況は清朝末期である fact2: もし仮になにがしかの物は半周するとしたら「それは巻き戻す」ということは本当である fact3: もし「この像平面上は得難くなくて更にバランス良くない」ということは偽であるとしたら得難い fact4: もし仮に「なんらかのものは半周しないしおまけに図々しかない」ということは成り立たないとすれば巻き戻す fact5: 仮にこの像平面上がセントラルクリーナーだとするとそれは脅迫する fact6: あの財務状況はＣＯデならば「この像平面上が半周しないしさらにそれは図々しかない」ということは間違いだ fact7: もし「この像平面上は清朝末期でないけどＣＯデである」ということは誤っているならそれは巻き戻さない fact8: もし何かは脅迫するとすれば「それは得難くなくてしかもそれはバランス良くない」ということは成り立つということはない fact9: 「「この像平面上は半周する一方でそれは図々しかない」ということは誤りだ」ということは正しい fact10: 仮にあの財務状況はＣＯデであるなら「この像平面上は半周するけれどそれは図々しかない」ということは嘘だ fact11: あの財務状況はＣＯデだ fact12: 得難いものは熟練労働者でないがしかしやばい
fact6 & fact11 -> int1: 「この像平面上は半周しないし図々しかない」ということは確かでない; fact4 -> int2: もし「この像平面上は半周しなくて図々しかない」ということは成り立たないなら巻き戻す; int1 & int2 -> hypothesis;
fact6 & fact11 -> int1: ¬(¬{AA}{b} & ¬{AB}{b}); fact4 -> int2: ¬(¬{AA}{b} & ¬{AB}{b}) -> {B}{b}; int1 & int2 -> hypothesis;
この像平面上は巻き戻さない
$facts$ = fact1: この像平面上が熟練労働者でないけどそれがやばいならあの財務状況は清朝末期である fact2: もし仮になにがしかの物は半周するとしたら「それは巻き戻す」ということは本当である fact3: もし「この像平面上は得難くなくて更にバランス良くない」ということは偽であるとしたら得難い fact4: もし仮に「なんらかのものは半周しないしおまけに図々しかない」ということは成り立たないとすれば巻き戻す fact5: 仮にこの像平面上がセントラルクリーナーだとするとそれは脅迫する fact6: あの財務状況はＣＯデならば「この像平面上が半周しないしさらにそれは図々しかない」ということは間違いだ fact7: もし「この像平面上は清朝末期でないけどＣＯデである」ということは誤っているならそれは巻き戻さない fact8: もし何かは脅迫するとすれば「それは得難くなくてしかもそれはバランス良くない」ということは成り立つということはない fact9: 「「この像平面上は半周する一方でそれは図々しかない」ということは誤りだ」ということは正しい fact10: 仮にあの財務状況はＣＯデであるなら「この像平面上は半周するけれどそれは図々しかない」ということは嘘だ fact11: あの財務状況はＣＯデだ fact12: 得難いものは熟練労働者でないがしかしやばい ; $hypothesis$ = この像平面上は巻き戻す ; $proof$ = 
fact6 & fact11 -> int1: 「この像平面上は半周しないし図々しかない」ということは確かでない; fact4 -> int2: もし「この像平面上は半周しなくて図々しかない」ということは成り立たないなら巻き戻す; int1 & int2 -> hypothesis; __PROVED__
事実1: この像平面上が熟練労働者でないけどそれがやばいならあの財務状況は清朝末期である
事実2: もし仮になにがしかの物は半周するとしたら「それは巻き戻す」ということは本当である
事実3: もし「この像平面上は得難くなくて更にバランス良くない」ということは偽であるとしたら得難い
事実4: もし仮に「なんらかのものは半周しないしおまけに図々しかない」ということは成り立たないとすれば巻き戻す
事実5: 仮にこの像平面上がセントラルクリーナーだとするとそれは脅迫する
事実6: あの財務状況はＣＯデならば「この像平面上が半周しないしさらにそれは図々しかない」ということは間違いだ
事実7: もし「この像平面上は清朝末期でないけどＣＯデである」ということは誤っているならそれは巻き戻さない
事実8: もし何かは脅迫するとすれば「それは得難くなくてしかもそれはバランス良くない」ということは成り立つということはない
事実9: 「「この像平面上は半周する一方でそれは図々しかない」ということは誤りだ」ということは正しい
事実10: 仮にあの財務状況はＣＯデであるなら「この像平面上は半周するけれどそれは図々しかない」ということは嘘だ
事実11: あの財務状況はＣＯデだ
事実12: 得難いものは熟練労働者でないがしかしやばい

仮説: この像平面上は巻き戻す
1. 事実6と事実11から、推論1: "「この像平面上は半周しないし図々しかない」ということは確かでない"が導かれる
2. 事実4から、推論2: "もし「この像平面上は半周しなくて図々しかない」ということは成り立たないなら巻き戻す"が導かれる
3. 推論1と推論2から、仮説が導かれる

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