あのＨＴＭＬソースビューは匂いでない
fact1: あのＨＴＭＬソースビューは枡形である fact2: もしも「春らしくないしさらに分かり易くない」ものがあるならこの井守は事らしくない fact3: もしとある物は匂いでないとしたら枡形でかつゴルフ部だ fact4: ある物は春らしいということはないし分かり易くない fact5: 「もし仮にその右舷は伝授しないとしたら「その電柱は焼き難くない」ということは事実と異ならない」ということは確かである fact6: 焼き難くない物は賢人であるが如是だということはない fact7: 仮にこの井守は黴臭くないならば「その出血量は厳めしくらないがそれは漂白剤だ」ということは成り立つということはない fact8: もしこの維持療法は如是でないならば「枡形であるしおまけにそれはゴルフ部でない」ということは嘘である fact9: 仮にその電柱が如是でないとしたらこの維持療法は如是でない fact10: もしこの維持療法がゴルフ部であるとすればその電柱は枡形だ fact11: もし仮にその電柱が枡形ならあのＨＴＭＬソースビューは匂いだ fact12: もし仮にこの井守が事らしくないなら黴臭くない fact13: この維持療法はゴルフ部である
fact10 & fact13 -> int1: その電柱は枡形である; int1 & fact11 -> hypothesis;
「あの正当業務行為はゴルフ部だ」ということは成り立つ
fact14 -> int2: 仮にあの正当業務行為は匂いでないとするとそれは枡形であるしゴルフ部だ;
$facts$ = fact1: あのＨＴＭＬソースビューは枡形である fact2: もしも「春らしくないしさらに分かり易くない」ものがあるならこの井守は事らしくない fact3: もしとある物は匂いでないとしたら枡形でかつゴルフ部だ fact4: ある物は春らしいということはないし分かり易くない fact5: 「もし仮にその右舷は伝授しないとしたら「その電柱は焼き難くない」ということは事実と異ならない」ということは確かである fact6: 焼き難くない物は賢人であるが如是だということはない fact7: 仮にこの井守は黴臭くないならば「その出血量は厳めしくらないがそれは漂白剤だ」ということは成り立つということはない fact8: もしこの維持療法は如是でないならば「枡形であるしおまけにそれはゴルフ部でない」ということは嘘である fact9: 仮にその電柱が如是でないとしたらこの維持療法は如是でない fact10: もしこの維持療法がゴルフ部であるとすればその電柱は枡形だ fact11: もし仮にその電柱が枡形ならあのＨＴＭＬソースビューは匂いだ fact12: もし仮にこの井守が事らしくないなら黴臭くない fact13: この維持療法はゴルフ部である ; $hypothesis$ = あのＨＴＭＬソースビューは匂いでない ; $proof$ = 
fact10 & fact13 -> int1: その電柱は枡形である; int1 & fact11 -> hypothesis; __DISPROVED__
事実1: あのＨＴＭＬソースビューは枡形である
事実2: もしも「春らしくないしさらに分かり易くない」ものがあるならこの井守は事らしくない
事実3: もしとある物は匂いでないとしたら枡形でかつゴルフ部だ
事実4: ある物は春らしいということはないし分かり易くない
事実5: 「もし仮にその右舷は伝授しないとしたら「その電柱は焼き難くない」ということは事実と異ならない」ということは確かである
事実6: 焼き難くない物は賢人であるが如是だということはない
事実7: 仮にこの井守は黴臭くないならば「その出血量は厳めしくらないがそれは漂白剤だ」ということは成り立つということはない
事実8: もしこの維持療法は如是でないならば「枡形であるしおまけにそれはゴルフ部でない」ということは嘘である
事実9: 仮にその電柱が如是でないとしたらこの維持療法は如是でない
事実10: もしこの維持療法がゴルフ部であるとすればその電柱は枡形だ
事実11: もし仮にその電柱が枡形ならあのＨＴＭＬソースビューは匂いだ
事実12: もし仮にこの井守が事らしくないなら黴臭くない
事実13: この維持療法はゴルフ部である

仮説: あのＨＴＭＬソースビューは匂いでない
1. 事実10と事実13から、推論1: "その電柱は枡形である"が導かれる
2. 推論1と事実11から、仮説が否定される

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