あの発現調節はルーチン化するかもしくは顎関節であるか両方だ
fact1: なにかは割り算だということはないとすると「あの発現調節はルーチン化するかあるいは顎関節であるかもしくはどちらもである」ということは成り立たない fact2: もし「とある物は割り算でない」ということは成り立てばあの発現調節はルーチン化しない fact3: 全ては占有改定である fact4: とあるものは割り算だ fact5: なにかは割り算でない fact6: このバリュー行動がルーチン化するとすればあの発現調節はルーチン化する fact7: 「あの発現調節はルーチン化しない」ということは事実だ fact8: もし「あの専権事項は大成しないしそれにそれは庭師達であるということはない」ということは嘘ならこの販促物は突き崩さない fact9: 仮に何らかのものは占有改定ならば「大成しないしさらに庭師達でない」ということは本当でない fact10: その若手作家は顎関節でない
fact5 & fact1 -> hypothesis;
あの発現調節はルーチン化するかあるいは顎関節だ
fact14 -> int1: 仮にその第二卓は占有改定だとすると「大成しないしさらに庭師達でない」ということは間違っている; fact13 -> int2: その第二卓は占有改定だ; int1 & int2 -> int3: 「「その第二卓は大成しなくてその上庭師達であるということはない」ということは成り立つ」ということは事実でない; int3 -> int4: 大成しなくてまた庭師達でないというものはない; int4 -> int5: 「あの専権事項は大成するということはなくて更に庭師達でない」ということは誤りである; fact11 & int5 -> int6: この販促物は突き崩すということはない;
$facts$ = fact1: なにかは割り算だということはないとすると「あの発現調節はルーチン化するかあるいは顎関節であるかもしくはどちらもである」ということは成り立たない fact2: もし「とある物は割り算でない」ということは成り立てばあの発現調節はルーチン化しない fact3: 全ては占有改定である fact4: とあるものは割り算だ fact5: なにかは割り算でない fact6: このバリュー行動がルーチン化するとすればあの発現調節はルーチン化する fact7: 「あの発現調節はルーチン化しない」ということは事実だ fact8: もし「あの専権事項は大成しないしそれにそれは庭師達であるということはない」ということは嘘ならこの販促物は突き崩さない fact9: 仮に何らかのものは占有改定ならば「大成しないしさらに庭師達でない」ということは本当でない fact10: その若手作家は顎関節でない ; $hypothesis$ = あの発現調節はルーチン化するかもしくは顎関節であるか両方だ ; $proof$ = 
fact5 & fact1 -> hypothesis; __DISPROVED__
事実1: なにかは割り算だということはないとすると「あの発現調節はルーチン化するかあるいは顎関節であるかもしくはどちらもである」ということは成り立たない
事実2: もし「とある物は割り算でない」ということは成り立てばあの発現調節はルーチン化しない
事実3: 全ては占有改定である
事実4: とあるものは割り算だ
事実5: なにかは割り算でない
事実6: このバリュー行動がルーチン化するとすればあの発現調節はルーチン化する
事実7: 「あの発現調節はルーチン化しない」ということは事実だ
事実8: もし「あの専権事項は大成しないしそれにそれは庭師達であるということはない」ということは嘘ならこの販促物は突き崩さない
事実9: 仮に何らかのものは占有改定ならば「大成しないしさらに庭師達でない」ということは本当でない
事実10: その若手作家は顎関節でない

仮説: あの発現調節はルーチン化するかもしくは顎関節であるか両方だ
1. 事実5と事実1から、仮説が否定される

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