そのギリシャ哲学はつく
fact1: 仮になにがしかのものは所為ないとしたら「それが押し付けはましくてそれに意地悪しない」ということは間違っている fact2: そのギリシャ哲学は跳ねない fact3: もしそのギリシャ哲学は山王様でないならばつくか閉山するということはないかもしくは両方ともだ fact4: もしも何らかのものが顧客層でないとしたらそれがつくしその上跳ねる fact5: もしそのギリシャ哲学が跳ねないならばそれは欲しいかまたは車重でないかあるいは両方ともである fact6: この従事者は欲しかない fact7: 仮にその商人再生が所為ないけど競争するならそのギリシャ哲学は所為ない fact8: もしもなんらかの物が欲しいかそれが車重でないとすればそれはつかない fact9: 仮に「とあるものは押し付けがましいけど意地悪しない」ということは誤りであるとすればそれは顧客層でない fact10: もし何かは欲しいかもしくはそれは車重でないかあるいは両方だとすると跳ねない fact11: そのギリシャ哲学は後ろめたいかもしくはそれはつくかもしくは両方ともだ
fact8 -> int1: もしもそのギリシャ哲学は欲しいか車重でないか両方であるならばそれはつかない; fact5 & fact2 -> int2: そのギリシャ哲学は欲しいかまたは車重でないかまたはどちらもである; int1 & int2 -> hypothesis;
そのギリシャ哲学はつく
fact13 -> int3: そのギリシャ哲学は顧客層でないならばそれはつくし跳ねる; fact12 -> int4: 仮に「そのギリシャ哲学は押し付けがましいが意地悪しない」ということは正しくないとすると顧客層だということはない; fact14 -> int5: もし仮にそのギリシャ哲学は所為ないとすると「押し付けがましいけど意地悪しない」ということは偽である;
$facts$ = fact1: 仮になにがしかのものは所為ないとしたら「それが押し付けはましくてそれに意地悪しない」ということは間違っている fact2: そのギリシャ哲学は跳ねない fact3: もしそのギリシャ哲学は山王様でないならばつくか閉山するということはないかもしくは両方ともだ fact4: もしも何らかのものが顧客層でないとしたらそれがつくしその上跳ねる fact5: もしそのギリシャ哲学が跳ねないならばそれは欲しいかまたは車重でないかあるいは両方ともである fact6: この従事者は欲しかない fact7: 仮にその商人再生が所為ないけど競争するならそのギリシャ哲学は所為ない fact8: もしもなんらかの物が欲しいかそれが車重でないとすればそれはつかない fact9: 仮に「とあるものは押し付けがましいけど意地悪しない」ということは誤りであるとすればそれは顧客層でない fact10: もし何かは欲しいかもしくはそれは車重でないかあるいは両方だとすると跳ねない fact11: そのギリシャ哲学は後ろめたいかもしくはそれはつくかもしくは両方ともだ ; $hypothesis$ = そのギリシャ哲学はつく ; $proof$ = 
fact8 -> int1: もしもそのギリシャ哲学は欲しいか車重でないか両方であるならばそれはつかない; fact5 & fact2 -> int2: そのギリシャ哲学は欲しいかまたは車重でないかまたはどちらもである; int1 & int2 -> hypothesis; __DISPROVED__
事実1: 仮になにがしかのものは所為ないとしたら「それが押し付けはましくてそれに意地悪しない」ということは間違っている
事実2: そのギリシャ哲学は跳ねない
事実3: もしそのギリシャ哲学は山王様でないならばつくか閉山するということはないかもしくは両方ともだ
事実4: もしも何らかのものが顧客層でないとしたらそれがつくしその上跳ねる
事実5: もしそのギリシャ哲学が跳ねないならばそれは欲しいかまたは車重でないかあるいは両方ともである
事実6: この従事者は欲しかない
事実7: 仮にその商人再生が所為ないけど競争するならそのギリシャ哲学は所為ない
事実8: もしもなんらかの物が欲しいかそれが車重でないとすればそれはつかない
事実9: 仮に「とあるものは押し付けがましいけど意地悪しない」ということは誤りであるとすればそれは顧客層でない
事実10: もし何かは欲しいかもしくはそれは車重でないかあるいは両方だとすると跳ねない
事実11: そのギリシャ哲学は後ろめたいかもしくはそれはつくかもしくは両方ともだ

仮説: そのギリシャ哲学はつく
1. 事実8から、推論1: "もしもそのギリシャ哲学は欲しいか車重でないか両方であるならばそれはつかない"が導かれる
2. 事実5と事実2から、推論2: "そのギリシャ哲学は欲しいかまたは車重でないかまたはどちらもである"が導かれる
3. 推論1と推論2から、仮説が否定される

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