「この卵巣嚢腫は認め得るか本務であるかもしくは両方ともだ」ということは誤っている
fact1: 仮になんらかの物はしょっぱいということはないとすれば「ちょろいがしかし悪意でない」ということは誤りだ fact2: 「「連れるしそれに減じる」ということは成り立たない」物はある fact3: もし「「本務でない一方で減じる」ということは間違いである」物があるとしたらその構造研究は連れない fact4: 仮に何かは新しいとすると「野生馬でなくてそれは画会でない」ということは間違っている fact5: なにがしかのものは読めないとすれば「認め得るかまたは本務だ」ということは成り立たない fact6: あの棚ロットは購入する fact7: もし「その中小企業等は野生馬でないしかつ画会でない」ということは嘘であるとするとそれは野生馬である fact8: もしもその構造研究が読めるということはないならばあの中小企業等は減じるかまたは認め得る fact9: 仮に「なんらかのものはちょろいが悪意でない」ということは嘘であるとしたらちょろくない fact10: もしもその中小企業等が読めないとすればあの卵巣嚢腫は認め得るかあるいは本務であるか両方ともだ fact11: 仮にあの棚ロットが購入するならこの魏略は着直さないけれど継承する fact12: 「「その構造研究は連れないが減じる」ということは嘘である」ということは確かである fact13: もしも「「連れないし減じる」ということは成り立たない」物があればその中小企業等は読めない fact14: 「その構造研究は連れるしまた減じる」ということは偽だ fact15: 「連れる」物があるならその中小企業等は読めない fact16: 野生馬がちょろくないとすると良縁でない fact17: その構造研究は連れるか読める fact18: もし仮になんらかのものは良縁であるということはないとするとそれは育ち難くないしおまけに読めない fact19: 「あの買い物籠は新しいがそれは貪り尽くさない」ということは成り立たない fact20: もしその中小企業等が育ち難くないしさらにそれが読めないとすればこの卵巣嚢腫は読めない fact21: もし仮に「あの買い物籠は新しいけど貪り尽くさない」ということは偽だとすればその中小企業等は新しい fact22: なにがしかの物は連れないが減じる
fact12 -> int1: 「「連れるということはないしその上減じる」ということは偽な」ものはある; int1 & fact13 -> int2: その中小企業等は読めない; int2 & fact10 -> hypothesis;
fact12 -> int1: (Ex): ¬(¬{AA}x & {AB}x); int1 & fact13 -> int2: ¬{A}{a}; int2 & fact10 -> hypothesis;
「「「この卵巣嚢腫は認め得るかもしくは本務であるかまたはどちらもだ」ということは真実である」ということは誤りである」ということは確かだ
fact33 -> int3: もし仮にこの卵巣嚢腫は読めるということはないとすると「認め得るか本務であるかまたは両方である」ということは事実と異なる; fact25 -> int4: その中小企業等が良縁でないならばそれは育ち難いということはなくて加えてそれは読めない; fact27 -> int5: もしその中小企業等は野生馬であるけどちょろくないならばそれは良縁だということはない; fact26 -> int6: 仮にその中小企業等は新しいとしたら「それは野生馬でないしまた画会でない」ということは偽だ; fact32 & fact29 -> int7: その中小企業等は新しい; int6 & int7 -> int8: 「その中小企業等は野生馬でないしかつ画会でない」ということは誤りだ; fact34 & int8 -> int9: その中小企業等は野生馬だ; fact30 -> int10: もし「その中小企業等はちょろいけどそれは悪意でない」ということは事実と異なるとするとそれはちょろくない; fact28 -> int11: もしその中小企業等はしょっぱいということはないとすれば「それはちょろい一方で悪意でない」ということは成り立たない; fact31 & fact24 -> int12: この魏略は着直さないけれどそれは継承する; int12 -> int13: この魏略は継承する; int13 -> int14: 「ある物は継承する」ということは成り立つ;
$facts$ = fact1: 仮になんらかの物はしょっぱいということはないとすれば「ちょろいがしかし悪意でない」ということは誤りだ fact2: 「「連れるしそれに減じる」ということは成り立たない」物はある fact3: もし「「本務でない一方で減じる」ということは間違いである」物があるとしたらその構造研究は連れない fact4: 仮に何かは新しいとすると「野生馬でなくてそれは画会でない」ということは間違っている fact5: なにがしかのものは読めないとすれば「認め得るかまたは本務だ」ということは成り立たない fact6: あの棚ロットは購入する fact7: もし「その中小企業等は野生馬でないしかつ画会でない」ということは嘘であるとするとそれは野生馬である fact8: もしもその構造研究が読めるということはないならばあの中小企業等は減じるかまたは認め得る fact9: 仮に「なんらかのものはちょろいが悪意でない」ということは嘘であるとしたらちょろくない fact10: もしもその中小企業等が読めないとすればあの卵巣嚢腫は認め得るかあるいは本務であるか両方ともだ fact11: 仮にあの棚ロットが購入するならこの魏略は着直さないけれど継承する fact12: 「「その構造研究は連れないが減じる」ということは嘘である」ということは確かである fact13: もしも「「連れないし減じる」ということは成り立たない」物があればその中小企業等は読めない fact14: 「その構造研究は連れるしまた減じる」ということは偽だ fact15: 「連れる」物があるならその中小企業等は読めない fact16: 野生馬がちょろくないとすると良縁でない fact17: その構造研究は連れるか読める fact18: もし仮になんらかのものは良縁であるということはないとするとそれは育ち難くないしおまけに読めない fact19: 「あの買い物籠は新しいがそれは貪り尽くさない」ということは成り立たない fact20: もしその中小企業等が育ち難くないしさらにそれが読めないとすればこの卵巣嚢腫は読めない fact21: もし仮に「あの買い物籠は新しいけど貪り尽くさない」ということは偽だとすればその中小企業等は新しい fact22: なにがしかの物は連れないが減じる ; $hypothesis$ = 「この卵巣嚢腫は認め得るか本務であるかもしくは両方ともだ」ということは誤っている ; $proof$ = 
fact12 -> int1: 「「連れるということはないしその上減じる」ということは偽な」ものはある; int1 & fact13 -> int2: その中小企業等は読めない; int2 & fact10 -> hypothesis; __DISPROVED__
事実1: 仮になんらかの物はしょっぱいということはないとすれば「ちょろいがしかし悪意でない」ということは誤りだ
事実2: 「「連れるしそれに減じる」ということは成り立たない」物はある
事実3: もし「「本務でない一方で減じる」ということは間違いである」物があるとしたらその構造研究は連れない
事実4: 仮に何かは新しいとすると「野生馬でなくてそれは画会でない」ということは間違っている
事実5: なにがしかのものは読めないとすれば「認め得るかまたは本務だ」ということは成り立たない
事実6: あの棚ロットは購入する
事実7: もし「その中小企業等は野生馬でないしかつ画会でない」ということは嘘であるとするとそれは野生馬である
事実8: もしもその構造研究が読めるということはないならばあの中小企業等は減じるかまたは認め得る
事実9: 仮に「なんらかのものはちょろいが悪意でない」ということは嘘であるとしたらちょろくない
事実10: もしもその中小企業等が読めないとすればあの卵巣嚢腫は認め得るかあるいは本務であるか両方ともだ
事実11: 仮にあの棚ロットが購入するならこの魏略は着直さないけれど継承する
事実12: 「「その構造研究は連れないが減じる」ということは嘘である」ということは確かである
事実13: もしも「「連れないし減じる」ということは成り立たない」物があればその中小企業等は読めない
事実14: 「その構造研究は連れるしまた減じる」ということは偽だ
事実15: 「連れる」物があるならその中小企業等は読めない
事実16: 野生馬がちょろくないとすると良縁でない
事実17: その構造研究は連れるか読める
事実18: もし仮になんらかのものは良縁であるということはないとするとそれは育ち難くないしおまけに読めない
事実19: 「あの買い物籠は新しいがそれは貪り尽くさない」ということは成り立たない
事実20: もしその中小企業等が育ち難くないしさらにそれが読めないとすればこの卵巣嚢腫は読めない
事実21: もし仮に「あの買い物籠は新しいけど貪り尽くさない」ということは偽だとすればその中小企業等は新しい
事実22: なにがしかの物は連れないが減じる

仮説: 「この卵巣嚢腫は認め得るか本務であるかもしくは両方ともだ」ということは誤っている
1. 事実12から、推論1: "「「連れるということはないしその上減じる」ということは偽な」ものはある"が導かれる
2. 推論1と事実13から、推論2: "その中小企業等は読めない"が導かれる
3. 推論2と事実10から、仮説が否定される

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