その童子は味噌味でなくて秘密兵器でない
fact1: この進化ルートは下級だ fact2: その童子は下級でなくてその上それは興奮し易くない fact3: その入電は秘密兵器でない fact4: 「その童子はすばしこい」ということは成り立つ fact5: もしその童子が味噌味であるならばこの進化ルートは秘密兵器でなくてその上下級でない fact6: 仮にこの進化ルートが味噌味ならばその童子は秘密兵器でないしそれは下級でない fact7: 仮にこの進化ルートが下級だとするとその童子は味噌味でないしおまけに秘密兵器でない
fact7 & fact1 -> hypothesis;
fact7 & fact1 -> hypothesis;
$facts$ = fact1: この進化ルートは下級だ fact2: その童子は下級でなくてその上それは興奮し易くない fact3: その入電は秘密兵器でない fact4: 「その童子はすばしこい」ということは成り立つ fact5: もしその童子が味噌味であるならばこの進化ルートは秘密兵器でなくてその上下級でない fact6: 仮にこの進化ルートが味噌味ならばその童子は秘密兵器でないしそれは下級でない fact7: 仮にこの進化ルートが下級だとするとその童子は味噌味でないしおまけに秘密兵器でない ; $hypothesis$ = その童子は味噌味でなくて秘密兵器でない ; $proof$ = 
fact7 & fact1 -> hypothesis; __PROVED__
事実1: この進化ルートは下級だ
事実2: その童子は下級でなくてその上それは興奮し易くない
事実3: その入電は秘密兵器でない
事実4: 「その童子はすばしこい」ということは成り立つ
事実5: もしその童子が味噌味であるならばこの進化ルートは秘密兵器でなくてその上下級でない
事実6: 仮にこの進化ルートが味噌味ならばその童子は秘密兵器でないしそれは下級でない
事実7: 仮にこの進化ルートが下級だとするとその童子は味噌味でないしおまけに秘密兵器でない

仮説: その童子は味噌味でなくて秘密兵器でない
1. 事実7と事実1から、仮説が導かれる

よって、仮説が証明されました。