「「「丸めるしヨークである」ということは間違っている」ものはある」ということは間違っている
fact1: 堪え難いものは内股でないかまたは荷作りでないかまたは両方である fact2: もし仮に「「分かち難いけど農業界でない」ということは事実と異なる」物があるならばあの同箇所は分かち難くない fact3: 「「上下口唇であるし加えてヨークだ」ということは間違いである」物はある fact4: その同箇所は上下口唇でないとしたら「それは丸めるししかもヨークだ」ということは事実と異なる fact5: その収支計算書は御役である fact6: あの牢は上下口唇でない fact7: なにがしかの物は丸めるしさらにそれはヨークだ fact8: なんらかのものが内股でないかまたは荷作りだということはないか両方ともであるとするとそれは荷作りでない fact9: なんらかの物が去勢するしそれが酸化し難いとしたら伸び易くない fact10: その同箇所は上下口唇でない fact11: もし何らかのものが荷作りでないならそれが去勢するしその上それは酸化し難い fact12: もし仮に「この下積みは変わり易くないしおまけに極まりなくない」ということは間違っているとすればその金縁は極まりなくない fact13: 「「設計時であるし更に制圧する」ということは成り立たない」ものはある fact14: もし「「ある物は経常増減でないしその上それは堪え難くない」ということは確かである」ということは誤りなら堪え難い fact15: もし仮に「「伸び易くない」ということは確かである」ものはあるとすると「この警官は分かち難い一方で農業界だということはない」ということは真実でない fact16: もし仮にその収支計算書は御役だとすると「この下積みは変わり易くなくて極まりないということはない」ということは正しくない fact17: その同箇所は分かち難くないとすると「この対向流拡散火炎は走り過ぎるししかも上下口唇だ」ということは成り立たない fact18: 「その同箇所は溶け易くて陥り易い」ということは確かでない fact19: 「あのＧＨＱは拱くしそれはヨークである」ということは成り立たない fact20: 「その金縁は極まりなくないとしたら「そのフィンガー・ピッキングは経常増減でないしおまけに堪え難くない」ということは成り立つということはない」ということは成り立つ fact21: この通知書は上下口唇でない fact22: もしその同箇所は妬ましくないとすれば「それは危なっかしいしその上丸める」ということは間違っている
fact4 & fact10 -> int1: 「その同箇所は丸めるしまたそれはヨークだ」ということは成り立たない; int1 -> hypothesis;
「この対向流拡散火炎は走り過ぎるしそれは上下口唇である」ということは誤っている
fact26 -> int2: もしそのフィンガー・ピッキングが去勢するしおまけに酸化し難いとするとそれは伸び易くない; fact32 -> int3: もしそのフィンガー・ピッキングは荷作りでないとしたらそれは去勢するしまた酸化し難い; fact34 -> int4: もしそのフィンガー・ピッキングが内股でないかもしくは荷作りでないとしたらそれは荷作りでない; fact27 -> int5: もし仮にそのフィンガー・ピッキングが堪え難いならば内股でないかまたは荷作りでないかまたは両方ともだ; fact25 -> int6: もし仮に「そのフィンガー・ピッキングは経常増減でなくてそれは堪え難くない」ということは事実と異なるとしたら「それは堪え難い」ということは本当である; fact30 & fact33 -> int7: 「この下積みは変わり易くなくてかつそれは極まりないということはない」ということは成り立たない; fact23 & int7 -> int8: その金縁は極まりなくない; fact28 & int8 -> int9: 「そのフィンガー・ピッキングは経常増減でないし堪え難くない」ということは成り立つということはない; int6 & int9 -> int10: そのフィンガー・ピッキングは堪え難い; int5 & int10 -> int11: そのフィンガー・ピッキングは内股でないかもしくはそれは荷作りでない; int4 & int11 -> int12: そのフィンガー・ピッキングは荷作りでない; int3 & int12 -> int13: そのフィンガー・ピッキングは去勢するし酸化し難い; int2 & int13 -> int14: そのフィンガー・ピッキングは伸び易くない; int14 -> int15: 伸び易くないものはある; int15 & fact24 -> int16: 「この警官は分かち難いけど農業界でない」ということは成り立たない; int16 -> int17: 「「分かち難い一方で農業界でない」ということは成り立つということはない」物はある; int17 & fact31 -> int18: その同箇所は分かち難くない; fact29 & int18 -> hypothesis;
$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$ = 
fact4 & fact10 -> int1: 「その同箇所は丸めるしまたそれはヨークだ」ということは成り立たない; int1 -> 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. 事実4と事実10から、推論1: "「その同箇所は丸めるしまたそれはヨークだ」ということは成り立たない"が導かれる
2. 推論1から、仮説が否定される

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