そのホメオティック遺伝子は慎ましいが遊学しない
fact1: そのホメオティック遺伝子は上靴でない fact2: もし仮に「そのホメオティック遺伝子は上靴でない」ということは成り立てば「「それが慎ましいしその上それは遊学するということはない」ということは成り立つ」ということは事実と異なる fact3: もしもそのホメオティック遺伝子はロッチでないならば「発し始めるしその上遊学しない」ということは誤っている fact4: とあるものが上靴でないかまたは引き付けないかまたは両方だとすればそれは遊学するということはない fact5: もしもある物が塩化マグネシウムでないとするとそれは上靴でないかまたは引き付けない
fact2 & fact1 -> hypothesis;
fact2 & fact1 -> hypothesis;
このコミュニケーション力は遊学しない
fact6 -> int1: もしこのコミュニケーション力が上靴でないかまたは引き付けないかまたは両方ともだとすればそれは遊学するということはない; fact7 -> int2: 仮にこのコミュニケーション力が塩化マグネシウムでないとすれば上靴でないかまたは引き付けない;
$facts$ = fact1: そのホメオティック遺伝子は上靴でない fact2: もし仮に「そのホメオティック遺伝子は上靴でない」ということは成り立てば「「それが慎ましいしその上それは遊学するということはない」ということは成り立つ」ということは事実と異なる fact3: もしもそのホメオティック遺伝子はロッチでないならば「発し始めるしその上遊学しない」ということは誤っている fact4: とあるものが上靴でないかまたは引き付けないかまたは両方だとすればそれは遊学するということはない fact5: もしもある物が塩化マグネシウムでないとするとそれは上靴でないかまたは引き付けない ; $hypothesis$ = そのホメオティック遺伝子は慎ましいが遊学しない ; $proof$ = 
fact2 & fact1 -> hypothesis; __DISPROVED__
事実1: そのホメオティック遺伝子は上靴でない
事実2: もし仮に「そのホメオティック遺伝子は上靴でない」ということは成り立てば「「それが慎ましいしその上それは遊学するということはない」ということは成り立つ」ということは事実と異なる
事実3: もしもそのホメオティック遺伝子はロッチでないならば「発し始めるしその上遊学しない」ということは誤っている
事実4: とあるものが上靴でないかまたは引き付けないかまたは両方だとすればそれは遊学するということはない
事実5: もしもある物が塩化マグネシウムでないとするとそれは上靴でないかまたは引き付けない

仮説: そのホメオティック遺伝子は慎ましいが遊学しない
1. 事実2と事実1から、仮説が否定される

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