このハイアニスポートは非難がましかない
fact1: もし「あの蝦夷国は白々しいということはない」ということは確かならばそれは脂溶性でない fact2: 仮になんらかの物が負わないならばしつっこくないしそれは入手し易くない fact3: このハンドボールは白々しかなくてそれは心憎くない fact4: この飲食等が負わないとすれば非難がましいということはなくてしかも白々しかない fact5: もし仮に「何らかのものは負わないかあるいはあどけないかもしくは両方である」ということは嘘だとしたらそれは白々しかない fact6: もしもこのハイアニスポートは非難がましいとすると「この飲食等が非難はましくらないけれど入手し易い」ということは本当でない fact7: もしあの蝦夷国が入手し易いがしかししつっこくないとしたら「このメガフォンは白々しかない」ということは成り立つ fact8: そのステップバイステップが入手し易くないならこの飲食等は体系性であるけどしつっこくない fact9: もしこの飲食等は体系性であるけどしつっこくないとすればあの蝦夷国はしつっこくない fact10: あの蝦夷国は黄だ fact11: 仮にこの飲食等が負わないならば入手し易くない fact12: このメガフォンは脂溶性だしさらに白々しい fact13: もしこのメガフォンが非難がましいとすればこのハイアニスポートは非難がましい fact14: 「あの蝦夷国は非難がましい」ということは本当である fact15: 「あの蝦夷国は負うしおまけに白々しい」ということは嘘である fact16: 仮にこのハイアニスポートが白々しかないならばそれは脂溶性であるし入手し易い fact17: あの蝦夷国は入手し易くないとしたらそれは白々しかない fact18: 仮にあの蝦夷国はしつっこくないならば「このメガフォンは負うということはないかまたはあどけないかもしくは両方ともだ」ということは間違いだ fact19: もし仮にこのメガフォンは白々しいとすると「あの蝦夷国は白々しかないがしかしあどけない」ということは偽である fact20: 仮にこの飲食等が脂溶性だということはなくてまたしつっこくないとしたらあの蝦夷国は白々しかない fact21: この飲食等はしつっこくないししかも入手し易くないとすればこのハイアニスポートは非難がましかない fact22: 「もしも「このメガフォンは入手し易くないがそれはしつっこい」ということは嘘であるとすればあの飲食等は白々しかない」ということは事実である fact23: 仮に「あの蝦夷国は白々しかないがあどけない」ということは誤りであるならばこの飲食等は負うということはない
fact12 -> int1: 「このメガフォンは白々しい」ということは正しい; int1 & fact19 -> int2: 「あの蝦夷国は白々しかないけどそれはあどけない」ということは成り立たない; int2 & fact23 -> int3: この飲食等は負わない; fact2 -> int4: もしもこの飲食等が負わないとするとそれはしつっこいということはなくてそれは入手し易くない; int3 & int4 -> int5: この飲食等はしつっこくないしまた入手し易くない; int5 & fact21 -> hypothesis;
このハイアニスポートは入手し易いししかも損金算入方式である
$facts$ = fact1: もし「あの蝦夷国は白々しいということはない」ということは確かならばそれは脂溶性でない fact2: 仮になんらかの物が負わないならばしつっこくないしそれは入手し易くない fact3: このハンドボールは白々しかなくてそれは心憎くない fact4: この飲食等が負わないとすれば非難がましいということはなくてしかも白々しかない fact5: もし仮に「何らかのものは負わないかあるいはあどけないかもしくは両方である」ということは嘘だとしたらそれは白々しかない fact6: もしもこのハイアニスポートは非難がましいとすると「この飲食等が非難はましくらないけれど入手し易い」ということは本当でない fact7: もしあの蝦夷国が入手し易いがしかししつっこくないとしたら「このメガフォンは白々しかない」ということは成り立つ fact8: そのステップバイステップが入手し易くないならこの飲食等は体系性であるけどしつっこくない fact9: もしこの飲食等は体系性であるけどしつっこくないとすればあの蝦夷国はしつっこくない fact10: あの蝦夷国は黄だ fact11: 仮にこの飲食等が負わないならば入手し易くない fact12: このメガフォンは脂溶性だしさらに白々しい fact13: もしこのメガフォンが非難がましいとすればこのハイアニスポートは非難がましい fact14: 「あの蝦夷国は非難がましい」ということは本当である fact15: 「あの蝦夷国は負うしおまけに白々しい」ということは嘘である fact16: 仮にこのハイアニスポートが白々しかないならばそれは脂溶性であるし入手し易い fact17: あの蝦夷国は入手し易くないとしたらそれは白々しかない fact18: 仮にあの蝦夷国はしつっこくないならば「このメガフォンは負うということはないかまたはあどけないかもしくは両方ともだ」ということは間違いだ fact19: もし仮にこのメガフォンは白々しいとすると「あの蝦夷国は白々しかないがしかしあどけない」ということは偽である fact20: 仮にこの飲食等が脂溶性だということはなくてまたしつっこくないとしたらあの蝦夷国は白々しかない fact21: この飲食等はしつっこくないししかも入手し易くないとすればこのハイアニスポートは非難がましかない fact22: 「もしも「このメガフォンは入手し易くないがそれはしつっこい」ということは嘘であるとすればあの飲食等は白々しかない」ということは事実である fact23: 仮に「あの蝦夷国は白々しかないがあどけない」ということは誤りであるならばこの飲食等は負うということはない ; $hypothesis$ = このハイアニスポートは非難がましかない ; $proof$ = 
fact12 -> int1: 「このメガフォンは白々しい」ということは正しい; int1 & fact19 -> int2: 「あの蝦夷国は白々しかないけどそれはあどけない」ということは成り立たない; int2 & fact23 -> int3: この飲食等は負わない; fact2 -> int4: もしもこの飲食等が負わないとするとそれはしつっこいということはなくてそれは入手し易くない; int3 & int4 -> int5: この飲食等はしつっこくないしまた入手し易くない; int5 & fact21 -> hypothesis; __PROVED__
事実1: もし「あの蝦夷国は白々しいということはない」ということは確かならばそれは脂溶性でない
事実2: 仮になんらかの物が負わないならばしつっこくないしそれは入手し易くない
事実3: このハンドボールは白々しかなくてそれは心憎くない
事実4: この飲食等が負わないとすれば非難がましいということはなくてしかも白々しかない
事実5: もし仮に「何らかのものは負わないかあるいはあどけないかもしくは両方である」ということは嘘だとしたらそれは白々しかない
事実6: もしもこのハイアニスポートは非難がましいとすると「この飲食等が非難はましくらないけれど入手し易い」ということは本当でない
事実7: もしあの蝦夷国が入手し易いがしかししつっこくないとしたら「このメガフォンは白々しかない」ということは成り立つ
事実8: そのステップバイステップが入手し易くないならこの飲食等は体系性であるけどしつっこくない
事実9: もしこの飲食等は体系性であるけどしつっこくないとすればあの蝦夷国はしつっこくない
事実10: あの蝦夷国は黄だ
事実11: 仮にこの飲食等が負わないならば入手し易くない
事実12: このメガフォンは脂溶性だしさらに白々しい
事実13: もしこのメガフォンが非難がましいとすればこのハイアニスポートは非難がましい
事実14: 「あの蝦夷国は非難がましい」ということは本当である
事実15: 「あの蝦夷国は負うしおまけに白々しい」ということは嘘である
事実16: 仮にこのハイアニスポートが白々しかないならばそれは脂溶性であるし入手し易い
事実17: あの蝦夷国は入手し易くないとしたらそれは白々しかない
事実18: 仮にあの蝦夷国はしつっこくないならば「このメガフォンは負うということはないかまたはあどけないかもしくは両方ともだ」ということは間違いだ
事実19: もし仮にこのメガフォンは白々しいとすると「あの蝦夷国は白々しかないがしかしあどけない」ということは偽である
事実20: 仮にこの飲食等が脂溶性だということはなくてまたしつっこくないとしたらあの蝦夷国は白々しかない
事実21: この飲食等はしつっこくないししかも入手し易くないとすればこのハイアニスポートは非難がましかない
事実22: 「もしも「このメガフォンは入手し易くないがそれはしつっこい」ということは嘘であるとすればあの飲食等は白々しかない」ということは事実である
事実23: 仮に「あの蝦夷国は白々しかないがあどけない」ということは誤りであるならばこの飲食等は負うということはない

仮説: このハイアニスポートは非難がましかない
1. 事実12から、推論1: "「このメガフォンは白々しい」ということは正しい"が導かれる
2. 推論1と事実19から、推論2: "「あの蝦夷国は白々しかないけどそれはあどけない」ということは成り立たない"が導かれる
3. 推論2と事実23から、推論3: "この飲食等は負わない"が導かれる
4. 事実2から、推論4: "もしもこの飲食等が負わないとするとそれはしつっこいということはなくてそれは入手し易くない"が導かれる
5. 推論3と推論4から、推論5: "この飲食等はしつっこくないしまた入手し易くない"が導かれる
6. 推論5と事実21から、仮説が導かれる

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