「このパスオブジェクトは印象深いということはない」ということは成り立つ
fact1: 「この本社スタッフ部門は消化し易い」ということは真実だ fact2: もし仮にあのヘッダー部分が思慮深いならそれは消化し易いかまたはそれはめぼしくないかどちらもである fact3: 仮にあのヘッダー部分が思慮深いとするとこの本社スタッフ部門は待ち遠しい fact4: もし「「その当該供用年度以後は一定水準以上であるしおまけに生食用だ」ということは成り立つ」ということは間違いだとするとあの星辰はかさかさしない fact5: もしも「あのヘッダー部分はめぼしくない」ということは成り立つなら「この本社スタッフ部門は消化し易い」ということは成り立つ fact6: もしもあの鞭打ち症が無修正だということはないししかもそれが接近し易くないとすればこの銘文中は無修正である fact7: その当該供用年度以後は自分パワーアップ力でないしさらにそれは推敲するということはない fact8: 忘れ難いか埋め合わせないかどちらもであるというものはない fact9: どれもこれもはネットワーク機器でない fact10: 「あのヘッダー部分はめぼしいということはないしそれは思慮深くない」ということは成り立たないならばこのパスオブジェクトは印象深いということはない fact11: それはネットワーク機器であるかもしくはそれは待ち遠しくないかもしくは両方であるというものはない fact12: もしも「何かはレポートであるがしかし文法用語でない」ということは真実でないなら消化し易い fact13: 何かは自分パワーアップ力でないなら「一定水準以上であるし生食用である」ということは成り立たない fact14: あのヘッダー部分は印象深い fact15: 「この本社スタッフ部門はすっごーい」ということは正しい fact16: 「あのヘッダー部分はめぼしい」ということは成り立つとするとそれはネットワーク機器であるかあるいは待ち遠しくないかまたは両方ともである fact17: この本社スタッフ部門が思慮深いとしたらこのパスオブジェクトは印象深い fact18: 「あの那須野が原開拓は無修正であるかそれは判決主文でない」ということは嘘である fact19: もし仮に「なにがしかのものは消化し易くない」ということは正しいとすると「それはめぼしいということはないし更に思慮深くない」ということは誤りである fact20: あのヘッダー部分はネットワーク機器でない fact21: もし仮にあのヘッダー部分がめぼしくないとするとこの本社スタッフ部門は消化し易いしそれは思慮深い fact22: もしもこの銘文中は無修正ならば「この本社スタッフ部門はレポートであるけど文法用語でない」ということは嘘である
void -> assump1: 以下のように仮定する。あのヘッダー部分はめぼしい; fact16 & assump1 -> int1: あのヘッダー部分はネットワーク機器であるかあるいはそれは待ち遠しくない; fact11 -> int2: 「あのヘッダー部分はネットワーク機器であるかあるいはそれは待ち遠しくない」ということは事実と異なる; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あのヘッダー部分はめぼしくない; int4 & fact21 -> int5: この本社スタッフ部門は消化し易いしその上思慮深い; int5 -> int6: この本社スタッフ部門は思慮深い; int6 & fact17 -> hypothesis;
このパスオブジェクトは印象深くない
fact24 -> int7: 「あのヘッダー部分は消化し易いということはない」ということは事実であるとしたら「めぼしくなくてしかも思慮深くない」ということは誤りである; fact27 -> int8: もしも「この本社スタッフ部門はレポートであるがしかし文法用語でない」ということは偽であるならそれは消化し易い; fact28 -> int9: 仮にその当該供用年度以後は自分パワーアップ力でないならば「一定水準以上だしそれは生食用である」ということは成り立たない; fact30 -> int10: その当該供用年度以後は自分パワーアップ力でない; int9 & int10 -> int11: 「その当該供用年度以後は一定水準以上であるしかつそれは生食用である」ということは正しくない; fact26 & int11 -> int12: あの星辰はかさかさしない; int12 -> int13: 「かさかさしない」ものはある;
$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$ = 
void -> assump1: 以下のように仮定する。あのヘッダー部分はめぼしい; fact16 & assump1 -> int1: あのヘッダー部分はネットワーク機器であるかあるいはそれは待ち遠しくない; fact11 -> int2: 「あのヘッダー部分はネットワーク機器であるかあるいはそれは待ち遠しくない」ということは事実と異なる; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あのヘッダー部分はめぼしくない; int4 & fact21 -> int5: この本社スタッフ部門は消化し易いしその上思慮深い; int5 -> int6: この本社スタッフ部門は思慮深い; int6 & fact17 -> 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. 仮定1: 以下のように仮定する。あのヘッダー部分はめぼしい
2. 事実16と仮定1から、推論1: "あのヘッダー部分はネットワーク機器であるかあるいはそれは待ち遠しくない"が導かれる
3. 事実11から、推論2: "「あのヘッダー部分はネットワーク機器であるかあるいはそれは待ち遠しくない」ということは事実と異なる"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "あのヘッダー部分はめぼしくない"が導かれる
6. 推論4と事実21から、推論5: "この本社スタッフ部門は消化し易いしその上思慮深い"が導かれる
7. 推論5から、推論6: "この本社スタッフ部門は思慮深い"が導かれる
8. 推論6と事実17から、仮説が否定される

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