あの製薬工場は副審でない
fact1: もし仮に「憎たらしくない」物はあるとしたら「あの製薬工場は遭難するし長ったらしい」ということは真実でない fact2: あの首輪は長ったらしくない fact3: もしあの製薬工場が遭難しないとしたら副審でない fact4: その形態形成場は長ったらしくない fact5: その形態形成場は遠回りしない fact6: もしもあの錆が憎たらしいとしたらあの製薬工場は遠回りするかあるいは葉数でない fact7: 何かは行き場である fact8: 仮にあるものが遠回りするかあるいは葉数でないならば「葉数でない」ということは成り立つ fact9: あの錆は長ったらしくない fact10: 何かは行き場でないとしたらそれは葉数でないかもしくはそれは遠回りしないかあるいはどちらもである fact11: 「行き場でない」物があるとしたらあの錆は葉数であるかあるいは遠回りするかどちらもである fact12: もしも「とあるものは遭難するしかつ長ったらしい」ということは嘘であるとすると「それは副審でない」ということは成り立つ fact13: もしも「なにかは遭難する」ということは嘘でないとすると憎たらしい fact14: その形態形成場は行き場でない fact15: あの錆が葉数であるかもしくは遠回りするとすればあの首輪は憎たらしくない fact16: もしもあの錆が葉数だとするとあの首輪は憎たらしくない fact17: 何らかのものが遭難しないならばそれは副審でない fact18: あの製薬工場は遭難するかそれは葉数だ fact19: 「あの錆が長ったらしいとするとあの錆は遭難する」ということは成り立つ fact20: 憎たらしい物はある
fact14 -> int1: 「行き場だということはない」ものはある; int1 & fact11 -> int2: あの錆は葉数であるかまたは遠回りする; int2 & fact15 -> int3: あの首輪は憎たらしくない; int3 -> int4: 「憎たらしくない」ものはある; int4 & fact1 -> int5: 「あの製薬工場は遭難するししかも長ったらしい」ということは事実でない; fact12 -> int6: もしも「あの製薬工場は遭難するししかもそれは長ったらしい」ということは嘘であるなら「それは副審でない」ということは真実である; int5 & int6 -> hypothesis;
あのパートタイムは遠回りしない
fact21 -> int7: 仮に「あの錆は行き場でない」ということは成り立つならそれは葉数でないかもしくはそれは遠回りしない;
$facts$ = fact1: もし仮に「憎たらしくない」物はあるとしたら「あの製薬工場は遭難するし長ったらしい」ということは真実でない fact2: あの首輪は長ったらしくない fact3: もしあの製薬工場が遭難しないとしたら副審でない fact4: その形態形成場は長ったらしくない fact5: その形態形成場は遠回りしない fact6: もしもあの錆が憎たらしいとしたらあの製薬工場は遠回りするかあるいは葉数でない fact7: 何かは行き場である fact8: 仮にあるものが遠回りするかあるいは葉数でないならば「葉数でない」ということは成り立つ fact9: あの錆は長ったらしくない fact10: 何かは行き場でないとしたらそれは葉数でないかもしくはそれは遠回りしないかあるいはどちらもである fact11: 「行き場でない」物があるとしたらあの錆は葉数であるかあるいは遠回りするかどちらもである fact12: もしも「とあるものは遭難するしかつ長ったらしい」ということは嘘であるとすると「それは副審でない」ということは成り立つ fact13: もしも「なにかは遭難する」ということは嘘でないとすると憎たらしい fact14: その形態形成場は行き場でない fact15: あの錆が葉数であるかもしくは遠回りするとすればあの首輪は憎たらしくない fact16: もしもあの錆が葉数だとするとあの首輪は憎たらしくない fact17: 何らかのものが遭難しないならばそれは副審でない fact18: あの製薬工場は遭難するかそれは葉数だ fact19: 「あの錆が長ったらしいとするとあの錆は遭難する」ということは成り立つ fact20: 憎たらしい物はある ; $hypothesis$ = あの製薬工場は副審でない ; $proof$ = 
fact14 -> int1: 「行き場だということはない」ものはある; int1 & fact11 -> int2: あの錆は葉数であるかまたは遠回りする; int2 & fact15 -> int3: あの首輪は憎たらしくない; int3 -> int4: 「憎たらしくない」ものはある; int4 & fact1 -> int5: 「あの製薬工場は遭難するししかも長ったらしい」ということは事実でない; fact12 -> int6: もしも「あの製薬工場は遭難するししかもそれは長ったらしい」ということは嘘であるなら「それは副審でない」ということは真実である; int5 & int6 -> hypothesis; __PROVED__
事実1: もし仮に「憎たらしくない」物はあるとしたら「あの製薬工場は遭難するし長ったらしい」ということは真実でない
事実2: あの首輪は長ったらしくない
事実3: もしあの製薬工場が遭難しないとしたら副審でない
事実4: その形態形成場は長ったらしくない
事実5: その形態形成場は遠回りしない
事実6: もしもあの錆が憎たらしいとしたらあの製薬工場は遠回りするかあるいは葉数でない
事実7: 何かは行き場である
事実8: 仮にあるものが遠回りするかあるいは葉数でないならば「葉数でない」ということは成り立つ
事実9: あの錆は長ったらしくない
事実10: 何かは行き場でないとしたらそれは葉数でないかもしくはそれは遠回りしないかあるいはどちらもである
事実11: 「行き場でない」物があるとしたらあの錆は葉数であるかあるいは遠回りするかどちらもである
事実12: もしも「とあるものは遭難するしかつ長ったらしい」ということは嘘であるとすると「それは副審でない」ということは成り立つ
事実13: もしも「なにかは遭難する」ということは嘘でないとすると憎たらしい
事実14: その形態形成場は行き場でない
事実15: あの錆が葉数であるかもしくは遠回りするとすればあの首輪は憎たらしくない
事実16: もしもあの錆が葉数だとするとあの首輪は憎たらしくない
事実17: 何らかのものが遭難しないならばそれは副審でない
事実18: あの製薬工場は遭難するかそれは葉数だ
事実19: 「あの錆が長ったらしいとするとあの錆は遭難する」ということは成り立つ
事実20: 憎たらしい物はある

仮説: あの製薬工場は副審でない
1. 事実14から、推論1: "「行き場だということはない」ものはある"が導かれる
2. 推論1と事実11から、推論2: "あの錆は葉数であるかまたは遠回りする"が導かれる
3. 推論2と事実15から、推論3: "あの首輪は憎たらしくない"が導かれる
4. 推論3から、推論4: "「憎たらしくない」ものはある"が導かれる
5. 推論4と事実1から、推論5: "「あの製薬工場は遭難するししかも長ったらしい」ということは事実でない"が導かれる
6. 事実12から、推論6: "もしも「あの製薬工場は遭難するししかもそれは長ったらしい」ということは嘘であるなら「それは副審でない」ということは真実である"が導かれる
7. 推論5と推論6から、仮説が導かれる

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