「「仮に痛ましいということはないなら「影響され易くないか瑞々しくないか両方ともである」ということは成り立たない」物はある」ということは成り立たない
fact1: 「仮に「痛ましくない」ということは成り立てば「瑞々しい」ということは事実な」ものはある fact2: この個体間コミュニケーションが痛ましくないとしたらそれは影響され易い fact3: 「もし仮に機能し始めないなら「生活し易いかまたは自然生命だということはない」ということは成り立たない」物はある fact4: もしこの個体間コミュニケーションは痛ましくないとすると「それは影響され易いということはないかまたは瑞々しくないかまたは両方である」ということは嘘である fact5: もし仮にこの個体間コミュニケーションは痛ましいなら「それは影響され易くないか瑞々しいということはない」ということは誤りである fact6: 「もし痛ましくないとすると影響され易い」物はある fact7: 「「仮に痛ましくないとすれば影響され易くないかもしくは瑞々しくないかもしくは両方である」物はある」ということは確かだ
fact4 -> hypothesis;
$facts$ = fact1: 「仮に「痛ましくない」ということは成り立てば「瑞々しい」ということは事実な」ものはある fact2: この個体間コミュニケーションが痛ましくないとしたらそれは影響され易い fact3: 「もし仮に機能し始めないなら「生活し易いかまたは自然生命だということはない」ということは成り立たない」物はある fact4: もしこの個体間コミュニケーションは痛ましくないとすると「それは影響され易いということはないかまたは瑞々しくないかまたは両方である」ということは嘘である fact5: もし仮にこの個体間コミュニケーションは痛ましいなら「それは影響され易くないか瑞々しいということはない」ということは誤りである fact6: 「もし痛ましくないとすると影響され易い」物はある fact7: 「「仮に痛ましくないとすれば影響され易くないかもしくは瑞々しくないかもしくは両方である」物はある」ということは確かだ ; $hypothesis$ = 「「仮に痛ましいということはないなら「影響され易くないか瑞々しくないか両方ともである」ということは成り立たない」物はある」ということは成り立たない ; $proof$ = 
fact4 -> hypothesis; __DISPROVED__
事実1: 「仮に「痛ましくない」ということは成り立てば「瑞々しい」ということは事実な」ものはある
事実2: この個体間コミュニケーションが痛ましくないとしたらそれは影響され易い
事実3: 「もし仮に機能し始めないなら「生活し易いかまたは自然生命だということはない」ということは成り立たない」物はある
事実4: もしこの個体間コミュニケーションは痛ましくないとすると「それは影響され易いということはないかまたは瑞々しくないかまたは両方である」ということは嘘である
事実5: もし仮にこの個体間コミュニケーションは痛ましいなら「それは影響され易くないか瑞々しいということはない」ということは誤りである
事実6: 「もし痛ましくないとすると影響され易い」物はある
事実7: 「「仮に痛ましくないとすれば影響され易くないかもしくは瑞々しくないかもしくは両方である」物はある」ということは確かだ

仮説: 「「仮に痛ましいということはないなら「影響され易くないか瑞々しくないか両方ともである」ということは成り立たない」物はある」ということは成り立たない
1. 事実4から、仮説が否定される

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