仮に「この蚯蚓触手は突き動かすがしかし帰朝するということはない」ということは成り立たないとしたらそれはやばくない
fact1: 近ししおまけに新しくない物は採尿しない fact2: 仮に「なにがしかのものは突き動かすが帰朝しない」ということは成り立つということはないとすればそれはやばくない fact3: もし仮にこの蚯蚓触手が突き動かすがしかしそれが帰朝しないならばやばくない
fact2 -> hypothesis;
fact2 -> hypothesis;
$facts$ = fact1: 近ししおまけに新しくない物は採尿しない fact2: 仮に「なにがしかのものは突き動かすが帰朝しない」ということは成り立つということはないとすればそれはやばくない fact3: もし仮にこの蚯蚓触手が突き動かすがしかしそれが帰朝しないならばやばくない ; $hypothesis$ = 仮に「この蚯蚓触手は突き動かすがしかし帰朝するということはない」ということは成り立たないとしたらそれはやばくない ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: 近ししおまけに新しくない物は採尿しない
事実2: 仮に「なにがしかのものは突き動かすが帰朝しない」ということは成り立つということはないとすればそれはやばくない
事実3: もし仮にこの蚯蚓触手が突き動かすがしかしそれが帰朝しないならばやばくない

仮説: 仮に「この蚯蚓触手は突き動かすがしかし帰朝するということはない」ということは成り立たないとしたらそれはやばくない
1. 事実2から、仮説が導かれる

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