「その基礎理論は命名しなくてしかも反応し易くない」ということは真実でない
fact1: もし仮にその基礎理論が申し遅れるということはないとしたら運動技能でない fact2: 「このトレンチコートは反応し易くない」ということは成り立つ fact3: もしその基礎理論が喧しくないとすれば命名するということはないしその上反応し易いない fact4: その基礎理論は命名するということはない fact5: もしもある物は喧しいとすれば「それは命名しなくておまけに反応し易くない」ということは成り立たない fact6: もし仮にその基礎理論が喧しくないとすればそれは命名するということはない fact7: その基礎理論は喧しいということはない
fact3 & fact7 -> hypothesis;
fact3 & fact7 -> hypothesis;
「その基礎理論は命名しないしその上反応し易いということはない」ということは間違っている
fact8 -> int1: もし仮にその基礎理論は喧しいとすれば「それは命名しなくて加えて反応し易くない」ということは間違っている;
$facts$ = fact1: もし仮にその基礎理論が申し遅れるということはないとしたら運動技能でない fact2: 「このトレンチコートは反応し易くない」ということは成り立つ fact3: もしその基礎理論が喧しくないとすれば命名するということはないしその上反応し易いない fact4: その基礎理論は命名するということはない fact5: もしもある物は喧しいとすれば「それは命名しなくておまけに反応し易くない」ということは成り立たない fact6: もし仮にその基礎理論が喧しくないとすればそれは命名するということはない fact7: その基礎理論は喧しいということはない ; $hypothesis$ = 「その基礎理論は命名しなくてしかも反応し易くない」ということは真実でない ; $proof$ = 
fact3 & fact7 -> hypothesis; __DISPROVED__
事実1: もし仮にその基礎理論が申し遅れるということはないとしたら運動技能でない
事実2: 「このトレンチコートは反応し易くない」ということは成り立つ
事実3: もしその基礎理論が喧しくないとすれば命名するということはないしその上反応し易いない
事実4: その基礎理論は命名するということはない
事実5: もしもある物は喧しいとすれば「それは命名しなくておまけに反応し易くない」ということは成り立たない
事実6: もし仮にその基礎理論が喧しくないとすればそれは命名するということはない
事実7: その基礎理論は喧しいということはない

仮説: 「その基礎理論は命名しなくてしかも反応し易くない」ということは真実でない
1. 事実3と事実7から、仮説が否定される

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