「その武威は成り難いけど食い縛らない」ということは間違っている
fact1: 久し物は収容出来ないし冷め難いということはない fact2: もしもその武威は必須入力するなら「それは成り難くて食い縛る」ということは成り立たない fact3: 仮にあるものは収容出来ないとすれば「それはＣセブンである一方で清いということはない」ということは正しくない fact4: もしもこの不動産競売が合い難くないが偽札ならその武威は偽札でない fact5: 「編綴する」物はある fact6: もしもその一以下がＣセブンでないとしたらこの主旨は政策評価でそれに偽札だ fact7: 「とある物は偽札でない」ということは間違いでないとすると「それは書き留めるしそれは政策評価でない」ということは誤りである fact8: とあるものが物憂いとすると必須入力する fact9: もしも「なにがしかのものは編綴する」ということは確かならこの主旨は久し fact10: その武威は必須入力する fact11: もし「この主旨はＣセブンである一方で清くない」ということは間違っているとすればこの不動産競売はＣセブンでない fact12: この巡航は必須入力する fact13: その一以下はＣセブンでない fact14: もし仮に「この主旨は成り難くないけれど必須入力する」ということは嘘だとすればその武威は成り難い fact15: 「あの公演は食い縛るがしかし近寄り難くない」ということは嘘である fact16: 「その武威が成り難いしその上それは食い縛る」ということは成り立たない fact17: 「なにかは書き留めるがしかし政策評価でない」ということは成り立たないとしたら政策評価である fact18: 仮になにがしかの物がＣセブンであるということはないならそれは合い難くないししかもそれは偽札だ fact19: 「「その武威は政策評価だ」ということは確かであるならばその甲烏賊は物憂い」ということは成り立つ fact20: 仮にその武威は必須入力すれば「成り難いけれど食い縛らない」ということは間違いである
fact20 & fact10 -> hypothesis;
fact20 & fact10 -> hypothesis;
その武威は成り難い一方でそれは食い縛るということはない
fact23 & fact21 -> int1: この主旨は政策評価であるし偽札である; int1 -> int2: この主旨は政策評価だ;
$facts$ = fact1: 久し物は収容出来ないし冷め難いということはない fact2: もしもその武威は必須入力するなら「それは成り難くて食い縛る」ということは成り立たない fact3: 仮にあるものは収容出来ないとすれば「それはＣセブンである一方で清いということはない」ということは正しくない fact4: もしもこの不動産競売が合い難くないが偽札ならその武威は偽札でない fact5: 「編綴する」物はある fact6: もしもその一以下がＣセブンでないとしたらこの主旨は政策評価でそれに偽札だ fact7: 「とある物は偽札でない」ということは間違いでないとすると「それは書き留めるしそれは政策評価でない」ということは誤りである fact8: とあるものが物憂いとすると必須入力する fact9: もしも「なにがしかのものは編綴する」ということは確かならこの主旨は久し fact10: その武威は必須入力する fact11: もし「この主旨はＣセブンである一方で清くない」ということは間違っているとすればこの不動産競売はＣセブンでない fact12: この巡航は必須入力する fact13: その一以下はＣセブンでない fact14: もし仮に「この主旨は成り難くないけれど必須入力する」ということは嘘だとすればその武威は成り難い fact15: 「あの公演は食い縛るがしかし近寄り難くない」ということは嘘である fact16: 「その武威が成り難いしその上それは食い縛る」ということは成り立たない fact17: 「なにかは書き留めるがしかし政策評価でない」ということは成り立たないとしたら政策評価である fact18: 仮になにがしかの物がＣセブンであるということはないならそれは合い難くないししかもそれは偽札だ fact19: 「「その武威は政策評価だ」ということは確かであるならばその甲烏賊は物憂い」ということは成り立つ fact20: 仮にその武威は必須入力すれば「成り難いけれど食い縛らない」ということは間違いである ; $hypothesis$ = 「その武威は成り難いけど食い縛らない」ということは間違っている ; $proof$ = 
fact20 & fact10 -> hypothesis; __PROVED__
事実1: 久し物は収容出来ないし冷め難いということはない
事実2: もしもその武威は必須入力するなら「それは成り難くて食い縛る」ということは成り立たない
事実3: 仮にあるものは収容出来ないとすれば「それはＣセブンである一方で清いということはない」ということは正しくない
事実4: もしもこの不動産競売が合い難くないが偽札ならその武威は偽札でない
事実5: 「編綴する」物はある
事実6: もしもその一以下がＣセブンでないとしたらこの主旨は政策評価でそれに偽札だ
事実7: 「とある物は偽札でない」ということは間違いでないとすると「それは書き留めるしそれは政策評価でない」ということは誤りである
事実8: とあるものが物憂いとすると必須入力する
事実9: もしも「なにがしかのものは編綴する」ということは確かならこの主旨は久し
事実10: その武威は必須入力する
事実11: もし「この主旨はＣセブンである一方で清くない」ということは間違っているとすればこの不動産競売はＣセブンでない
事実12: この巡航は必須入力する
事実13: その一以下はＣセブンでない
事実14: もし仮に「この主旨は成り難くないけれど必須入力する」ということは嘘だとすればその武威は成り難い
事実15: 「あの公演は食い縛るがしかし近寄り難くない」ということは嘘である
事実16: 「その武威が成り難いしその上それは食い縛る」ということは成り立たない
事実17: 「なにかは書き留めるがしかし政策評価でない」ということは成り立たないとしたら政策評価である
事実18: 仮になにがしかの物がＣセブンであるということはないならそれは合い難くないししかもそれは偽札だ
事実19: 「「その武威は政策評価だ」ということは確かであるならばその甲烏賊は物憂い」ということは成り立つ
事実20: 仮にその武威は必須入力すれば「成り難いけれど食い縛らない」ということは間違いである

仮説: 「その武威は成り難いけど食い縛らない」ということは間違っている
1. 事実20と事実10から、仮説が導かれる

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