この鍼灸師は重症筋無力症だししかもＩＨＳである
fact1: もし何らかのものは雄牛でないとすると心房中隔欠損だがしかし暑くない fact2: 仮になにがしかのものはＩＨＳでないなら「この鍼灸師はＩＨＳであるし二十二日生まれである」ということは成り立たない fact3: もし仮に「何かは暑いしおまけにそれは雄牛だ」ということは誤りだとすると暑いということはない fact4: この鍼灸師は情動状態だということはない fact5: この鍼灸師はつれなくない fact6: 何かは委ねるならＩＨＳだ fact7: 「「この受注額は鈍くて恕する」ということは成り立たない」ということは成り立つ fact8: もしもこの受注額が恕しないならこの鍼灸師は鈍いしそれに委ねる fact9: もしも「この受注額は鈍いし恕する」ということは事実でないならばそれは雄牛でない fact10: もし仮にその事業機能は委ねるということはないとしたら「それはセクション変数であるししかも偉い」ということは誤りだ fact11: 仮にこの過失犯はアドレス欄でないとすれば「それは重症筋無力症だしトラブル解決である」ということは間違いである fact12: もし仮にこの鍼灸師は二十二日生まれでないなら「それは話し易くて更にしかつめらしい」ということは嘘である fact13: 仮に何らかの物は発症し易くないとすれば「この鍼灸師は暑いし雄牛だ」ということは成り立たない fact14: この鍼灸師は重症筋無力症でないならば「それは見付け難くてかつ取り零す」ということは誤りだ fact15: あるものは発症し易くない fact16: もし仮になにがしかの物が暑くないならば重症筋無力症で心房中隔欠損だ fact17: あの関係無しは重症筋無力症でない fact18: この鍼灸師は委ねないなら「それは重症筋無力症でしかもＩＨＳだ」ということは誤りである fact19: この鍼灸師は委ねるということはない fact20: あの通いはＩＨＳでない fact21: そのクラウニングは委ねない
fact18 & fact19 -> hypothesis;
fact18 & fact19 -> hypothesis;
この鍼灸師は重症筋無力症であるしまたそれはＩＨＳだ
fact25 -> int1: 仮にこの鍼灸師が暑くないならそれは重症筋無力症だし心房中隔欠損である; fact23 -> int2: もし「この鍼灸師は暑いしそれは雄牛である」ということは間違いだとするとそれは暑くない; fact24 & fact22 -> int3: 「この鍼灸師は暑くてそれに雄牛である」ということは偽である; int2 & int3 -> int4: 「この鍼灸師は暑くない」ということは真実である; int1 & int4 -> int5: この鍼灸師は重症筋無力症であるしそれは心房中隔欠損だ; int5 -> int6: この鍼灸師は重症筋無力症だ; fact26 -> int7: 仮にこの鍼灸師が委ねるとしたらＩＨＳだ;
$facts$ = fact1: もし何らかのものは雄牛でないとすると心房中隔欠損だがしかし暑くない fact2: 仮になにがしかのものはＩＨＳでないなら「この鍼灸師はＩＨＳであるし二十二日生まれである」ということは成り立たない fact3: もし仮に「何かは暑いしおまけにそれは雄牛だ」ということは誤りだとすると暑いということはない fact4: この鍼灸師は情動状態だということはない fact5: この鍼灸師はつれなくない fact6: 何かは委ねるならＩＨＳだ fact7: 「「この受注額は鈍くて恕する」ということは成り立たない」ということは成り立つ fact8: もしもこの受注額が恕しないならこの鍼灸師は鈍いしそれに委ねる fact9: もしも「この受注額は鈍いし恕する」ということは事実でないならばそれは雄牛でない fact10: もし仮にその事業機能は委ねるということはないとしたら「それはセクション変数であるししかも偉い」ということは誤りだ fact11: 仮にこの過失犯はアドレス欄でないとすれば「それは重症筋無力症だしトラブル解決である」ということは間違いである fact12: もし仮にこの鍼灸師は二十二日生まれでないなら「それは話し易くて更にしかつめらしい」ということは嘘である fact13: 仮に何らかの物は発症し易くないとすれば「この鍼灸師は暑いし雄牛だ」ということは成り立たない fact14: この鍼灸師は重症筋無力症でないならば「それは見付け難くてかつ取り零す」ということは誤りだ fact15: あるものは発症し易くない fact16: もし仮になにがしかの物が暑くないならば重症筋無力症で心房中隔欠損だ fact17: あの関係無しは重症筋無力症でない fact18: この鍼灸師は委ねないなら「それは重症筋無力症でしかもＩＨＳだ」ということは誤りである fact19: この鍼灸師は委ねるということはない fact20: あの通いはＩＨＳでない fact21: そのクラウニングは委ねない ; $hypothesis$ = この鍼灸師は重症筋無力症だししかもＩＨＳである ; $proof$ = 
fact18 & fact19 -> hypothesis; __DISPROVED__
事実1: もし何らかのものは雄牛でないとすると心房中隔欠損だがしかし暑くない
事実2: 仮になにがしかのものはＩＨＳでないなら「この鍼灸師はＩＨＳであるし二十二日生まれである」ということは成り立たない
事実3: もし仮に「何かは暑いしおまけにそれは雄牛だ」ということは誤りだとすると暑いということはない
事実4: この鍼灸師は情動状態だということはない
事実5: この鍼灸師はつれなくない
事実6: 何かは委ねるならＩＨＳだ
事実7: 「「この受注額は鈍くて恕する」ということは成り立たない」ということは成り立つ
事実8: もしもこの受注額が恕しないならこの鍼灸師は鈍いしそれに委ねる
事実9: もしも「この受注額は鈍いし恕する」ということは事実でないならばそれは雄牛でない
事実10: もし仮にその事業機能は委ねるということはないとしたら「それはセクション変数であるししかも偉い」ということは誤りだ
事実11: 仮にこの過失犯はアドレス欄でないとすれば「それは重症筋無力症だしトラブル解決である」ということは間違いである
事実12: もし仮にこの鍼灸師は二十二日生まれでないなら「それは話し易くて更にしかつめらしい」ということは嘘である
事実13: 仮に何らかの物は発症し易くないとすれば「この鍼灸師は暑いし雄牛だ」ということは成り立たない
事実14: この鍼灸師は重症筋無力症でないならば「それは見付け難くてかつ取り零す」ということは誤りだ
事実15: あるものは発症し易くない
事実16: もし仮になにがしかの物が暑くないならば重症筋無力症で心房中隔欠損だ
事実17: あの関係無しは重症筋無力症でない
事実18: この鍼灸師は委ねないなら「それは重症筋無力症でしかもＩＨＳだ」ということは誤りである
事実19: この鍼灸師は委ねるということはない
事実20: あの通いはＩＨＳでない
事実21: そのクラウニングは委ねない

仮説: この鍼灸師は重症筋無力症だししかもＩＨＳである
1. 事実18と事実19から、仮説が否定される

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