「「あの遺伝子は賢しいということはないけれど下絵だ」ということは間違っていない」ということは成り立たない
fact1: 「女らしい」ものがあるならあの遺伝子は賢しいということはないが下絵である fact2: あの茸は下絵でない fact3: あの茸が下絵でないとしたらその一眼は海空戦であるしさらに自害する fact4: 「「自害するし打ち易い」物はある」ということは本当だ fact5: あの遺伝子は賢しくない fact6: 仮に何かは女らしいとするとあの遺伝子は賢しいということはない fact7: もし仮に「自害するし打ち易い」ものがあればその一眼は女らしい fact8: 何らかのものは自害する fact9: 「打ち易い」物はある
fact4 & fact7 -> int1: その一眼は女らしい; int1 -> int2: 「「女らしい」ということは本当である」ものはある; int2 & fact1 -> hypothesis;
「海空戦だしその上操作し易い」ものはある
fact10 & fact11 -> int3: その一眼は海空戦であるしさらに自害する; int3 -> int4: その一眼は海空戦だ;
$facts$ = fact1: 「女らしい」ものがあるならあの遺伝子は賢しいということはないが下絵である fact2: あの茸は下絵でない fact3: あの茸が下絵でないとしたらその一眼は海空戦であるしさらに自害する fact4: 「「自害するし打ち易い」物はある」ということは本当だ fact5: あの遺伝子は賢しくない fact6: 仮に何かは女らしいとするとあの遺伝子は賢しいということはない fact7: もし仮に「自害するし打ち易い」ものがあればその一眼は女らしい fact8: 何らかのものは自害する fact9: 「打ち易い」物はある ; $hypothesis$ = 「「あの遺伝子は賢しいということはないけれど下絵だ」ということは間違っていない」ということは成り立たない ; $proof$ = 
fact4 & fact7 -> int1: その一眼は女らしい; int1 -> int2: 「「女らしい」ということは本当である」ものはある; int2 & fact1 -> hypothesis; __DISPROVED__
事実1: 「女らしい」ものがあるならあの遺伝子は賢しいということはないが下絵である
事実2: あの茸は下絵でない
事実3: あの茸が下絵でないとしたらその一眼は海空戦であるしさらに自害する
事実4: 「「自害するし打ち易い」物はある」ということは本当だ
事実5: あの遺伝子は賢しくない
事実6: 仮に何かは女らしいとするとあの遺伝子は賢しいということはない
事実7: もし仮に「自害するし打ち易い」ものがあればその一眼は女らしい
事実8: 何らかのものは自害する
事実9: 「打ち易い」物はある

仮説: 「「あの遺伝子は賢しいということはないけれど下絵だ」ということは間違っていない」ということは成り立たない
1. 事実4と事実7から、推論1: "その一眼は女らしい"が導かれる
2. 推論1から、推論2: "「「女らしい」ということは本当である」ものはある"が導かれる
3. 推論2と事実1から、仮説が否定される

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