あの接種後は厭わしくない
fact1: 「「オニキスだし眩しい」ということは成り立たない」ものはある fact2: 見境無くない物は厚かましい fact3: 仮にこの建設業は訓令であるならば厚かましくない fact4: もしもこの建設業は不貞腐れないなら「あの接種後は厭わしい」ということは事実だ fact5: この建設業はオニキスでない fact6: もし仮に「この建設業は訓令だということはない」ということは事実であるとするとあの接種後は戦えるしそれに見境無い fact7: もし仮に何らかの物が戦えるし不貞腐れるなら厭わしくない fact8: 「この無垢材は戦える」ということは成り立つ fact9: 「この建設業は戦える」ということは成り立つ fact10: もしもこの建設業はオニキスでないとしたら訓令であるし眩しい fact11: 何かは戦えるし加えて不貞腐れるとすれば見境無くない
void -> assump1: 以下のように仮定する。この建設業は不貞腐れる; fact9 & assump1 -> int1: この建設業は戦えるしそれにそれは不貞腐れる; fact11 -> int2: もしこの建設業が戦えるし不貞腐れるとすればそれは見境無いということはない; int1 & int2 -> int3: この建設業は見境無くない; fact2 -> int4: もしもこの建設業が見境無くないなら厚かましい; int3 & int4 -> int5: この建設業は厚かましい; fact10 & fact5 -> int6: この建設業は訓令だし加えて眩しい; int6 -> int7: この建設業は訓令だ; int7 & fact3 -> int8: この建設業は厚かましいということはない; int5 & int8 -> int9: これは矛盾である; [assump1] & int9 -> int10: この建設業は不貞腐れない; int10 & fact4 -> hypothesis;
あの接種後は厭わしくない
fact12 -> int11: あの接種後は戦えるしそれに不貞腐れるとすると「それは厭わしいということはない」ということは間違っていない;
$facts$ = fact1: 「「オニキスだし眩しい」ということは成り立たない」ものはある fact2: 見境無くない物は厚かましい fact3: 仮にこの建設業は訓令であるならば厚かましくない fact4: もしもこの建設業は不貞腐れないなら「あの接種後は厭わしい」ということは事実だ fact5: この建設業はオニキスでない fact6: もし仮に「この建設業は訓令だということはない」ということは事実であるとするとあの接種後は戦えるしそれに見境無い fact7: もし仮に何らかの物が戦えるし不貞腐れるなら厭わしくない fact8: 「この無垢材は戦える」ということは成り立つ fact9: 「この建設業は戦える」ということは成り立つ fact10: もしもこの建設業はオニキスでないとしたら訓令であるし眩しい fact11: 何かは戦えるし加えて不貞腐れるとすれば見境無くない ; $hypothesis$ = あの接種後は厭わしくない ; $proof$ = 
void -> assump1: 以下のように仮定する。この建設業は不貞腐れる; fact9 & assump1 -> int1: この建設業は戦えるしそれにそれは不貞腐れる; fact11 -> int2: もしこの建設業が戦えるし不貞腐れるとすればそれは見境無いということはない; int1 & int2 -> int3: この建設業は見境無くない; fact2 -> int4: もしもこの建設業が見境無くないなら厚かましい; int3 & int4 -> int5: この建設業は厚かましい; fact10 & fact5 -> int6: この建設業は訓令だし加えて眩しい; int6 -> int7: この建設業は訓令だ; int7 & fact3 -> int8: この建設業は厚かましいということはない; int5 & int8 -> int9: これは矛盾である; [assump1] & int9 -> int10: この建設業は不貞腐れない; int10 & fact4 -> hypothesis; __DISPROVED__
事実1: 「「オニキスだし眩しい」ということは成り立たない」ものはある
事実2: 見境無くない物は厚かましい
事実3: 仮にこの建設業は訓令であるならば厚かましくない
事実4: もしもこの建設業は不貞腐れないなら「あの接種後は厭わしい」ということは事実だ
事実5: この建設業はオニキスでない
事実6: もし仮に「この建設業は訓令だということはない」ということは事実であるとするとあの接種後は戦えるしそれに見境無い
事実7: もし仮に何らかの物が戦えるし不貞腐れるなら厭わしくない
事実8: 「この無垢材は戦える」ということは成り立つ
事実9: 「この建設業は戦える」ということは成り立つ
事実10: もしもこの建設業はオニキスでないとしたら訓令であるし眩しい
事実11: 何かは戦えるし加えて不貞腐れるとすれば見境無くない

仮説: あの接種後は厭わしくない
1. 仮定1: 以下のように仮定する。この建設業は不貞腐れる
2. 事実9と仮定1から、推論1: "この建設業は戦えるしそれにそれは不貞腐れる"が導かれる
3. 事実11から、推論2: "もしこの建設業が戦えるし不貞腐れるとすればそれは見境無いということはない"が導かれる
4. 推論1と推論2から、推論3: "この建設業は見境無くない"が導かれる
5. 事実2から、推論4: "もしもこの建設業が見境無くないなら厚かましい"が導かれる
6. 推論3と推論4から、推論5: "この建設業は厚かましい"が導かれる
7. 事実10と事実5から、推論6: "この建設業は訓令だし加えて眩しい"が導かれる
8. 推論6から、推論7: "この建設業は訓令だ"が導かれる
9. 推論7と事実3から、推論8: "この建設業は厚かましいということはない"が導かれる
10. 推論5と推論8から、推論9: "これは矛盾である"が導かれる
11. [仮定1]と推論9から、推論10: "この建設業は不貞腐れない"が導かれる
12. 推論10と事実4から、仮説が否定される

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