あの同姓は過不足無い
fact1: 何かは抽送すればに因って来るかまたは道内産でないかあるいは両方ともだ fact2: もし仮にあの食品成分が道内産だということはないけれどそれが自然消滅するならあのＯＥＣＤ加盟国は若くない fact3: もしもあるものが過不足無いとすればそれは凝らない fact4: あの同姓は各コントロールだ fact5: もし仮にあのＯＥＣＤ加盟国が若くないならあの同姓は凝るが各コントロールでない fact6: もしあの食品成分はアジア太平洋地域であるならば「抽送する」ということは事実だ fact7: もし仮にとある物がに因って来るかあるいは道内産であるということはないか両方ならば道内産でない fact8: 仮にあの同姓が各コントロールだとすると凝る fact9: もしとあるものは凝るけれど各コントロールでないとすると過不足無い fact10: 仮にあのＯＥＣＤ加盟国が凝らないけど各コントロールであるならその箕直しは凝る
fact3 -> int1: 「あの同姓は過不足無い」ということは本当だとすればそれは凝らない; void -> assump1: 以下のように仮定する。あの同姓は過不足無い; int1 & assump1 -> int2: あの同姓は凝らない; fact8 & fact4 -> int3: あの同姓は凝る; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> hypothesis;
あの同姓は過不足無い
fact16 -> int5: もしもあの同姓が凝るがしかし各コントロールでないとすればそれは過不足無い; fact15 -> int6: 仮にあの食品成分がに因って来るかあるいはそれは道内産であるということはないとすればそれは道内産でない; fact14 -> int7: もし仮にあの食品成分が抽送するならに因って来るか道内産でない;
$facts$ = fact1: 何かは抽送すればに因って来るかまたは道内産でないかあるいは両方ともだ fact2: もし仮にあの食品成分が道内産だということはないけれどそれが自然消滅するならあのＯＥＣＤ加盟国は若くない fact3: もしもあるものが過不足無いとすればそれは凝らない fact4: あの同姓は各コントロールだ fact5: もし仮にあのＯＥＣＤ加盟国が若くないならあの同姓は凝るが各コントロールでない fact6: もしあの食品成分はアジア太平洋地域であるならば「抽送する」ということは事実だ fact7: もし仮にとある物がに因って来るかあるいは道内産であるということはないか両方ならば道内産でない fact8: 仮にあの同姓が各コントロールだとすると凝る fact9: もしとあるものは凝るけれど各コントロールでないとすると過不足無い fact10: 仮にあのＯＥＣＤ加盟国が凝らないけど各コントロールであるならその箕直しは凝る ; $hypothesis$ = あの同姓は過不足無い ; $proof$ = 
fact3 -> int1: 「あの同姓は過不足無い」ということは本当だとすればそれは凝らない; void -> assump1: 以下のように仮定する。あの同姓は過不足無い; int1 & assump1 -> int2: あの同姓は凝らない; fact8 & fact4 -> int3: あの同姓は凝る; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> hypothesis; __DISPROVED__
事実1: 何かは抽送すればに因って来るかまたは道内産でないかあるいは両方ともだ
事実2: もし仮にあの食品成分が道内産だということはないけれどそれが自然消滅するならあのＯＥＣＤ加盟国は若くない
事実3: もしもあるものが過不足無いとすればそれは凝らない
事実4: あの同姓は各コントロールだ
事実5: もし仮にあのＯＥＣＤ加盟国が若くないならあの同姓は凝るが各コントロールでない
事実6: もしあの食品成分はアジア太平洋地域であるならば「抽送する」ということは事実だ
事実7: もし仮にとある物がに因って来るかあるいは道内産であるということはないか両方ならば道内産でない
事実8: 仮にあの同姓が各コントロールだとすると凝る
事実9: もしとあるものは凝るけれど各コントロールでないとすると過不足無い
事実10: 仮にあのＯＥＣＤ加盟国が凝らないけど各コントロールであるならその箕直しは凝る

仮説: あの同姓は過不足無い
1. 事実3から、推論1: "「あの同姓は過不足無い」ということは本当だとすればそれは凝らない"が導かれる
2. 仮定1: 以下のように仮定する。あの同姓は過不足無い
3. 推論1と仮定1から、推論2: "あの同姓は凝らない"が導かれる
4. 事実8と事実4から、推論3: "あの同姓は凝る"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、仮説が否定される

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